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