Venue. CCS

ACM Conference on Computer and Communications Security · Conference · ACM

2024

Hekaton: Horizontally-Scalable zkSNARKs Via Proof Aggregation rosenberg-2024-hekatonCCS · 2024
DOI

2023

Security Verification of Low-Trust Architectures tan-2023-securityCCS · 2023
DOI

Galápagos: Developing Verified Low Level Cryptography on Heterogeneous Hardwares zhou-2023-galapagosCCS · 2023
DOI

2021

Labeled PSI from Homomorphic Encryption with Reduced Computation and Communication cong-2021-labeledCCS · 2021
DOI
ccs venue entries/venues/ccs.hel