Awarded research grants by quarter
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
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