Awarded research grants by quarter

Q4 2024

• Ke Wu (University of Michigan), Collusion Resistance For Transaction Fee Mechanisms
• Aniket Kate (Purdue) and Chen-Da Liu Zhang (Lucerne University of Applied Sciences and Arts), Lightweight Secure Distributed Computing: Design and Development
• Alon Rosen (Bocconi University), A New Approach to Verifying Computations on the Blockchain

Q3 2024

• Mu Zhang (University of Utah), Detecting Logical Flaws in Smart Contract Bytecode
• Eyal Ronen (Tel-Aviv University), Privacy Preserving Attestation and Post-Compromise Security for MPC Crypto Wallets
• Stefano Tessaro (University of Washington), Advancing Privacy-Preserving Authentication
• Christian Cachin (UNIBE), General Linear Erasure Codes

Q2 2024

• Aayush Jain (CMU), Post-Quantum Threshold Signatures for the Blockchain
• Ilya Sergey (National University of Singapore), Combining Interactive and Automated Proofs about Distributed Protocols in Lean
• Ooi Beng Chin and Ho Nhut Minh (National University of Singapore), Parallel Execution of Wasm Smart Contracts on Nvidia GPUs

Q1 2024

• Peter Müller (ETH), Practical Rust Verification
• Pratik Soni (The University of Utah) and Sri AravindaKrishnan Thyagarajan (The University of Sydney), Functional Payments from Adaptor Signatures

Q4 2023

• Amit Levy (Princeton University), Interoperating in a World of Decentralized Applications
• Christian Cachin (UNIBE), Efficiency of Anonymous and Private Decentralized Payments
• Qiang Tang (The University of Sydney), Aggregatable and Auditable Tumbler for Stellar
• Clément Aubert (Augusta University), Formal Verification of Tiered-Privacy-Perserving Auditable Protocols
• Mirjam Eggen (UNIBE), The Value Proposition of a Retail CBDC

Q3 2023

• Xuechao Wang (HKUST), Unveiling and Improving Unauthenticated BFT Protocols
• Aurojit Panda (NYU), Detecting and Reacting to Errors in Distributed Systems at Runtime

Q2 2023

• Shaileshh Bojja Venkatakrishnan (OSU), Efficient Gossip and Topology Design in the Stellar Peer-to-Peer Network