Burkhalter, et al.. Zeph: Cryptographic Enforcement of End-to-end Data Privacy. 8 July 2021.