2023-09-16 –, East Room ( Main )
ERCx (https://ercx.runtimeverification.com) is a tool suite that helps assess the behavior of smart contracts. ERCx checks the conformance of a contract to ERC (Ethereum Request for Comments) standards as well as additional desirable security properties. ERCx aims to help the Ethereum community by providing (i) contract developers with pre-deployment conformance and property checks and (ii) token investors with easy-to-run and fast quality assessment.
In this presentation, we show developers how ERCx works and how they can use it to create new tokens conformant with existing standards. Avoid repeating past mistakes and add an extra security layer when it comes to avoiding potential future exploits. We will also overview the design choices and the future of ERCx.
We will need standard equipment for a talk. If tables are present in the room, we may have a hands-on moment where attendees can experiment with the tool.
Ylies Falcone will run the session.
Ylies Falcone is passionate about designing, implementing, integrating, and delivering methods and tools that help guarantee programs are safe and secure. He has more than 15 years of contributions to formal methods and software engineering, co-authoring more than 100 research papers in conferences, journals, and books. He enjoys solving problems, turning ideas into solutions, and mentoring engineers. Yliès also holds an associate Professor position at Univ. Grenoble Alpes (France).