3 papers
cs.CR2025
HEIR: A Universal Compiler for Homomorphic Encryption
Asra Ali, Jaeho Choi, Bryant Gipson +7
This work presents Homomorphic Encryption Intermediate Representation (HEIR), a unified approach to building homomorphic encryption (HE) compilers. HEIR aims to support all mainstr…
cs.CR2025
Artemis: Efficient Commit-and-Prove SNARKs for zkML
Hidde Lycklama, Alexander Viand, Nikolay Avramov +2
Ensuring that AI models are both verifiable and privacy-preserving is important for trust, accountability, and compliance. To address these concerns, recent research has focused on…
cs.CR2025
DPolicy: Managing Privacy Risks Across Multiple Releases with Differential Privacy
Nicolas Küchler, Alexander Viand, Hidde Lycklama +1
Differential Privacy (DP) has emerged as a robust framework for privacy-preserving data releases and has been successfully applied in high-profile cases, such as the 2020 US Census…