398 citations · 462 across the 9 of their papers we have counts for
9 papers
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH
Nuno Saavedra, João Gonçalves, Miguel Henriques +2
This paper presents GLITCH, a new technology-agnostic framework that enables automated polyglot code smell detection for Infrastructure as Code scripts. GLITCH uses an intermediate…
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts
Monika di Angelo, Thomas Durieux, João F. Ferreira +1
Smart contracts are blockchain programs that often handle valuable assets. Writing secure smart contracts is far from trivial, and any vulnerability may lead to significant financi…
Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study
Monika di Angelo, Thomas Durieux, João F. Ferreira +1
Blockchain programs (also known as smart contracts) manage valuable assets like cryptocurrencies and tokens, and implement protocols in domains like decentralized finance (DeFi) an…
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
Nuno Saavedra, João F. Ferreira
Infrastructure as Code (IaC) is the process of managing IT infrastructure via programmable configuration files (also called IaC scripts). Like other software artifacts, IaC scripts…
Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
Carolina Carreira, João F. Ferreira, Alexandra Mendes +1
As software becomes more complex and assumes an even greater role in our lives, formal verification is set to become the gold standard in securing software systems into the future,…
Towards Formal Verification of Password Generation Algorithms used in Password Managers
Miguel Grilo, João F. Ferreira, José Bacelar Almeida
Password managers are important tools that enable us to use stronger passwords, freeing us from the cognitive burden of remembering them. Despite this, there are still many users w…
SmartBugs: A Framework to Analyze Solidity Smart Contracts
João F. Ferreira, Pedro Cruz, Thomas Durieux +1
Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. However, it is not trivial to compare and re…
Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts
Thomas Durieux, João F. Ferreira, Rui Abreu +1
Over the last few years, there has been substantial research on automated analysis, testing, and debugging of Ethereum smart contracts. However, it is not trivial to compare and re…
On Euclid's Algorithm and Elementary Number Theory
Roland Backhouse, João F. Ferreira
Algorithms can be used to prove and to discover new theorems. This paper shows how algorithmic skills in general, and the notion of invariance in particular, can be used to derive…