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
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