Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Publicações Confirmadas: 52



31
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
32
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
33
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: 31st IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2020 in 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | DBLP
34
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: 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020 in ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, Taipei, Taiwan, October 5-9, 2020
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
35
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: 3rd International Workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019 in Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings, VOLUME: 11758
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
36
TÍTULO: Lost in Disclosure: On the Inference of Password Composition Policies
AUTORES: Saul A Johnson; João Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLICAÇÃO: 2019, FONTE: 30th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 in IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP
37
TÍTULO: Open and Interactive Learning Resources for Algorithmic Problem Solving
AUTORES: João F Ferreira; Alexandra Mendes ;
PUBLICAÇÃO: 2019, FONTE: 3rd World Congress on Formal Methods, FM 2019 in Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II, VOLUME: 12233
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
38
TÍTULO: Towards Verified Handwritten Calculational Proofs
AUTORES: Alexandra Mendes ; Joao F Ferreira;
PUBLICAÇÃO: 2018, FONTE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895
INDEXADO EM: WOS DBLP
NO MEU: DBLP
39
TÍTULO: Certified Password Quality
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science - Integrated Formal Methods
INDEXADO EM: CrossRef: 4
NO MEU: ORCID
40
TÍTULO: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
Página 4 de 6. Total de resultados: 52.

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