{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:25:42Z","timestamp":1755998742533,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031442667"},{"type":"electronic","value":"9783031442674"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-44267-4_12","type":"book-chapter","created":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:03:27Z","timestamp":1696118607000},"page":"231-250","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Flexible Runtime Security Enforcement with\u00a0Tagged C"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-7681-3683","authenticated-orcid":false,"given":"Sean","family":"Anderson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-0405-9306","authenticated-orcid":false,"given":"Allison","family":"Naaktgeboren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0748-2044","authenticated-orcid":false,"given":"Andrew","family":"Tolmach","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,10,1]]},"reference":[{"key":"12_CR1","unstructured":"Anderson, J.P.: Computer security technology planning study. Technical report ESD-TR-73-51, U.S. Air Force Electronic Systems Division (1972). http:\/\/csrc.nist.gov\/publications\/history\/ande72.pdf"},{"key":"12_CR2","unstructured":"Armv8.5-a memory tagging extension white paper. https:\/\/developer.arm.com\/-\/media\/Arm%20Developer%20Community\/PDF\/Arm_Memory_Tagging_Extension_Whitepaper.pdf"},{"key":"12_CR3","doi-asserted-by":"publisher","unstructured":"Austin, T.H., Flanagan, C.: Multiple facets for dynamic information flow. In: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2012, pp. 165\u2013178. Association for Computing Machinery (2012). https:\/\/doi.org\/10.1145\/2103656.2103677","DOI":"10.1145\/2103656.2103677"},{"issue":"6","key":"12_CR4","doi-asserted-by":"publisher","first-page":"689","DOI":"10.3233\/JCS-15784","volume":"24","author":"A Azevedo de Amorim","year":"2016","unstructured":"Azevedo de Amorim, A., et al.: A verified information-flow architecture. J. Comput. Secur. 24(6), 689\u2013734 (2016). https:\/\/doi.org\/10.3233\/JCS-15784","journal-title":"J. Comput. Secur."},{"key":"12_CR5","doi-asserted-by":"publisher","unstructured":"Azevedo de Amorim, A., et al.: Micro-policies: formally verified, tag-based security monitors. In: 2015 IEEE Symposium on Security and Privacy, pp. 813\u2013830 (2015). https:\/\/doi.org\/10.1109\/SP.2015.55","DOI":"10.1109\/SP.2015.55"},{"key":"12_CR6","unstructured":"Ball, T., Rajamani, S.: SLIC: a specification language for interface checking (of C). Technical report MSR-TR-2001-21 (2002). https:\/\/www.microsoft.com\/en-us\/research\/publication\/slic-a-specification-language-for-interface-checking-of-c\/"},{"issue":"2","key":"12_CR7","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1145\/1646353.1646374","volume":"53","author":"A Bessey","year":"2010","unstructured":"Bessey, A., et al.: A few billion lines of code later: using static analysis to find bugs in the real world. Commun. ACM 53(2), 66\u201375 (2010). https:\/\/doi.org\/10.1145\/1646353.1646374","journal-title":"Commun. ACM"},{"key":"12_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-030-29962-0_2","volume-title":"Computer Security \u2013 ESORICS 2019","author":"D Cassel","year":"2019","unstructured":"Cassel, D., Huang, Y., Jia, L.: Uncovering information flow policy violations in C programs (extended abstract). In: Sako, K., Schneider, S., Ryan, P.Y.A. (eds.) ESORICS 2019. LNCS, vol. 11736, pp. 26\u201346. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-29962-0_2"},{"key":"12_CR9","doi-asserted-by":"publisher","unstructured":"Chabot, M., Mazet, K., Pierre, L.: Automatic and configurable instrumentation of C programs with temporal assertion checkers. In: 2015 ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), pp. 208\u2013217 (2015). https:\/\/doi.org\/10.1109\/MEMCOD.2015.7340488","DOI":"10.1109\/MEMCOD.2015.7340488"},{"key":"12_CR10","doi-asserted-by":"publisher","unstructured":"Chhak, C., Tolmach, A., Anderson, S.: Towards formally verified compilation of tag-based policy enforcement. In: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs, pp. 137\u2013151 (2021). https:\/\/doi.org\/10.1145\/3437992.3439929","DOI":"10.1145\/3437992.3439929"},{"key":"12_CR11","doi-asserted-by":"publisher","unstructured":"Clause, J., Doudalis, I., Orso, A., Prvulovic, M.: Effective memory protection using dynamic tainting. In: Proceedings of the 22nd IEEE\/ACM International Conference on Automated Software Engineering, pp. 284\u2013292 (2007). https:\/\/doi.org\/10.1145\/1321631.1321673","DOI":"10.1145\/1321631.1321673"},{"key":"12_CR12","unstructured":"Coq Team: The Coq proof assistant. https:\/\/coq.inria.fr"},{"issue":"5","key":"12_CR13","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1145\/360051.360056","volume":"19","author":"DE Denning","year":"1976","unstructured":"Denning, D.E.: A lattice model of secure information flow. Commun. ACM 19(5), 236\u2013243 (1976). https:\/\/doi.org\/10.1145\/360051.360056","journal-title":"Commun. ACM"},{"issue":"7","key":"12_CR14","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1145\/359636.359712","volume":"20","author":"DE Denning","year":"1977","unstructured":"Denning, D.E., Denning, P.J.: Certification of programs for secure information flow. Commun. ACM 20(7), 504\u2013513 (1977). https:\/\/doi.org\/10.1145\/359636.359712","journal-title":"Commun. ACM"},{"key":"12_CR15","doi-asserted-by":"publisher","unstructured":"Dhawan, U., et al.: Architectural support for software-defined metadata processing. In: Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, pp. 487\u2013502 (2015). https:\/\/doi.org\/10.1145\/2694344.2694383","DOI":"10.1145\/2694344.2694383"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Engler, D.R., Chelf, B., Chou, A., Hallem, S.: Checking system rules using system-specific, programmer-written compiler extensions. In: OSDI, pp. 1\u201316 (2000)","DOI":"10.21236\/ADA419626"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Gollapudi, R., et al.: Control flow and pointer integrity enforcement in a secure tagged architecture. In: 2023 IEEE Symposium on Security and Privacy (SP), pp. 2974\u20132989 (2023). https:\/\/doi.ieeecomputersociety.org\/10.1109\/SP46215.2023.00102","DOI":"10.1109\/SP46215.2023.10179416"},{"key":"12_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-540-68524-1_3","volume-title":"Testing of Software and Communicating Systems","author":"K Havelund","year":"2008","unstructured":"Havelund, K.: Runtime verification of C programs. In: Suzuki, K., Higashino, T., Ulrich, A., Hasegawa, T. (eds.) FATES\/TestCom -2008. LNCS, vol. 5047, pp. 7\u201322. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68524-1_3"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP\u201997 \u2014 Object-Oriented Programming","author":"G Kiczales","year":"1997","unstructured":"Kiczales, G., et al.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220\u2013242. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0053381"},{"issue":"1","key":"12_CR20","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1145\/775265.775268","volume":"8","author":"BW Lampson","year":"1974","unstructured":"Lampson, B.W.: Protection. SIGOPS Oper. Syst. Rev. 8(1), 18\u201324 (1974). https:\/\/doi.org\/10.1145\/775265.775268","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"12_CR21","unstructured":"Leroy, X.: Compcert 3.10. https:\/\/github.com\/AbsInt\/CompCert\/releases\/tag\/v3.10"},{"issue":"7","key":"12_CR22","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/1538788.1538814","volume":"52","author":"X Leroy","year":"2009","unstructured":"Leroy, X.: Formal verification of a realistic compiler. Commun. ACM 52(7), 107\u2013115 (2009). https:\/\/doi.org\/10.1145\/1538788.1538814","journal-title":"Commun. ACM"},{"issue":"4","key":"12_CR23","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1007\/s10817-009-9155-4","volume":"43","author":"X Leroy","year":"2009","unstructured":"Leroy, X.: A formally verified compiler back-end. J. Autom. Reason. 43(4), 363\u2013446 (2009). https:\/\/doi.org\/10.1007\/s10817-009-9155-4","journal-title":"J. Autom. Reason."},{"key":"12_CR24","doi-asserted-by":"publisher","unstructured":"Memarian, K., et al.: Exploring C semantics and pointer provenance. Proc. ACM Program. Lang. 3(POPL), 1\u201332 (2019). https:\/\/doi.org\/10.1145\/3290380","DOI":"10.1145\/3290380"},{"issue":"6","key":"12_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2980983.2908081","volume":"51","author":"K Memarian","year":"2016","unstructured":"Memarian, K., et al.: Into the depths of C: elaborating the de facto standards. SIGPLAN Not. 51(6), 1\u201315 (2016). https:\/\/doi.org\/10.1145\/2980983.2908081","journal-title":"SIGPLAN Not."},{"key":"12_CR26","doi-asserted-by":"publisher","unstructured":"Michael, A.E., et al.: MSWasm: soundly enforcing memory-safe execution of unsafe code. Proc. ACM Program. Lang. 7(POPL), 425\u2013454 (2023). https:\/\/doi.org\/10.1145\/3571208","DOI":"10.1145\/3571208"},{"key":"12_CR27","doi-asserted-by":"publisher","unstructured":"Roessler, N., DeHon, A.: Protecting the stack with metadata policies and tagged hardware. In: Proceedings of the 2018 IEEE Symposium on Security and Privacy, SP 2018, pp. 478\u2013495 (2018). https:\/\/doi.org\/10.1109\/SP.2018.00066","DOI":"10.1109\/SP.2018.00066"},{"key":"12_CR28","doi-asserted-by":"publisher","unstructured":"Russo, A., Sabelfeld, A.: Dynamic vs. static flow-sensitive security analysis. In: 2010 23rd IEEE Computer Security Foundations Symposium, pp. 186\u2013199 (2010). https:\/\/doi.org\/10.1109\/CSF.2010.20","DOI":"10.1109\/CSF.2010.20"},{"key":"12_CR29","unstructured":"Tsampas, S., El-Korashy, A., Patrignani, M., Devriese, D., Garg, D., Piessens, F.: Towards automatic compartmentalization of C programs on capability machines (2017). https:\/\/api.semanticscholar.org\/CorpusID:32838507"},{"key":"12_CR30","doi-asserted-by":"publisher","unstructured":"Filardo, N.W., et al.: Cornucopia: temporal safety for CHERI heaps. In: 2020 IEEE Symposium on Security and Privacy (SP), pp. 608\u2013625 (2020). https:\/\/doi.org\/10.1109\/SP40000.2020.00098","DOI":"10.1109\/SP40000.2020.00098"}],"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-44267-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,1]],"date-time":"2023-10-01T00:14:15Z","timestamp":1696119255000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-44267-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031442667","9783031442674"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-44267-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"1 October 2023","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":"Thessaloniki","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/rv23.csd.auth.gr","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"39","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"33% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3,15","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"The proceedings includes also 4 Tutorial Papers and  2 Invited Papers","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}