Skip to content

Publications

Thumbnail of Scaling Zero Knowledge UNSAT Verification via Normalized Chaining

Scaling Zero Knowledge UNSAT Verification via Normalized Chaining

Paper Github

Ashwin Karthikeyan*, Ethan Kharitonov*, Kuldeep S. Meel, Anwar Hithnawi

Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2026)

Thumbnail of Atlas: Efficient Verifiable Semantic Search

Atlas: Efficient Verifiable Semantic Search

Paper

Nikolay Avramov, Hidde Lycklama, Alexander Viand, Anwar Hithnawi

Preprint, arXiv:2609.11841

Thumbnail of Towards Practical Zero-Knowledge Proof for PSPACE

Towards Practical Zero-Knowledge Proof for PSPACE

Paper Github

Ashwin Karthikeyan, Hengyu Liu, Kuldeep S. Meel, Ning Luo

IEEE Security and Privacy (Oakland) 2026.

Thumbnail of HEIR: A Universal Compiler for Homomorphic Encryption

HEIR: A Universal Compiler for Homomorphic Encryption

Paper Github

Asra Ali, Jaeho Choi, Bryant Gipson, Shruthi Gorantala, Jeremy Kun, Wouter Legiest, Lawrence Lim, Alexander Viand, Meron Zerihun Demissie, Hongren Zheng

Preprint, arXiv:2508.11095

Thumbnail of DPolicy: Managing Privacy Risks Across Multiple Releases with Differential Privacy

DPolicy: Managing Privacy Risks Across Multiple Releases with Differential Privacy

Paper Slides Github

Nicolas Küchler, Alexander Viand, Hidde Lycklama, Anwar Hithnawi

IEEE Security and Privacy (Oakland) 2025.

Thumbnail of CoVault: Secure, Scalable Analytics of Personal Data.

CoVault: Secure, Scalable Analytics of Personal Data.

Paper

Roberta De Viti, Isaac Sheff, Noemi Glaeser, Baltasar Dinis, Rodrigo Rodrigues, Bobby Bhattacharjee, Anwar Hithnawi, Deepak Garg, Peter Druschel

USENIX Security 2025.

Thumbnail of Artemis: Efficient Commit-and-Prove SNARKs for zkML

Artemis: Efficient Commit-and-Prove SNARKs for zkML

Paper Github

Hidde Lycklama*, Alexander Viand*, Nikolay Avramov, Nicolas Küchler, Anwar Hithnawi

Preprint, arXiv:2409.12055

Thumbnail of Holding Secrets Accountable: Auditing Privacy-Preserving Machine Learning

Holding Secrets Accountable: Auditing Privacy-Preserving Machine Learning

Paper Slides Github Video

Hidde Lycklama, Alexander Viand, Nicolas Küchler, Christian Knabenhans, Anwar Hithnawi

USENIX Security 2024.

usenix-artifact-availableusenix-artifact-functionalusenix-artifact-reproduced

Thumbnail of Cohere: Managing Differential Privacy in Large Scale Systems

Cohere: Managing Differential Privacy in Large Scale Systems

Paper Slides Github Video

Nicolas Küchler, Emanuel Opel, Hidde Lycklama, Alexander Viand, Anwar Hithnawi

IEEE Security and Privacy (Oakland) 2024.

Thumbnail of vFHE: Verifiable Fully Homomorphic Encryption

vFHE: Verifiable Fully Homomorphic Encryption

Paper Github Video

Christian Knabenhans*, Alexander Viand*, Antonio Merino-Gallardo, Anwar Hithnawi

Workshop on Encrypted Computing & Applied Homomorphic Cryptography (WAHC '24)

Thumbnail of RoFL: Robustness of Secure Federated Learning

RoFL: Robustness of Secure Federated Learning

Paper Slides Github Video

Hidde Lycklama*, Lukas Burkhalter*, Alexander Viand, Nicolas Küchler, Anwar Hithnawi

IEEE Security and Privacy (Oakland) 2023.

Thumbnail of HECO: Fully Homomorphic Encryption Compiler.

HECO: Fully Homomorphic Encryption Compiler.

Paper Github Video

Alexander Viand, Patrick Jattke, Miro Haller, Anwar Hithnawi

USENIX Security 2023.

usenix-artifact-availableusenix-artifact-functionalusenix-artifact-reproduced

Thumbnail of VF-PS: How to Select Important Participants in Vertical Federated Learning, Efficiently and Securely?.

VF-PS: How to Select Important Participants in Vertical Federated Learning, Efficiently and Securely?.

Paper

Jiawei Jiang, Lukas Burkhalter, Fangcheng Fu, Bolin Ding, Bo Du, Anwar Hithnawi, Bo Li, Ce Zhang

NeurIPS (Spotlight) 2022.

Thumbnail of Cryptographic Auditing for Collaborative Learning

Cryptographic Auditing for Collaborative Learning

Paper Poster

Hidde Lycklama, Nicolas Küchler, Alexander Viand, Emanuel Opel, Lukas Burkhalter, Anwar Hithnawi

ML Safety Workshop at NeurIPS 2022

Thumbnail of Zeph: Cryptographic Enforcement of End-to-End Data Privacy.

Zeph: Cryptographic Enforcement of End-to-End Data Privacy.

Paper Slides Github Video

Lukas Burkhalter*, Nicolas Küchler*, Alexander Viand, Hossein Shafagh, Anwar Hithnawi

USENIX OSDI 2021.

usenix-artifact-availableusenix-artifact-functionalusenix-artifact-reproduced

Thumbnail of SoK: Fully Homomorphic Encryption Compilers.

SoK: Fully Homomorphic Encryption Compilers.

Paper Slides Github Website Video

Alexander Viand, Patrick Jattke, Anwar Hithnawi

IEEE Security and Privacy (Oakland) 2021.

Thumbnail of Droplet: Decentralized Authorization and Access Control for Encrypted Data Streams.

Droplet: Decentralized Authorization and Access Control for Encrypted Data Streams.

Paper Slides Github Website Video

Hossein Shafagh, Lukas Burkhalter, Sylvia Ratnasamy, Anwar Hithnawi

USENIX Security 2020.

Thumbnail of TimeCrypt: Encrypted Data Stream Processing at Scale with Cryptographic Access Control.

TimeCrypt: Encrypted Data Stream Processing at Scale with Cryptographic Access Control.

Paper Slides Github Website Video

Lukas Burkhalter, Anwar Hithnawi, Alexander Viand, Hossein Shafagh, Sylvia Ratnasamy

USENIX NSDI 2020.