{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T08:03:13Z","timestamp":1784793793193,"version":"3.55.0"},"publisher-location":"Cham","reference-count":48,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032325181","type":"print"},{"value":"9783032325198","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,7,24]],"date-time":"2026-07-24T00:00:00Z","timestamp":1784851200000},"content-version":"vor","delay-in-days":204,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Modern stream-based monitors collect detailed statistics of the runtime behavior of the system under observation. If the system runs in a privacy-sensitive context, this poses the risk of disclosing sensitive information. Differential privacy is the state-of-the-art approach for protecting sensitive information, however, integrating it into runtime monitoring is challenging: temporal operators can cause individual input values to influence multiple outputs over time, leading to repeated disclosure of private information. We propose an approach that automatically enforces differential privacy in stream-based monitoring specifications by analyzing temporal dependencies and injecting carefully calibrated noise into the specification. To preserve the utility of the outputs, we identify strategically chosen positions in the specification for noise injection and leverage tree-based mechanisms to mitigate the accuracy loss caused by noise injected into aggregation operators. We demonstrate the practicality and effectiveness of our approach in a case study on monitoring public transportation usage.<\/jats:p>","DOI":"10.1007\/978-3-032-32519-8_23","type":"book-chapter","created":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T07:17:51Z","timestamp":1784791071000},"page":"449-472","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Differentially Private Runtime Monitoring"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4280-8441","authenticated-orcid":false,"given":"Bernd","family":"Finkbeiner","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-8115-0359","authenticated-orcid":false,"given":"Frederik","family":"Scheerer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,7,24]]},"reference":[{"key":"23_CR1","doi-asserted-by":"publisher","unstructured":"Abbas, H.: Private runtime verification: work-in-progress. In: Proceedings of the International Conference on Embedded Software Companion, New York, NY, USA, 13\u201318 October 2019, p.\u00a011. ACM (2019). https:\/\/doi.org\/10.1145\/3349568.3351552","DOI":"10.1145\/3349568.3351552"},{"key":"23_CR2","doi-asserted-by":"publisher","unstructured":"Banno, R., Matsuoka, K., Matsumoto, N., Bian, S., Waga, M., Suenaga, K.: Oblivious online monitoring for safety LTL specification via fully homomorphic encryption. In: Shoham, S., Vizel, Y. (eds.) CAV 2022. LNCS, vol. 13371, pp. 447\u2013468. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-13185-1_22","DOI":"10.1007\/978-3-031-13185-1_22"},{"key":"23_CR3","doi-asserted-by":"publisher","unstructured":"Baumeister, J., Correnson, A., Finkbeiner, B., Scheerer, F.: An intermediate program representation for optimizing stream-based languages. In: Piskac, R., Rakamaric, Z. (eds.) CAV 2025, Part III. LNCS, vol. 15933, pp. 393\u2013407. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-98682-6_20","DOI":"10.1007\/978-3-031-98682-6_20"},{"key":"23_CR4","doi-asserted-by":"publisher","unstructured":"Baumeister, J., et al.: Monitoring unmanned aircraft: specification, integration, and lessons-learned. In: Gurfinkel, A., Ganesh, V. (eds.) CAV 2024, Part II. LNCS, vol. 14682, pp. 207\u2013218. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-65630-9_10","DOI":"10.1007\/978-3-031-65630-9_10"},{"key":"23_CR5","doi-asserted-by":"publisher","unstructured":"Baumeister, J., Finkbeiner, B., Kohn, F., Scheerer, F.: A tutorial on stream-based monitoring. In: Platzer, A., Rozier, K.Y., Pradella, M., Rossi, M. (eds.) FM 2024, Part II. LNCS, vol. 14934, pp. 624\u2013648. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-71177-0_33","DOI":"10.1007\/978-3-031-71177-0_33"},{"key":"23_CR6","doi-asserted-by":"publisher","unstructured":"Baumeister, J., Finkbeiner, B., Scheerer, F.: Active monitoring with RTLola: a specification-guided scheduling approach. In: K\u00f6nighofer, B., Torfah, H. (eds.) RV 2025. LNCS, vol. 16087, pp. 181\u2013201. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-032-05435-7_11","DOI":"10.1007\/978-3-032-05435-7_11"},{"key":"23_CR7","doi-asserted-by":"publisher","unstructured":"Baumeister, J., Finkbeiner, B., Scheerer, F., Siber, J., Wagenpfeil, T.: Stream-based monitoring of algorithmic fairness. In: Gurfinkel, A., Heule, M. (eds.) ETAPS 2025, Part I. LNCS, vol. 15696, pp. 60\u201381. Springer, Cham (2025). https:\/\/doi.org\/10.1007\/978-3-031-90643-5_4","DOI":"10.1007\/978-3-031-90643-5_4"},{"key":"23_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/978-3-030-53291-8_3","volume-title":"Computer Aided Verification","author":"J Baumeister","year":"2020","unstructured":"Baumeister, J., Finkbeiner, B., Schirmer, S., Schwenger, M., Torens, C.: RTLola cleared for take-off: monitoring autonomous aircraft. In: Lahiri, S.K., Wang, C. (eds.) CAV 2020, Part II. LNCS, vol. 12225, pp. 28\u201339. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-53291-8_3"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-030-72013-1_20","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S Biewer","year":"2021","unstructured":"Biewer, S., Finkbeiner, B., Hermanns, H., K\u00f6hl, M.A., Schnitzer, Y., Schwenger, M.: RTLola on board: testing real driving emissions on your phone. In: TACAS 2021, Part II. LNCS, vol. 12652, pp. 365\u2013372. Springer, Cham (2021). https:\/\/doi.org\/10.1007\/978-3-030-72013-1_20"},{"key":"23_CR10","doi-asserted-by":"publisher","unstructured":"Blocki, J., Blum, A., Datta, A., Sheffet, O.: Differentially private data analysis of social networks via restricted sensitivity. In: Kleinberg, R.D. (ed.) Innovations in Theoretical Computer Science, ITCS 2013, Berkeley, CA, USA, 9\u201312 January 2013, pp. 87\u201396. ACM (2013). https:\/\/doi.org\/10.1145\/2422436.2422449","DOI":"10.1145\/2422436.2422449"},{"key":"23_CR11","doi-asserted-by":"publisher","unstructured":"Cao, J., Xiao, Q., Ghinita, G., Li, N., Bertino, E., Tan, K.: Efficient and accurate strategies for differentially-private sliding window queries. In: Guerrini, G., Paton, N.W. (eds.) Joint 2013 EDBT\/ICDT Conferences, EDBT 2013 Proceedings, Genoa, Italy, 18\u201322 March 2013, pp. 191\u2013202. ACM (2013). https:\/\/doi.org\/10.1145\/2452376.2452400","DOI":"10.1145\/2452376.2452400"},{"key":"23_CR12","doi-asserted-by":"publisher","unstructured":"Cao, Y., Yoshikawa, M., Xiao, Y., Xiong, L.: Quantifying differential privacy under temporal correlations. In: 33rd IEEE International Conference on Data Engineering, ICDE 2017, San Diego, CA, USA, April 19-22, 2017. pp. 821\u2013832. IEEE Computer Society (2017). https:\/\/doi.org\/10.1109\/ICDE.2017.132","DOI":"10.1109\/ICDE.2017.132"},{"key":"23_CR13","unstructured":"Cardoso, A.R., Rogers, R.: Differentially private histograms under continual observation: streaming selection into the unknown. In: Camps-Valls, G., Ruiz, F.J.R., Valera, I. (eds.) International Conference on Artificial Intelligence and Statistics, AISTATS 2022, 28\u201330 March 2022, Virtual Event. Proceedings of Machine Learning Research, vol.\u00a0151, pp. 2397\u20132419. PMLR (2022). https:\/\/proceedings.mlr.press\/v151\/rivera-cardoso22a.html"},{"key":"23_CR14","doi-asserted-by":"publisher","unstructured":"Chan, T.H., Shi, E., Song, D.: Private and continual release of statistics. ACM Trans. Inf. Syst. Secur. 14(3), 26:1\u201326:24 (2011). https:\/\/doi.org\/10.1145\/2043621.2043626","DOI":"10.1145\/2043621.2043626"},{"issue":"4","key":"23_CR15","doi-asserted-by":"publisher","first-page":"174809","DOI":"10.1007\/S11704-022-1651-2","volume":"17","author":"Q Chen","year":"2023","unstructured":"Chen, Q., Ni, Z., Zhu, X., Xia, P.: Differential privacy histogram publishing method based on dynamic sliding window. Frontiers Comput. Sci. 17(4), 174809 (2023). https:\/\/doi.org\/10.1007\/S11704-022-1651-2","journal-title":"Frontiers Comput. Sci."},{"key":"23_CR16","doi-asserted-by":"publisher","unstructured":"Chen, Y., Machanavajjhala, A., Hay, M., Miklau, G.: Pegasus: data-adaptive differentially private stream processing. In: Thuraisingham, B., Evans, D., Malkin, T., Xu, D. (eds.) Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, CCS 2017, Dallas, TX, USA, 30 October\u201303 November 2017, pp. 1375\u20131388. ACM (2017). https:\/\/doi.org\/10.1145\/3133956.3134102","DOI":"10.1145\/3133956.3134102"},{"key":"23_CR17","doi-asserted-by":"publisher","unstructured":"D\u2019Angelo, B., et al.: LOLA: runtime monitoring of synchronous systems. In: 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23\u201325 June 2005, Burlington, Vermont, USA, pp. 166\u2013174. IEEE Computer Society (2005). https:\/\/doi.org\/10.1109\/TIME.2005.26","DOI":"10.1109\/TIME.2005.26"},{"key":"23_CR18","doi-asserted-by":"publisher","unstructured":"Dong, W., Luo, Q., Yi, K.: Continual observation under user-level differential privacy. In: 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, 21\u201325 May 2023, pp. 2190\u20132207. IEEE (2023). https:\/\/doi.org\/10.1109\/SP46215.2023.10179466","DOI":"10.1109\/SP46215.2023.10179466"},{"key":"23_CR19","doi-asserted-by":"publisher","unstructured":"Dvijotham, K.D., McMahan, H.B., Pillutla, K., Steinke, T., Thakurta, A.: Efficient and near-optimal noise generation for streaming differential privacy. In: 65th IEEE Annual Symposium on Foundations of Computer Science, FOCS 2024, Chicago, IL, USA, 27\u201330 October 2024, pp. 2306\u20132317. IEEE (2024). https:\/\/doi.org\/10.1109\/FOCS61266.2024.00135","DOI":"10.1109\/FOCS61266.2024.00135"},{"key":"23_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1007\/11681878_14","volume-title":"Theory of Cryptography","author":"C Dwork","year":"2006","unstructured":"Dwork, C., McSherry, F., Nissim, K., Smith, A.: Calibrating noise to sensitivity in private data analysis. In: Halevi, S., Rabin, T. (eds.) TCC 2006. LNCS, vol. 3876, pp. 265\u2013284. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11681878_14"},{"key":"23_CR21","doi-asserted-by":"publisher","unstructured":"Dwork, C., Naor, M., Pitassi, T., Rothblum, G.N.: Differential privacy under continual observation. In: Schulman, L.J. (ed.) Proceedings of the 42nd ACM Symposium on Theory of Computing, STOC 2010, Cambridge, Massachusetts, USA, 5\u20138 June 2010, pp. 715\u2013724. ACM (2010). https:\/\/doi.org\/10.1145\/1806689.1806787","DOI":"10.1145\/1806689.1806787"},{"issue":"3\u20134","key":"23_CR22","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1561\/0400000042","volume":"9","author":"C Dwork","year":"2014","unstructured":"Dwork, C., Roth, A.: The algorithmic foundations of differential privacy. Found. Trends Theor. Comput. Sci. 9(3\u20134), 211\u2013407 (2014). https:\/\/doi.org\/10.1561\/0400000042","journal-title":"Found. Trends Theor. Comput. Sci."},{"key":"23_CR23","doi-asserted-by":"publisher","unstructured":"Fan, L., Xiong, L.: Real-time aggregate monitoring with differential privacy. In: Chen, X., Lebanon, G., Wang, H., Zaki, M.J. (eds.) 21st ACM International Conference on Information and Knowledge Management, CIKM 2012, Maui, HI, USA, 29 October\u201302 November 2012, pp. 2169\u20132173. ACM (2012). https:\/\/doi.org\/10.1145\/2396761.2398595","DOI":"10.1145\/2396761.2398595"},{"key":"23_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-319-46982-9_10","volume-title":"Runtime Verification","author":"P Faymonville","year":"2016","unstructured":"Faymonville, P., Finkbeiner, B., Schirmer, S., Torfah, H.: A stream-based specification language for network monitoring. In: Falcone, Y., S\u00e1nchez, C. (eds.) RV 2016. LNCS, vol. 10012, pp. 152\u2013168. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-46982-9_10"},{"key":"23_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/978-3-030-25540-4_24","volume-title":"Computer Aided Verification","author":"P Faymonville","year":"2019","unstructured":"Faymonville, P., Finkbeiner, B., Schledjewski, M., Schwenger, M., Stenger, M., Tentrup, L., Torfah, H.: StreamLAB: stream-based monitoring of cyber-physical systems. In: Dillig, I., Tasiran, S. (eds.) CAV 2019, Part I. LNCS, vol. 11561, pp. 421\u2013431. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-25540-4_24"},{"key":"23_CR26","doi-asserted-by":"publisher","unstructured":"Feng, S., Mohammady, M., Wang, H., Li, X., Qin, Z., Hong, Y.: DPI: ensuring strict differential privacy for infinite data streaming. In: IEEE Symposium on Security and Privacy, SP 2024, San Francisco, CA, USA, 19\u201323 May 2024, pp. 1009\u20131027. IEEE (2024). https:\/\/doi.org\/10.1109\/SP54263.2024.00124","DOI":"10.1109\/SP54263.2024.00124"},{"key":"23_CR27","doi-asserted-by":"publisher","unstructured":"Finkbeiner, B., Fr\u00e4nzle, M., Kohn, F., Kr\u00f6ger, P.: Stream-based monitoring under measurement noise. In: \u00c1brah\u00e1m, E., Abbas, H. (eds.) RV 2024. LNCS, vol. 15191, pp. 22\u201339. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-74234-7_2","DOI":"10.1007\/978-3-031-74234-7_2"},{"key":"23_CR28","doi-asserted-by":"crossref","unstructured":"Finkbeiner, B., Keller, A., Schmidt, J., Schwenger, M.: Robust monitoring for medical cyber-physical systems. In: Proceedings of the Workshop on Medical Cyber Physical Systems and Internet of Medical Things, pp. 17\u201322 (2021)","DOI":"10.1145\/3446913.3460318"},{"key":"23_CR29","doi-asserted-by":"publisher","unstructured":"Finkbeiner, B., Scheerer, F.: Differentially private runtime monitoring (2026). https:\/\/doi.org\/10.48550\/arXiv.2605.02391","DOI":"10.48550\/arXiv.2605.02391"},{"key":"23_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-030-03769-7_16","volume-title":"Runtime Verification","author":"F Gorostiaga","year":"2018","unstructured":"Gorostiaga, F., S\u00e1nchez, C.: Striver: stream runtime verification for real-time event-streams. In: Colombo, C., Leucker, M. (eds.) RV 2018. LNCS, vol. 11237, pp. 282\u2013298. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03769-7_16"},{"key":"23_CR31","doi-asserted-by":"publisher","unstructured":"Henzinger, M., Upadhyay, J., Upadhyay, S.: Almost tight error bounds on differentially private continual counting. In: Bansal, N., Nagarajan, V. (eds.) Proceedings of the 2023 ACM-SIAM Symposium on Discrete Algorithms, SODA 2023, Florence, Italy, 22\u201325 January 2023, pp. 5003\u20135039. SIAM (2023). https:\/\/doi.org\/10.1137\/1.9781611977554.CH183","DOI":"10.1137\/1.9781611977554.CH183"},{"key":"23_CR32","doi-asserted-by":"publisher","unstructured":"Henzinger, M., Upadhyay, J., Upadhyay, S.: A unifying framework for differentially private sums under continual observation. In: Woodruff, D.P. (ed.) Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms, SODA 2024, Alexandria, VA, USA, 7\u201310 January 2024, pp. 995\u20131018. SIAM (2024). https:\/\/doi.org\/10.1137\/1.9781611977912.38","DOI":"10.1137\/1.9781611977912.38"},{"key":"23_CR33","doi-asserted-by":"publisher","unstructured":"Henzinger, T.A., Karimi, M., Thejaswini, K.S.: Privacy-preserving runtime verification. In: Huang, C., Chen, J., Shieh, S., Lie, D., Cortier, V. (eds.) Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, CCS 2025, Taipei, Taiwan, 13\u201317 October 2025, pp. 2774\u20132787. ACM (2025). https:\/\/doi.org\/10.1145\/3719027.3765137","DOI":"10.1145\/3719027.3765137"},{"issue":"5","key":"23_CR34","doi-asserted-by":"publisher","first-page":"526","DOI":"10.1145\/3187009.3177733","volume":"11","author":"NM Johnson","year":"2018","unstructured":"Johnson, N.M., Near, J.P., Song, D.: Towards practical differential privacy for SQL queries. Proc. VLDB Endow. 11(5), 526\u2013539 (2018)","journal-title":"Proc. VLDB Endow."},{"key":"23_CR35","doi-asserted-by":"publisher","unstructured":"Kallwies, H., Leucker, M., Schmitz, M., Schulz, A., Thoma, D., Weiss, A.: Tessla-an ecosystem for runtime verification. In: Dang, T., Stolz, V. (eds.) RV 2022. LNCS, vol 13498, pp. 314\u2013324. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-17196-3_20","DOI":"10.1007\/978-3-031-17196-3_20"},{"key":"23_CR36","doi-asserted-by":"publisher","unstructured":"Kellaris, G., Papadopoulos, S., Xiao, X., Papadias, D.: Differentially private event sequences over infinite streams. Proc. VLDB Endow. 7(12), 1155\u20131166 (2014). https:\/\/doi.org\/10.14778\/2732977.2732989, http:\/\/www.vldb.org\/pvldb\/vol7\/p1155-kellaris.pdf","DOI":"10.14778\/2732977.2732989"},{"key":"23_CR37","doi-asserted-by":"publisher","unstructured":"Li, S., Wen, Y., Wang, Z., Wang, W., Zhang, L., Meng, D.: StreamDP: continual observation of real-world data streams with differential privacy. In: IEEE International Performance, Computing, and Communications Conference, IPCCC 2024, Orlando, FL, USA, 22\u201324 November 2024, pp. 1\u201310. IEEE (2024). https:\/\/doi.org\/10.1109\/IPCCC59868.2024.10850443","DOI":"10.1109\/IPCCC59868.2024.10850443"},{"issue":"9","key":"23_CR38","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/1810891.1810916","volume":"53","author":"F McSherry","year":"2010","unstructured":"McSherry, F.: Privacy integrated queries: an extensible platform for privacy-preserving data analysis. Commun. ACM 53(9), 89\u201397 (2010). https:\/\/doi.org\/10.1145\/1810891.1810916","journal-title":"Commun. ACM"},{"key":"23_CR39","doi-asserted-by":"publisher","unstructured":"Mohan, P., Thakurta, A., Shi, E., Song, D., Culler, D.E.: GUPT: privacy preserving data analysis made easy. In: Candan, K.S., Chen, Y., Snodgrass, R.T., Gravano, L., Fuxman, A. (eds.) Proceedings of the ACM SIGMOD International Conference on Management of Data, SIGMOD 2012, Scottsdale, AZ, USA, 20\u201324 May 2012, pp. 349\u2013360. ACM (2012). https:\/\/doi.org\/10.1145\/2213836.2213876","DOI":"10.1145\/2213836.2213876"},{"key":"23_CR40","unstructured":"Narayan, A., Haeberlen, A.: Djoin: differentially private join queries over distributed databases. In: Thekkath, C., Vahdat, A. (eds.) 10th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2012, Hollywood, CA, USA, 8\u201310 October 2012, pp. 149\u2013162. USENIX Association (2012). https:\/\/www.usenix.org\/conference\/osdi12\/technical-sessions\/presentation\/narayan"},{"key":"23_CR41","doi-asserted-by":"publisher","unstructured":"Nissim, K., Raskhodnikova, S., Smith, A.D.: Smooth sensitivity and sampling in private data analysis. In: Johnson, D.S., Feige, U. (eds.) Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, 11\u201313 June 2007, pp. 75\u201384. ACM (2007). https:\/\/doi.org\/10.1145\/1250790.1250803","DOI":"10.1145\/1250790.1250803"},{"key":"23_CR42","doi-asserted-by":"crossref","unstructured":"Perrier, V., Asghar, H.J., Kaafar, D.: Private continual release of real-valued data streams. In: 26th Annual Network and Distributed System Security Symposium, NDSS 2019, San Diego, California, USA, 24\u201327 February 2019. The Internet Society (2019). https:\/\/www.ndss-symposium.org\/ndss-paper\/private-continual-release-of-real-valued-data-streams\/","DOI":"10.14722\/ndss.2019.23535"},{"key":"23_CR43","doi-asserted-by":"publisher","unstructured":"Proserpio, D., Goldberg, S., McSherry, F.: Calibrating data to sensitivity in private data analysis. Proc. VLDB Endow. 7(8), 637\u2013648 (2014). https:\/\/doi.org\/10.14778\/2732296.2732300, http:\/\/www.vldb.org\/pvldb\/vol7\/p637-proserpio.pdf","DOI":"10.14778\/2732296.2732300"},{"key":"23_CR44","doi-asserted-by":"publisher","unstructured":"Qardaji, W.H., Yang, W., Li, N.: Understanding hierarchical methods for differentially private histograms. Proc. VLDB Endow. 6(14), 1954\u20131965 (2013). https:\/\/doi.org\/10.14778\/2556549.2556576, http:\/\/www.vldb.org\/pvldb\/vol6\/p1954-qardaji.pdf","DOI":"10.14778\/2556549.2556576"},{"key":"23_CR45","unstructured":"Schwenger, M.: Statically-analyzed stream monitoring for cyber-physical Systems. Ph.D. thesis, Saarland University, Saarbr\u00fccken, Germany (2022). https:\/\/publikationen.sulb.uni-saarland.de\/handle\/20.500.11880\/33890"},{"key":"23_CR46","doi-asserted-by":"publisher","unstructured":"Song, S., Wang, Y., Chaudhuri, K.: Pufferfish privacy mechanisms for correlated data. In: Salihoglu, S., Zhou, W., Chirkova, R., Yang, J., Suciu, D. (eds.) Proceedings of the 2017 ACM International Conference on Management of Data, SIGMOD Conference 2017, Chicago, IL, USA, 14\u201319 May 2017, pp. 1291\u20131306. ACM (2017). https:\/\/doi.org\/10.1145\/3035918.3064025","DOI":"10.1145\/3035918.3064025"},{"key":"23_CR47","unstructured":"Upadhyay, J.: Sublinear space private algorithms under the sliding window model. In: Chaudhuri, K., Salakhutdinov, R. (eds.) Proceedings of the 36th International Conference on Machine Learning, ICML 2019, 9\u201315 June 2019, Long Beach, California, USA. Proceedings of Machine Learning Research, vol.\u00a097, pp. 6363\u20136372. PMLR (2019). http:\/\/proceedings.mlr.press\/v97\/upadhyay19a.html"},{"key":"23_CR48","doi-asserted-by":"publisher","unstructured":"Wang, T., et al.: Continuous release of data streams under both centralized and local differential privacy. In: Kim, Y., Kim, J., Vigna, G., Shi, E. (eds.) CCS 2021: 2021 ACM SIGSAC Conference on Computer and Communications Security, Virtual Event, Republic of Korea, 15\u201319 November 2021, pp. 1237\u20131253. ACM (2021). https:\/\/doi.org\/10.1145\/3460120.3484750","DOI":"10.1145\/3460120.3484750"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-32519-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T07:17:53Z","timestamp":1784791073000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-32519-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032325181","9783032325198"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-32519-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"24 July 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","label":"Disclosure of Interests","group":{"name":"EthicsHeading","label":"Ethics"}},{"value":"CAV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Aided Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lisbon","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Portugal","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 July 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 July 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"38","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cav2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.floc26.org\/program","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}