Publications

161 results for Cryptography

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