Model to mitigate: using DCR graphs to prevent vulnerabilities in smart contracts

DOI10.1016/J.JLAMP.2026.101131MaRDI QIDQ7320651zbMATH OpenFDO

Authors Mojtaba Eshghie, Wolfgang Ahrendt, Cyrille Artho, Thomas Hildebrandt, Gerardo Schneider

Publication date 27 August 2026

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.JLAMP.2026.101131

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• scientific article; zbMATH DE number 2107183 (Why is no real title available?)
• Validation of decentralised smart contracts through game theory and formal methods

This page was built for publication: Model to mitigate: using DCR graphs to prevent vulnerabilities in smart contracts

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