Towards Guaranteed Privacy in Stream Processing: Differential Privacy for Private Pattern Protection (Proceedings of the 17th ACM International Conference on Distributed and Event-based Systems)