Offchain Runtime Verification (for The Tezos Blockchain).

Margarita Capretto, Martn Ceresa, Felipe Gorostiaga, Fernando Macas, Paloma Pedregal, Csar Snchez

Browse the full ESORICS paper archive.