Latest

• bGSL: An Imperative Language for Specification and Refinement of Backtracking Programs
• Verified password generation from password composition policies
• SmartPasswords extension accepted by Bitwarden team
• Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
• Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
• Towards Improving the Usability of Password Managers
• Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
• Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks