João F. Ferreira
João F. Ferreira
Home
Projects
Publications
Teaching
Blog
Contact
Research Opportunities
Light
Dark
Automatic
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
×