Fingerprint
Dive into the research topics of 'Certified Password Quality: A Case Study Using Coq and Linux Pluggable Authentication Modules'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Certified Password Quality: A Case Study Using Coq and Linux Pluggable Authentication Modules
Joao Ferreira, Saul Johnson, Alexandra Mendes, Phillip Brooke
Research output: Contribution to conference › Paper › peer-review
263
Downloads
(Pure)