A lightweight approach to smart contracts supporting safety, security, and privacy

DOI10.1016/j.jlamp.2022.100772OpenAlexW4226133486MaRDI QIDQ2141289

Elahe Fazeldehkordi, Olaf Owe

Publication date: 25 May 2022

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.2022.100772

zbMATH Keywords

verificationsafetysecurityprivacytransactionssmart contracts

Mathematics Subject Classification ID

Computer science (68-XX)

Uses Software

• Creol
• ABS
• ABCL
• VerX

Cites Work

• Creol: A type-safe object-oriented model for distributed concurrent systems
• Compositional reasoning about active objects with shared futures
• An evaluation of interaction paradigms for active objects
• An Object-Oriented Component Model for Heterogeneous Nets

This page was built for publication: A lightweight approach to smart contracts supporting safety, security, and privacy