Flock: A Framework for Deploying On-Demand Distributed Trust
- Darya Kaviani
- Sijun Tan
- et al.
- 2024
- OSDI 2024
Conference paper
Publications
181 results for Cryptography
Formal Verification of the Sumcheck Protocol
- Azucena Garvia Bosshard
- Jonathan Bootle
- et al.
- 2024
- CSF 2024
Conference paperTokenised Multi-client Provisioning for Dynamic Searchable Encryption with Forward and Backward Privacy
- Arnab Bag
- Sikhar Patranabis
- et al.
- 2024
- ASIACCS 2024
Conference paperMatHE: A Near-Mat Processing In-Memory Accelerator for Fully Homomorphic Encryption
- Minxuan Zhou
- Yujin Nam
- et al.
- 2024
- DAC 2024
PosterUltra-Compact Computing at the Edge Involving Unobtrusively Small Sub-millimeter Heterogeneous Integration Packaging
- Frank Libsch
- Steve Bedell
- et al.
- 2024
- ECTC 2024
Conference paperWitness Semantic Security
- Paul Lou
- Nathan Manohar
- et al.
- 2024
- Eurocrypt 2024
Conference paperFHE:IDEAs (Interesting Directions and Emerging Applications)
- Nathan Manohar
- 2024
- Eurocrypt 2024
WorkshopCrossFyre 2024: 13th International Workshop on Cryptography, Robustness, and Provably Secure Schemes for Female Young Researchers
- Jonathan Bootle
- Elizabeth Crites
- et al.
- 2024
- Eurocrypt 2024
WorkshopAsterisk: Super-fast MPC with a Friend
- Banashri Karmakar
- Nishat Koti
- et al.
- 2024
- S&P 2024
Conference paperStandardization of Cryptography Bill of Materials in OWASP CycloneDX
- 2024
- ETSI/IQC QSC 2024
Poster