Burkhalter, L., Hithnawi, A., Viand, A., Shafagh, H. and Ratnasamy, S. TimeCrypt: Encrypted Data Stream Processing at Scale with Cryptographic Access Control. NSDI 2020.