Alexandra Mendes
Alexandra Mendes
Home
Publications
Funded Projects & Service
Research Opportunities
Contact
Teaching
Projects
Carolina Carreira
Latest
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
×