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