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 conferencePaperpeer-review

    254 Downloads (Pure)

    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.

    Engineering & Materials Science