Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules. - João F. Ferreira 001; Saul A. Johnson; Alexandra Mendes; Phillip J. Brooke (IFM, 2017)

Lost in Disclosure: On the Inference of Password Composition Policies. - Saul A. Johnson; João F. Ferreira 001; Alexandra Mendes; Julien Cordry (ISSRE Workshops, 2019)

Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection. - Saul A. Johnson; João F. Ferreira 001; Alexandra Mendes; Julien Cordry (AsiaCCS, 2020)

Passlab: A Password Security Tool for the Blue Team. - Saul A. Johnson (CoRR, 2020)