2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CR2023
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…
cs.SE2023★ 2 cited
Parfum: Detection and Automatic Repair of Dockerfile Smells
Thomas Durieux
Docker is a popular tool for developers and organizations to package, deploy, and run applications in a lightweight, portable container. One key component of Docker is the Dockerfi…