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