[2024-07-27 Sat]: Our paper "Offchain Runtime Verification (for the Tezos Blockchain)" accepted at CBT 24
Margarita Capretto, Martín Ceresa, Felipe Gorostiaga, Fernando Macías, Paloma Pedregal and César Sánchez: ``Offchain Runtime Verification (for the Tezos blockchain)’’ will appear in the 8th Int’l Workshop on Cryptocurrencies and Blockchain Technology (CBT'24). Proc. of ESORICS 2024 International Workshops, vol 15263 of LNCS, 2025, Springer
César Sánchez
Professor
My research focuses on formal methods, in paricular logic, automata and game theory. Temporal logics for Hyperproperties. Reactive Synthesis Modulo Theories. Applications to Blockchain.