Alexandra Sofia Ferreira Mendes


AuthID: R-00H-J2M

Confirmed Publications: 50



31
TITLE: Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
AUTHORS: David Pereira; João F Ferreira ; Alexandra Mendes ;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP
32
TITLE: Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
AUTHORS: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: DBLP
33
TITLE: Logic, Algebra, and Geometry at the Foundation of Computer Science
AUTHORS: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: DBLP
34
TITLE: Lost in Disclosure: On the Inference of Password Composition Policies
AUTHORS: Saul A Johnson; João Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
35
TITLE: Open and Interactive Learning Resources for Algorithmic Problem Solving
AUTHORS: João F Ferreira; Alexandra Mendes ;
PUBLISHED: 2019, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: DBLP
36
TITLE: Towards Verified Handwritten Calculational Proofs
AUTHORS: Alexandra Mendes ; Joao F Ferreira;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: WOS DBLP
IN MY: DBLP
37
TITLE: Certified Password Quality
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science - Integrated Formal Methods
INDEXED IN: CrossRef: 4
IN MY: ORCID
38
TITLE: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
39
TITLE: Mise-En-Scène of Narrative Action in Interactive Storytelling
AUTHORS: Jamie Matthews; Fred Charles; Julie Porteous; Alexandra Mendes ;
PUBLISHED: 2017, SOURCE: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017
INDEXED IN: DBLP
IN MY: DBLP
40
TITLE: MISER: Mise-En-Scène Region Support for Staging Narrative Actions in Interactive Storytelling
AUTHORS: Jamie Matthews; Fred Charles; Julie Porteous; Alexandra Mendes ;
PUBLISHED: 2017, SOURCE: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017
INDEXED IN: DBLP
IN MY: DBLP
Page 4 of 5. Total results: 50.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service