Papers

In the works

• Under submission
  When Local Stability Does Not Compose: Predicting Metastability from Isolated Measurementsfirst author
  Shir Cohen
• Under submission
  GridSMR: Causal Compression for Sharded Blockchainsfirst author
  Shir Cohen, Adam Alon, Raz Omessi, Amir Sarid, Dana Shamir, and Ofir Zohar
• Under submission
  StrideBFT: Consensus with Concurrent Block Processing and Proposal-Fixed Ancestry
  Dana Shamir, Adam Alon, David Lehavi, and Shir Cohen
• Under submission
  LAS-DB: Sharded Log-Anchored State without a Write-Path Authenticated Data Structure
  Moshik Hershcovitch, Udi Garmiza, Raz Omessi, Shir Cohen, Omer Banay, Dor Banoun, Adam Alon, and Amir Sarid

Papers & preprints

• EuroSys 2027 · to appear
  Linearizable Shared Log API Considered Harmful
  Yu-Ju Huang, Shubham Chaudhary, Rafael Soares, Shir Cohen, Lorenzo Alvisi, Luis Rodrigues, and Robbert van Renesse
• OSDI 2026
  Equal Opportunity: A Correctness Condition for Ordered Consensus
  Yunhao Zhang, Haobin Ni, Soumya Basu, Shir Cohen, Maofan Yin, Lorenzo Alvisi, Robbert van Renesse, Qi Chen, and Lidong Zhou
• SOSP 2025
  Pesto: Cooking up High Performance BFT Queries
  Florian Suri-Payer, Neil Giridharan, Liam Arzola, Shir Cohen, Lorenzo Alvisi, and Natacha Crooks
• HotNets 2025
  Modeling Metastability
  Ali Farahbakhsh, Qingjie Lu, Shir Cohen, Robbert van Renesse, Lorenzo Alvisi, and Andreas Haeberlen
• arXiv preprint · 2025
  On Fair Ordering and Differential Privacyfirst author
  Shir Cohen, Neel Basu, Soumya Basu, and Lorenzo Alvisi
• DISC 2023 (Brief Announcement)
  Subquadratic Multivalued Asynchronous Byzantine Agreement WHPfirst author
  Shir Cohen and Idit Keidar
• FC 2023
  Proof of Availability & Retrieval in a Modular Blockchain Architecture
  Shir Cohen, Guy Goren, Lefteris Kokoris-Kogias, Alberto Sonnino, and Alexander Spiegelman
• OPODIS 2022 · Brief Announcement at PODC 2022
  Make Every Word Count: Adaptive Byzantine Agreement with Fewer Wordsfirst author
  Shir Cohen, Idit Keidar, and Alexander Spiegelman
• PODC 2022
  Distributed Computations in Fully-Defective Networks
  Keren Censor-Hillel, Shir Cohen, Ran Gelles, and Gal Sela
• FC 2022
  Be Aware of Your Leadersfirst author
  Shir Cohen, Rati Gelashvili, Lefteris Kokoris-Kogias, Zekun Li, Dahlia Malkhi, Alberto Sonnino, and Alexander Spiegelman
• DISC 2021
  Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transferfirst author
  Shir Cohen and Idit Keidar
• PETS 2021
  HashWires: Hyperefficient Credential-Based Range Proofs
  Konstantinos Chalkias, Shir Cohen, Kevin Lewi, Fredric Moezinia, and Yolan Romailler
• SIGACT News 2021
  Byzantine Agreement with Less Communication: Recent Advances
  Shir Cohen, Idit Keidar, and Oded Naor
• DISC 2020 · Brief Announcement at PODC 2020
  Not a COINcidence: Sub-Quadratic Asynchronous Byzantine Agreement WHPfirst author
  Shir Cohen, Idit Keidar, and Alexander Spiegelman

← Back home