Verifiable Verification in Cryptographic Protocols
- Marc Fischlin
- Felix Günther
- 2023
- CCS 2023
Publications
Date
Featured collections
Popular topics
7 results at CCS 2023
Unraveling the Connections between Privacy and Certified Robustness in Federated Learning Against Poisoning Attacks
- Chulin Xie
- Yunhui Long
- et al.
- 2023
- CCS 2023
Short Privacy-Preserving Proofs of Liabilities
- Francesca Falzon
- Kaoutar El Khiyaoui
- et al.
- 2023
- CCS 2023
Lattice-Based Blind Signatures: Short, Efficient, and Round-Optimal
- Ward Beullens
- Vadim Lyubashevsky
- et al.
- 2023
- CCS 2023
Efficient AES-GCM decryption under Homomorphic Encryption
- Ehud Aharoni
- Nir Drucker
- et al.
- 2023
- CCS 2023
Tutorial-HEPack4ML '23: Advanced HE Packing Methods with Applications to ML
- Ehud Aharoni
- Nir Drucker
- et al.
- 2023
- CCS 2023
Certified Robustness of Static Deep Learning-based Malware Detectors against Patch and Append Attacks
- Daniel Gibert
- Giulio Zizzo
- et al.
- 2023
- CCS 2023