{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,13]],"date-time":"2026-07-13T16:18:58Z","timestamp":1783959538241,"version":"3.55.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031742330","type":"print"},{"value":"9783031742347","type":"electronic"}],"license":[{"start":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T00:00:00Z","timestamp":1728691200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,12]],"date-time":"2024-10-12T00:00:00Z","timestamp":1728691200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-74234-7_4","type":"book-chapter","created":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T10:01:58Z","timestamp":1728640918000},"page":"59-69","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Oblivious Monitoring for\u00a0Discrete-Time STL via\u00a0Fully Homomorphic Encryption"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9360-7490","authenticated-orcid":false,"given":"Masaki","family":"Waga","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6642-1276","authenticated-orcid":false,"given":"Kotaro","family":"Matsuoka","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-9845-7419","authenticated-orcid":false,"given":"Takashi","family":"Suwa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4497-3459","authenticated-orcid":false,"given":"Naoki","family":"Matsumoto","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8610-9186","authenticated-orcid":false,"given":"Ryotaro","family":"Banno","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0467-6203","authenticated-orcid":false,"given":"Song","family":"Bian","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7466-8789","authenticated-orcid":false,"given":"Kohei","family":"Suenaga","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,10,12]]},"reference":[{"key":"4_CR1","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.) Computer Aided Verification. 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":"4_CR2","doi-asserted-by":"crossref","unstructured":"Bian, S., et al.: HE3DB: an efficient and elastic encrypted database via arithmetic-and-logic fully homomorphic encryption. In: Meng, W., Jensen, C.D., Cremers, C., Kirda, E. (eds.) Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, CCS 2023, Copenhagen, Denmark, 26\u201330 November 2023, pp. 2930\u20132944. ACM (2023)","DOI":"10.1145\/3576915.3616608"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-23820-3_1","volume-title":"Runtime Verification","author":"F Cameron","year":"2015","unstructured":"Cameron, F., Fainekos, G., Maahs, D.M., Sankaranarayanan, S.: Towards a verified artificial pancreas: challenges and solutions for runtime verification. In: Bartocci, E., Majumdar, R. (eds.) RV 2015. LNCS, vol. 9333, pp. 3\u201317. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23820-3_1"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/978-3-319-70694-8_15","volume-title":"Advances in Cryptology \u2013 ASIACRYPT 2017","author":"JH Cheon","year":"2017","unstructured":"Cheon, J.H., Kim, A., Kim, M., Song, Y.: Homomorphic encryption for arithmetic of approximate numbers. In: Takagi, T., Peyrin, T. (eds.) ASIACRYPT 2017. LNCS, vol. 10624, pp. 409\u2013437. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-70694-8_15"},{"issue":"1","key":"4_CR5","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/s00145-019-09319-x","volume":"33","author":"I Chillotti","year":"2020","unstructured":"Chillotti, I., Gama, N., Georgieva, M., Izabach\u00e8ne, M.: TFHE: fast fully homomorphic encryption over the torus. J. Cryptol. 33(1), 34\u201391 (2020)","journal-title":"J. Cryptol."},{"key":"4_CR6","unstructured":"Daemen, J., Rijmen, V.: Aes proposal: rijndael (1999)"},{"key":"4_CR7","doi-asserted-by":"publisher","unstructured":"Duret-Lutz, A., et al.: From spot 2.0 to spot 2.10: what\u2019s new? In: Shoham, S., Vizel, Y. (eds.) Computer Aided Verification. CAV 2022. LNCS, vol. 13372, pp. 174\u2013187. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-13188-2_9","DOI":"10.1007\/978-3-031-13188-2_9"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Gentry, C.: Fully homomorphic encryption using ideal lattices. In: Mitzenmacher, M. (ed.) Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC 2009, pp. 169\u2013178. ACM (2009)","DOI":"10.1145\/1536414.1536440"},{"key":"4_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/978-3-642-15297-9_3","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"J Havlicek","year":"2010","unstructured":"Havlicek, J., Little, S., Maler, O., Nickovic, D.: Property-based monitoring of analog and mixed-signal systems. In: Chatterjee, K., Henzinger, T.A. (eds.) FORMATS 2010. LNCS, vol. 6246, pp. 23\u201324. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-15297-9_3"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Hekmatnejad, M., et al.: Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic. In: Roop, P.S., Zhan, N., Gao, S., Nuzzo, P. (eds.) Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, pp. 6:1\u20136:11. ACM (2019)","DOI":"10.1145\/3359986.3361203"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Klyve, D., Currie, K., Anderson\u00a0Jr, J.H., Ward, C., Schwarz, D., Shelton, B.: Algorithm refinement in the non-invasive detection of blood glucose via $$\\text{bio-rfid}^{{\\rm TM}}$$ technology1. medRxiv, pp. 2023\u201305 (2023)","DOI":"10.1101\/2023.05.25.23290539"},{"key":"4_CR12","doi-asserted-by":"publisher","unstructured":"Liu, Z., Micciancio, D., Polyakov, Y.: Large-precision homomorphic sign evaluation using FHEW\/TFHE bootstrapping. In: Agrawal, S., Lin, D. (eds.) Advances in Cryptology \u2013 ASIACRYPT 2022. ASIACRYPT 2022. LNCS, vol. 13792, pp. 130\u2013160. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-22966-4_5","DOI":"10.1007\/978-3-031-22966-4_5"},{"issue":"1","key":"4_CR13","doi-asserted-by":"publisher","first-page":"592","DOI":"10.46586\/tches.v2024.i1.592-616","volume":"2024","author":"S Ma","year":"2024","unstructured":"Ma, S., Huang, T., Wang, A., Zhou, Q., Wang, X.: Fast and accurate: efficient full-domain functional bootstrap and digit decomposition for homomorphic computation. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024(1), 592\u2013616 (2024)","journal-title":"IACR Trans. Cryptogr. Hardw. Embed. Syst."},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"O Maler","year":"2004","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS\/FTRTFT -2004. LNCS, vol. 3253, pp. 152\u2013166. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12"},{"key":"4_CR15","unstructured":"Matsuoka, K., Banno, R., Matsumoto, N., Sato, T., Bian, S.: Virtual secure platform: a five-stage pipeline processor over TFHE. In: Bailey, M., Greenstadt, R. (eds.) 30th USENIX Security Symposium, USENIX Security 2021, pp. 4007\u20134024. USENIX Association (2021)"},{"key":"4_CR16","unstructured":"Microsoft SEAL (release 4.1), January 2023. https:\/\/github.com\/Microsoft\/SEAL, microsoft Research, Redmond, WA"},{"key":"4_CR17","unstructured":"Shalev-Shwartz, S., Shammah, S., Shashua, A.: On a formal model of safe and scalable self-driving cars. CoRR abs\/1708.06374 (2017)"},{"key":"4_CR18","doi-asserted-by":"publisher","unstructured":"Triakosia, A., Rizomiliotis, P., Tserpes, K., Tonelli, C., Senni, V., Federici, F.: Homomorphic encryption in manufacturing compliance checks. In: Katsikas, S., Furnell, S. (eds.) Trust, Privacy and Security in Digital Business. TrustBus 2022. LNCS, vol. 13582, pp. 81\u201395. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-17926-6_6","DOI":"10.1007\/978-3-031-17926-6_6"},{"key":"4_CR19","doi-asserted-by":"publisher","unstructured":"Waga, M., et al.: Oblivious monitoring for discrete-time STL via fully homomorphic encryption. CoRR abs\/2405.16767 (2024). https:\/\/doi.org\/10.48550\/ARXIV.2405.16767","DOI":"10.48550\/ARXIV.2405.16767"},{"key":"4_CR20","unstructured":"Xie, J.: Simglucose v0.2.1 (2018). https:\/\/github.com\/jxx123\/simglucose. Accessed 01 May 2023"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Young, W., Corbett, J., Gerber, M.S., Patek, S., Feng, L.: DAMON: a data authenticity monitoring system for diabetes management. In: 2018 IEEE\/ACM Third International Conference on Internet-of-Things Design and Implementation, IoTDI 2018, pp. 25\u201336. IEEE Computer Society (2018)","DOI":"10.1109\/IoTDI.2018.00013"},{"key":"4_CR22","unstructured":"Zhang, X., Bham, G.H.: Estimation of driver reaction time from detailed vehicle trajectory data. In: Proceedings of the 18th Conference on Proceedings of the 18th IASTED International Conference: Modelling and Simulation, pp. 574\u2013579. MOAS\u201907, ACTA Press, USA (2007)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-74234-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,11]],"date-time":"2024-10-11T10:02:19Z","timestamp":1728640939000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-74234-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,12]]},"ISBN":["9783031742330","9783031742347"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-74234-7_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,10,12]]},"assertion":[{"value":"12 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Instanbul","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"T\u00fcrkiye","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/yeni.cmpe.bogazici.edu.tr\/rv24\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}