Cookies
O website necessita de alguns cookies e outros recursos semelhantes para funcionar. Caso o permita, o INESC TEC irá utilizar cookies para recolher dados sobre as suas visitas, contribuindo, assim, para estatísticas agregadas que permitem melhorar o nosso serviço. Ver mais
Aceitar Rejeitar
  • Menu
    Publicações

    Publicações por Alexandra Sofia Mendes

    2025

    Are Users More Willing to Use Formally Verified Password Managers?

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

    Publicação
    CoRR

    Abstract

    2025

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

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

    Publicação
    CoRR

    Abstract

    2025

    InfraFix: Technology-Agnostic Repair of Infrastructure as Code

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

    Publicação
    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