[2025-07-02 Wed]: Our paper "A Secure Sequencer and Data Availability Committee for Rollups" accepted at CCS 25
Margarita Capretto, Martín Ceresa, Antonio Fernández Anta, Pedro Moreno-Sanchez, César Sánchez: ``A Secure Sequencer and Data Availability Committee for Rollups’’ will appear in CCS 25, ACM.
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.