Cookies Policy
The website need some cookies and similar means to function. If you permit us, we will use those means to collect data on your visits for aggregated statistics to improve our service. Find out More
Accept Reject
  • Menu
Publications

Publications by Alexandra Sofia Mendes

2025

Are Users More Willing to Use Formally Verified Password Managers?

Authors
Carreira, C; Ferreira, JF; Mendes, A; Christin, N;

Publication
CoRR

Abstract

2025

A Systematic Review of Security Communication Strategies: Guidelines and Open Challenges

Authors
Carreira, C; Mendes, A; Ferreira, JF; Christin, N;

Publication
CoRR

Abstract

2025

InfraFix: Technology-Agnostic Repair of Infrastructure as Code

Authors
Saavedra, N; Ferreira, JF; Mendes, A;

Publication
Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025

Abstract

  • 8
  • 8