Publications

620 results for Security

Remote attestation of confidential VMs using ephemeral vTPMs
- - Vikram Narayanan
  - Claudio Siqueira de Carvalho
  - et al.
- 2023
- ACSAC 2023
Exploiting Algebraic Structure in Probing Security
- - Maxime Plançon
- 2023
- Asiacrypt 2023
Helion: Enabling Natural Testing of Smart Homes
- - Prianka Mandal
  - Sunil Manandhar
  - et al.
- 2023
- ESEC/FSE 2023
Short Privacy-Preserving Proofs of Liabilities
- - Francesca Falzon
  - Kaoutar El Khiyaoui
  - et al.
- 2023
- 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
Lattice-Based Blind Signatures: Short, Efficient, and Round-Optimal
- - Ward Beullens
  - Vadim Lyubashevsky
  - et al.
- 2023
- CCS 2023
Verifiable Verification in Cryptographic Protocols
- - Marc Fischlin
  - Felix Günther
- 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