Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules.

Joo F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke

Browse the full IFM paper archive.