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 Edit this on Wikidata

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
• 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
• Constrained dynamic partial order reduction

Cited In (1)

• EthVer: formal verification of randomized Ethereum smart contracts

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)