Saul A. Johnson

According to our database, Saul A. Johnson authored at least 4 papers between 2017 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2020

Passlab: A Password Security Tool for the Blue Team.

Saul A. Johnson

CoRR, 2020

Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection.

Saul A. Johnson, João F. Ferreira, Alexandra Mendes, Julien Cordry

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2019

Lost in Disclosure: On the Inference of Password Composition Policies.

Saul A. Johnson, João Ferreira, Alexandra Mendes, Julien Cordry

Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2019

2017

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

João F. Ferreira, Saul A. Johnson, Alexandra Mendes, Phillip J. Brooke

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017