TY  - CPAPER
AU  - Kirchner, Daniel
AU  - Albert Albiol, Elvira María
AU  - Genaim, Samir
AU  - Martín Martín, Enrique
PY  - 2023
DO  - 10.1007/978-3-031-37709-9_9
SN  - 9783031377082
SN  - 9783031377099
SN  - 0302-9743
SN  - 1611-3349
UR  - https://hdl.handle.net/20.500.14352/133537
AB  - The efficiency and the security of smart contracts are their two fundamental properties, but might come at odds: the use of optimizers to enhance efficiency may introduce bugs and compromise security. Our focus is on EVM (Ethereum Virtual Machine)...
LA  - eng
M2  - 176
KW  - Coq
KW  - Ethereum Virtual Machine
KW  - Smart Contracts
KW  - Optimization
KW  - Theorem Proving
TI  - Formally Verified EVM Block-Optimizations
TY  - conference paper
ER  -