Alexandra Mendes
Alexandra Mendes
Home
Projects
Publications
Teaching
Contact
Research Opportunities
Funded Projects & Service
Page not found
Perhaps you were looking for one of these?
Latest
bGSL: An Imperative Language for Specification and Refinement of Backtracking Programs
Extending EcoAndroid with Automated Detection of Resource Leaks
Verified password generation from password composition policies
EcoAndroid: An Android Studio Plugin for Developing Energy-efficient Java Mobile Applications
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
Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
Teaching
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
Cite
×