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
568
Downloads
(Pure)