João F. Ferreira | DeepAI

AI Chat

Featured Co-authors

Martin Monperrus
81 publications
Thomas Durieux
28 publications
Rui Abreu
18 publications
He Ye
8 publications
João Gonçalves
6 publications
Nicolas Christin
5 publications
Gernot Salzer
5 publications
Alexandra Mendes
5 publications
Monika di Angelo
4 publications
André Silva
3 publications
Saul Johnson
3 publications

∙ 08/18/2023

Polyglot Code Smell Detection for Infrastructure as Code with GLITCH

This paper presents GLITCH, a new technology-agnostic framework that ena...

0 Nuno Saavedra, et al. ∙

∙ 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...

0 Monika di Angelo, et al. ∙

∙ 04/05/2023

MUFIN: Improving Neural Repair Models with Back-Translation

Automated program repair is the task of automatically repairing software...

0 André Silva, et al. ∙

∙ 03/18/2023

Evolution of Automated Weakness Detection in Ethereum Bytecode: a Comprehensive Study

Blockchain programs manage valuable assets like crypto-currencies and to...

0 Monika di Angelo, et al. ∙

∙ 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...

0 Nuno Saavedra, et al. ∙

∙ 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...

0 Carolina Carreira, et al. ∙

∙ 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...

0 Miguel Grilo, et al. ∙

∙ 07/08/2020

SmartBugs: A Framework to Analyze Solidity Smart Contracts

Over the last few years, there has been substantial research on automate...

0 João F. Ferreira, et al. ∙

∙ 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...

0 Saul Johnson, et al. ∙

∙ 10/23/2019

Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts

Over the last few years, there has been substantial research on automate...

0 Thomas Durieux, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world