Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Publicações Confirmadas: 56



31
TÍTULO: Verified Password Generation from Password Composition Policies
AUTORES: Grilo, Miguel; Campos, Joao; Ferreira, Joao F.; Almeida, Jose Bacelar ; Mendes, Alexandra ;
PUBLICAÇÃO: 2022, FONTE: 17th International Conference on Integrated Formal Methods (IFM) in INTEGRATED FORMAL METHODS, IFM 2022, VOLUME: 13274
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
32
TÍTULO: Automatic Repair of Java Code with Timing Side-Channel Vulnerabilities
AUTORES: Lima, Rui; Ferreira, Joao F. ; Mendes, Alexandra ;
PUBLICAÇÃO: 2021, FONTE: 36th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2021 36TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING WORKSHOPS (ASEW 2021)
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
33
TÍTULO: EcoAndroid: An Android Studio Plugin for Developing Energy-Efficient Java Mobile Applications
AUTORES: Ribeiro, Ana; Ferreira, Joao F.; Mendes, Alexandra ;
PUBLICAÇÃO: 2021, FONTE: 21st IEEE International Conference on Software Quality, Reliability and Security (QRS) in 2021 IEEE 21ST INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2021)
INDEXADO EM: WOS DBLP CrossRef: 22
34
TÍTULO: Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AUTORES: Carolina Carreira; João F Ferreira; Alexandra Mendes ; Nicolas Christin;
PUBLICAÇÃO: 2021, FONTE: AppFM@FM, VOLUME: 349
INDEXADO EM: Scopus DBLP
35
TÍTULO: Formal Methods Teaching. 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira ; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: Lecture Notes in Computer Science
INDEXADO EM: CrossRef: 2
36
TÍTULO: Formal Methods Teaching - 4th International Workshop and Tutorial, FMTea 2021, Virtual Event, November 21, 2021, Proceedings
AUTORES: João F Ferreira; Alexandra Mendes ; Claudio Menghi;
PUBLICAÇÃO: 2021, FONTE: FMTea, VOLUME: 13122
INDEXADO EM: DBLP
NO MEU: DBLP
37
TÍTULO: Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
AUTORES: David Pereira; João F Ferreira ; Alexandra Mendes ;
PUBLICAÇÃO: 2020, FONTE: ISSRE Workshops
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
38
TÍTULO: Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
AUTORES: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLICAÇÃO: 2020, FONTE: AsiaCCS
INDEXADO EM: Scopus DBLP
39
TÍTULO: Logic, Algebra, and Geometry at the Foundation of Computer Science
AUTORES: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2019, FONTE: FMTea, VOLUME: 11758 LNCS
INDEXADO EM: Scopus DBLP
40
TÍTULO: Lost in Disclosure: On the Inference of Password Composition Policies
AUTORES: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLICAÇÃO: 2019, FONTE: ISSRE Workshops
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
Página 4 de 6. Total de resultados: 56.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service