Skip to content

A Minimal Core Calculus for Solidity Contracts.

Massimo Bartoletti, Letterio Galletta, Maurizio Murgia

Year2019
ProceedingsDPM/CBT@ESORICS

Browse the full ESORICS paper archive.