Alexandra Mendes
Alexandra Mendes
Home
Publications
Funded Projects & Service
Research Opportunities
Contact
Teaching
Projects
Carolina Carreira
Latest
Are Users More Willing to Use Formally Verified Password Managers?
Can Large Language Models Help Students Prove Software Correctness? An Experimental Study with Dafny
What Challenges do Developer Face when using Verification-Aware Languages?
Contract Usage and Evolution in Android Mobile Applications
DifFuzzAR: automatic repair of timing side-channel vulnerabilities via refactoring
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
Towards Improving the Usability of Password Managers
Cite
×