Generalized Fuzzy Password-Authenticated Key Exchange from Error Correcting CodesJonathan BootleSebastian Falleret al.2023Asiacrypt 2023Conference paper
QOMPLIANCE: Declarative Data-Centric Policy ComplianceDaan OudejansAnton Zorinet al.2023IEEE CSDE 2023Conference paper
Helion: Enabling Natural Testing of Smart HomesPrianka MandalSunil Manandharet al.2023ESEC/FSE 2023Demo paper
Short Privacy-Preserving Proofs of LiabilitiesFrancesca FalzonKaoutar El Khiyaouiet al.2023CCS 2023Conference paper
Unraveling the Connections between Privacy and Certified Robustness in Federated Learning Against Poisoning AttacksChulin XieYunhui Longet al.2023CCS 2023Conference paper
Verifiable Verification in Cryptographic ProtocolsMarc FischlinFelix Günther2023CCS 2023Conference paper
Lattice-Based Blind Signatures: Short, Efficient, and Round-OptimalWard BeullensVadim Lyubashevskyet al.2023CCS 2023Conference paper
Efficient AES-GCM decryption under Homomorphic EncryptionEhud AharoniNir Druckeret al.2023CCS 2023Poster
Tutorial-HEPack4ML '23: Advanced HE Packing Methods with Applications to MLEhud AharoniNir Druckeret al.2023CCS 2023Workshop paper
Certified Robustness of Static Deep Learning-based Malware Detectors against Patch and Append AttacksDaniel GibertGiulio Zizzoet al.2023CCS 2023Workshop paper