research
∙
08/18/2023
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
This paper presents GLITCH, a new technology-agnostic framework that ena...
share
research
∙
06/08/2023
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
Smart contracts are blockchain programs that often handle valuable asset...
research
∙
04/05/2023
MUFIN: Improving Neural Repair Models with Back-Translation
Automated program repair is the task of automatically repairing software...
research
∙
03/18/2023
Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study
Blockchain programs manage valuable assets like crypto-currencies and to...
research
∙
05/28/2022
GLITCH: an Intermediate-Representation-Based Security Analysis for Infrastructure as Code Scripts
Infrastructure as Code (IaC) is the process of managing IT infrastructur...
research
∙
11/16/2021
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
As software becomes more complex and assumes an even greater role in our...
research
∙
06/07/2021
Towards Formal Verification of Password Generation Algorithms used in Password Managers
Password managers are important tools that enable us to use stronger pas...
research
∙
07/08/2020
SmartBugs: A Framework to Analyze Solidity Smart Contracts
Over the last few years, there has been substantial research on automate...
research
∙
07/07/2020
Skeptic: Automatic, Justified and Privacy-Preserving Password Composition Policy Selection
The choice of password composition policy to enforce on a password-prote...
research
∙
10/23/2019