paper-conference

SmartBugs: A Framework to Analyze Solidity Smart Contracts
Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. …
PDF Code Dataset
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Evaluating the Accuracy of Password Strength Meters using Off-The-Shelf Guessing Attacks
In this paper we measure the accuracy of password strength meters (PSMs) using password guessing resistance against off-the-shelf …
PDF
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. …
PDF Code Dataset
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
The choice of password composition policy to enforce on a password-protected system represents a critical security decision, and has …
PDF
Extending Narrative Planning Domains with Linguistic Resources
Interactive Narrative is an emerging application of Planning technologies in which plan-based narrative structures are used to control …
PDF
Extending Narrative Planning Domains with Linguistic Resources