ZQL: A Compiler for Privacy-Preserving Data Processing

Cédric Fournet, Markulf Kohlweiss, George Danezis, Zhengqin Luo

Research output: Chapter in Book/Report/Conference proceedingConference contribution


ZQL is a query language for expressing simple computations on private data. Its compiler produces code to certify data, perform client-side computations, and verify the correctness of their results. Under the hood, it synthesizes zero-knowledge protocols that guarantee both integrity of the query results and privacy for all other data.

We present the ZQL language, its compilation scheme down to concrete cryptography, and the security guarantees it provides. We report on a prototype compiler that produces F# and C++. We evaluate its performance on queries for smart-meter billing, for pay-as-you-drive insurance policies, and for location-based services.
Original languageEnglish
Title of host publicationProceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013
Number of pages16
ISBN (Electronic)978-1-931971-03-4
Publication statusPublished - 2013
Event22th USENIX Security Symposium - Washington, D.C., United States
Duration: 14 Aug 201316 Aug 2013


Conference22th USENIX Security Symposium
Abbreviated titleUSENIX Security '13
Country/TerritoryUnited States
CityWashington, D.C.
Internet address


Dive into the research topics of 'ZQL: A Compiler for Privacy-Preserving Data Processing'. Together they form a unique fingerprint.

Cite this