Search

João F. Ferreira

João F. Ferreira

Home
Projects
Publications
Teaching
Blog
Contact
Research Opportunities

Light Dark Automatic

Nicholas Christin

Latest

Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda

© 2006—2024 João F. Ferreira. All opinions are personal and do not necessarily represent the entities I am affiliated with.

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite