Alexandra Mendes
Alexandra Mendes
Home
Projects
Publications
Teaching
Contact
Research Opportunities
Funded Projects & Service
Phil Brooke
Latest
Certified Password Quality: A Case Study Using Coq and Linux Pluggable Authentication Modules
Cite
×