Publications
Filter Publications: 2019 - 2021
Articles
International Conferences: 8
2020
- 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]
, - 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]
, - 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]
, - 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
- 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]
, - Narrative Planning Model Acquisition from Text Summaries and Descriptions, presented at AAAI Conference on Artificial Intelligence (AAAI-20), Nov. 2019 [bibTex] [PDF]
, - Logic, Algebra, and Geometry at the Foundation of Computer Science, presented at Formal Methods Teaching Workshop (FMTea), Aug. 2019 [bibTex] [PDF]
, - 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]
,