Sign in

Solving for existing problems with technical solutions.

Our research is practical first, publishable second.

Motivated to find impactful, useful solutions

Block-STM: Scaling Blockchain Execution by Turning Ordering Curse to a Performance Blessing

Rati Gelashvili, Alexander Spiegelman, Zhuolun Xiang, George Danezis, Zekun Li, Dahlia Malkhi, Yu Xia, Runtian Zhou

Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus

George Danezis, Alberto Sonnino, Lefteris Kokoris-Kogias, Alexander Spiegelman in EuroSys 2022

Best Paper Award

Bullshark: DAG BFT Protocols Made Practical

Alexander Spiegelman, Neil Giridharan, Alberto Sonnino, Lefteris Kokoris-Kogias in CCS 2022

Bullshark: The Partially Synchronous Version

Alexander Spiegelman, Neil Giridharan, Alberto Sonnino, Lefteris Kokoris-Kogias

All You Need is DAG

Idit Keidar, Eleftherios Kokoris-Kogias, Oded Naor, Alexander Spiegelman in PODC 2021

Aggregatable Distributed Key Generation

Kobi Gurkan, Philipp Jovanovic, Mary Maller, Sarah Meiklejohn, Gilad Stern, Alin Tomescu in Eurocrypt 2021

Towards Scalable Threshold Cryptosystems

Alin Tomescu, Robert Chen, Yiming Zheng, Ittai Abraham, Benny Pinkas, Guy Golan Gueta and Srinivas Devadas, in IEEE S&P 2020

Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments

Shravan Srinivasan, Alex Chepurnoy, Charalampos Papamanthou, Alin Tomescu, Yupeng Zhang, in USENIX Security 2022

Transparency Logs via Append-only Authenticated Dictionaries

Alin Tomescu, Vivek Bhupatiraju, Dimitrios Papadopoulos, Charalampos Papamanthou, Nikos Triandopoulos, Srinivas Devadas, in CCS 2019