List of publications

• Guillaume Ambal, Max Stupple, Brijesh Dongol and Azalea Raad. “Specifying and Verifying RDMA Synchronisation”. In ESOP, 2026. url

• Guillaume Ambal, George Hodgkins, Mark Madler, Gregory V. Chockler, Brijesh Dongol, Joseph Izraelevitz, Azalea Raad and Viktor Vafeiadis. “A Verified High-Performance Composable Object Library for Remote Direct Memory Access”. In POPL, 2026. url

• John Derrick, Brijesh Dongol, Chelsea Edmonds, Matt Griffin, Andrei Popescu and Jamie Wright. “Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL”. In Journal of Automated Reasoning, 2026. url

• Jose Bolina, Douglas Antunes Rocha, Lasaro Camargos and Pierre Sutra. “Generic Multicast: One Group Communication Primitive to Rule Them All”. In Journal of Internet Services and Applications (JISA), 2025. url

• Sadegh Keshavarzi, Gregory Chockler and Alexey Gotsman. “TEE is not a healer: Rollback-resistant reliable storage”. In DISC, 2025. url

• Minh Tung Nguyen and Pierre Sutra. “An Exact Characterization of the Two-shot Deterministic Objects Solving Two-process Consensus”. In PODC, 2025. url

• Fedor Ryabinin, Alexey Gotsman and Pierre Sutra. “Brief Announcement: Revisiting Lower Bounds for Two-Step Consensus”. In PODC, 2025. url

• Alejandro Naser-Pastoriza, Gregory Chockler, Alexey Gotsman and Fedor Ryabinin. “Tight bounds on channel reliability via generalized quorum systems”. In PODC, 2025. url

• Fedor Ryabinin, Alexey Gotsman and Pierre Sutra. “Making Democracy Work: Fixing and Simplifying Egalitarian Paxos”. In OPODIS, 2025. url

• Guillermo Toyos-Marfurt and Petr Kuznetsov. “Space-Time Trade-Off in Bounded Iterated Memory”. In SSS, 2025. url

• Michael Anoprenko, Andrei Tonkikh, Alexander Spiegelman and Petr Kuznetsov. “Brief Announcement: DAGs for the Masses”. In DISC, 2025. url

• Petr Kuznetsov and Nathan Josia Schrodt. “Resolving Conflicts with Grace: Dynamically Concurrent Universality”. In OPODIS, 2025. url

• Giuseppe Raffa, Jorge Blasco, Dan O’Keeffe and Santanu Kumar Dash. “CloudFlow: Identifying Security-sensitive Data Flows in Serverless Applications”. In USENIX Security, 2025. url

• Sergey Egorov, Gregory Chockler, Brijesh Dongol and Dan O’Keeffe. “Fast Durably Linearizable Data Structures for Free”. In PODC ApPLIED, 2025. url

• Vincenzo Di Perna, Valerio Schiavoni, Francesco Fabris and Marco Bernardo. “Blockchain Energy Consumption: Unveiling the Impact of Network Topologies”. In ICBC, 2025. url

• Jose Bolina, Pierre Sutra, Douglas Antunes Rocha and Lasaro Camargos. “Generic Multicast”. In LADC, 2024. url

• Sergey Egorov, Gregory Chockler, Brijesh Dongol, Dan O’Keeffe and Sadegh Keshavarzi. “Mangosteen: Fast Transparent Durability for Linearizable Applications using NVM”. In USENIX ATC, 2024. url

• Manuel Bravo, Gregory Chockler, Alexey Gotsman, Alejandro Naser-Pastoriza and Christian Roldán. “Vertical Atomic Broadcast and Passive Replication”. In DISC, 2024. url

• Alpesh Bhudia, Dan O’Keeffe and Darren Hurley-Smith. “Revoke: Mitigating Ransomware Attacks against Ethereum Validators”. In ESORICS, 2024. url