QOMPLIANCE: Declarative Data-Centric Policy Compliance
- Daan Oudejans
- Anton Zorin
- et al.
- 2023
- IEEE CSDE 2023
Conference paper
Publications
682 results for Security
Helion: Enabling Natural Testing of Smart Homes
- Prianka Mandal
- Sunil Manandhar
- et al.
- 2023
- ESEC/FSE 2023
Demo paperUnraveling the Connections between Privacy and Certified Robustness in Federated Learning Against Poisoning Attacks
- Chulin Xie
- Yunhui Long
- et al.
- 2023
- CCS 2023
Conference paperShort Privacy-Preserving Proofs of Liabilities
- Francesca Falzon
- Kaoutar El Khiyaoui
- et al.
- 2023
- CCS 2023
Conference paperVerifiable Verification in Cryptographic Protocols
- Marc Fischlin
- Felix Günther
- 2023
- CCS 2023
Conference paperLattice-Based Blind Signatures: Short, Efficient, and Round-Optimal
- Ward Beullens
- Vadim Lyubashevsky
- et al.
- 2023
- CCS 2023
Conference paperEfficient AES-GCM decryption under Homomorphic Encryption
- Ehud Aharoni
- Nir Drucker
- et al.
- 2023
- CCS 2023
PosterCertified Robustness of Static Deep Learning-based Malware Detectors against Patch and Append Attacks
- Daniel Gibert
- Giulio Zizzo
- et al.
- 2023
- CCS 2023
Workshop paperTutorial-HEPack4ML '23: Advanced HE Packing Methods with Applications to ML
- Ehud Aharoni
- Nir Drucker
- et al.
- 2023
- CCS 2023
Workshop paperThe Cost of Flexibility and Security in Cloud-Based HPC - A Case Study Running EDA Workloads With Confidential Computing Technology
- Mengmei Ye
- Derren Dunn
- 2023
- SC 2023
Talk