TimeCrypt: Encrypted Data Stream Processing at Scale with Access Control