[ CLOSE X ]

Solving real-world problems through technical innovations.

  • 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

    [
    View publication
    ]
  • Narwhal and Tusk: A DAG-based Mempool and Efficient BFT Consensus

    George Danezis, Alberto Sonnino, Lefteris Kokoris-Kogias, Alexander Spiegelman

    [
    View publication
    ]
  • Bullshark: DAG BFT Protocols Made Practical

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

    [
    View publication
    ]
  • Bullshark: The Partially Synchronous Version

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

    [
    View publication
    ]
  • All You Need is DAG

    Idit Keidar, Eleftherios Kokoris-Kogias, Oded Naor, Alexander Spiegelman

    [
    View publication
    ]
  • Aggregatable Distributed Key Generation

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

    [
    View publication
    ]
  • Towards Scalable Threshold Cryptosystems

    Alin Tomescu, Robert Chen, Yiming Zheng, Ittai Abraham, Benny Pinkas, Guy Golan Gueta, Srinivas Devadas

    [
    View publication
    ]
  • Hyperproofs: Aggregating and Maintaining Proofs in Vector Commitments

    Shravan Srinivasan, Alex Chepurnoy, Charalampos Papamanthou, Alin Tomescu, Yupeng Zhang

    [
    View publication
    ]
  • Transparency Logs via Append-only Authenticated Dictionaries

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

    [
    View publication
    ]
  • Shoal: Improving DAG-BFT Latency And Robustness

    Alexander Spiegelman, Rati Gelashvili, Balaji Arun, Zekun Li

    [
    View publication
    ]
  • Distributed Randomness using Weighted VRFs

    Sourav Das, Benny Pinkas, Alin Tomescu, Zhuolun Xiang

    [
    View publication
    ]
  • Verifiable Secret Sharing Simplified

    Sourav Das, Zhuolun Xiang, Alin Tomescu, Alexander Spiegelman, Benny Pinkas, Ling Ren

    [
    View publication
    ]
  • Fast and Reliable Formal Verification of Smart Contracts with the Move Prover

    David Dill, Wolfgang Grieskamp, Junkil Park, Shaz Qadeer, Meng Xu, Emma Zhong

    [
    View publication
    ]
user 879
user 390
user 405