TimeCrypt: Encrypted Data Stream Processing at Scale