Using automated reasoning techniques for enhancing the efficiency and security of (Ethereum) smart contracts

DOI10.1007/978-3-031-10769-6_1OpenAlexW4289104011MaRDI QIDQ2104490FDOQ2104490

Authors Elvira Albert, Pablo Gordillo, Alejandro Hernández-Cerezo, Clara Rodríguez-Núñez, Albert Rubio

Publication date 7 December 2022

Full work available at URL https://doi.org/10.1007/978-3-031-10769-6_1

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites work

• Automatic generation of precise and useful commutativity conditions
• Constrained dynamic partial order reduction
• Peephole Partial Order Reduction
• Tools and algorithms for the construction and analysis of systems. 28th international conference, TACAS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2--7, 2022. Proceedings. Part I

Cited in

(1)

• EthVer: formal verification of randomized Ethereum smart contracts

Describes a project that uses

Uses Software

• GASTAP

This page was built for publication: Using automated reasoning techniques for enhancing the efficiency and security of (Ethereum) smart contracts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104490)