Publications

Articles

International Conferences: 8

2020

- David Filipe Borges Perreira and João F. Ferreira and Alexandra Mendes, Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks, presented at 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) – 5th International Workshop on Reliability and Security Data Analysis (RSDA), Aug. 2020 [bibTex] [PDF]
- Saul Johnson and João F. Ferreira and Alexandra Mendes and Julien Cordry, Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection, presented at 15th ACM ASIA Conference on Computer and Communications Security, Jul. 2020 [bibTex] [PDF]
- João F. Ferreira and António Pedro Cruz Monteiro and Thomas Durieux and Rui Abreu, SmartBugs: A Framework to Analyze Solidity Smart Contracts, presented at 35th IEEE/ACM International Conference on Automated Software Engineering, Tool Demo Track, Jul. 2020 [bibTex] [PDF]
- Julie Porteous and João F. Ferreira and Alan Lindsay and Marc Cavazza, Extending Narrative Planning Domains with Linguistic Resources, presented at International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2020), Jan. 2020 [bibTex] [PDF]

2019

- Thomas Durieux and João F. Ferreira and Rui Abreu and António Pedro Cruz Monteiro, Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts, presented at 42nd International Conference on Software Engineering (ICSE 2020), Dec. 2019 [bibTex] [PDF]
- Thomas Hayton and Julie Porteous and João F. Ferreira and Alan Lindsay, Narrative Planning Model Acquisition from Text Summaries and Descriptions, presented at AAAI Conference on Artificial Intelligence (AAAI-20), Nov. 2019 [bibTex] [PDF]
- Tony Hoare and Alexandra Mendes and João F. Ferreira, Logic, Algebra, and Geometry at the Foundation of Computer Science, presented at Formal Methods Teaching Workshop (FMTea), Aug. 2019 [bibTex] [PDF]
- João F. Ferreira and Alexandra Mendes, Open and Interactive Learning Resources for Algorithmic Problem Solving, presented at 9th International Workshop on Open Community approaches to Education, Research and Technology (OpenCert), Aug. 2019 [bibTex] [PDF]