{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T06:40:09Z","timestamp":1755844809368,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":143,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,12,2]],"date-time":"2024-12-02T00:00:00Z","timestamp":1733097600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,12,2]]},"DOI":"10.1145\/3658644.3690246","type":"proceedings-article","created":{"date-parts":[[2024,12,9]],"date-time":"2024-12-09T12:19:20Z","timestamp":1733746760000},"page":"4569-4583","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Manipulative Interference Attacks"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-8333-4484","authenticated-orcid":false,"given":"Samuel","family":"Mergendahl","sequence":"first","affiliation":[{"name":"University of Oregon, Eugene, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7816-0731","authenticated-orcid":false,"given":"Stephen","family":"Fickas","sequence":"additional","affiliation":[{"name":"University of Oregon, Eugene, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5811-9731","authenticated-orcid":false,"given":"Boyana","family":"Norris","sequence":"additional","affiliation":[{"name":"University of Oregon, Eugene, OR, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2882-5034","authenticated-orcid":false,"given":"Richard","family":"Skowyra","sequence":"additional","affiliation":[{"name":"MIT Lincoln Laboratory, Lexington, MA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,12,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1609956.1609960"},{"key":"e_1_3_2_1_2_1","unstructured":"Defense Advanced Research Projects Agency. [n.d.]. Memory Safety. https:\/\/www.darpa.mil\/program\/cyber-assured-systems-engineering"},{"key":"e_1_3_2_1_3_1","unstructured":"National Security Agency. 2023. Software Memory Safety. (2023)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070527"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227147"},{"key":"e_1_3_2_1_6_1","volume-title":"August","author":"Andersen Starr","year":"2004","unstructured":"Starr Andersen. 2004. Changes to functionality in Microsoft Windows XP service pack 2. Microsoft technical document, August (2004)."},{"volume-title":"Advances in Computers.","author":"Anderson James P","key":"e_1_3_2_1_7_1","unstructured":"James P Anderson. 1972. Information security in a multi-user computer environment. In Advances in Computers. Vol. 12. Elsevier, 1--36."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS61025.2024.00024"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2019.00037"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2022.102789"},{"key":"e_1_3_2_1_11_1","volume-title":"USENIX Security symposium","volume":"12","author":"Bhatkar Sandeep","year":"2003","unstructured":"Sandeep Bhatkar, Daniel C DuVarney, and Ron Sekar. 2003. Address Obfuscation: An Efficient Approach to Combat a Broad Range of Memory Error Exploits.. In USENIX Security symposium, Vol. 12. 291--301."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813691"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3144555.3144560"},{"key":"e_1_3_2_1_14_1","unstructured":"Bj\u00f6rn B. Brandenburg. 2011. Scheduling and Locking in Multiprocessor Real-Time Operating Systems. Ph.D. Dissertation. The University of North Carolina at Chapel Hill."},{"key":"e_1_3_2_1_15_1","volume-title":"USENIX Security Symposium","volume":"57","author":"Brumley David","year":"2004","unstructured":"David Brumley and Dawn Song. 2004. Privtrans: Automatically partitioning programs for privilege separation. In USENIX Security Symposium, Vol. 57."},{"key":"e_1_3_2_1_16_1","unstructured":"A. Burns and R. Davis. 2013. Mixed Criticality Systems - A Review. Technical Report. Department of Computer Science University of York."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00076"},{"key":"e_1_3_2_1_18_1","volume-title":"24th USENIX Security Symposium (USENIX Security 15)","author":"Carlini Nicholas","year":"2015","unstructured":"Nicholas Carlini, Antonio Barresi, Mathias Payer, David Wagner, and Thomas R Gross. 2015. Control-Flow bending: On the effectiveness of Control-Flow integrity. In 24th USENIX Security Symposium (USENIX Security 15). 161--176."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1298455.1298470"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2013.25"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of the fourteenth ACM symposium on Operating systems principles. 120--133","author":"Bradley Chen J","year":"1993","unstructured":"J Bradley Chen and Brian N Bershad. 1993. The impact of operating system structure on memory system performance. In Proceedings of the fourteenth ACM symposium on Operating systems principles. 120--133."},{"key":"e_1_3_2_1_22_1","volume-title":"USENIX Security Symposium","volume":"5","author":"Chen Shuo","year":"2005","unstructured":"Shuo Chen, Jun Xu, Emre Can Sezer, Prachi Gauriar, and Ravishankar K Iyer. 2005. Non-Control-Data Attacks Are Realistic Threats.. In USENIX Security Symposium, Vol. 5."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Yueqiang Cheng Zongwei Zhou Yu Miao Xuhua Ding and Robert H Deng. 2014. ROPecker: A generic and practical approach for defending against ROP attack. (2014).","DOI":"10.14722\/ndss.2014.23156"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/219282.219284"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/3625275.3625399"},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings 21st International Conference on Distributed Computing Systems. IEEE, 409--417","author":"Fu-Hau Hsu Chiueh","year":"2001","unstructured":"Tzi-cker Chiueh and Fu-Hau Hsu. 2001. RAD: A compile-time solution to buffer overflow attacks. In Proceedings 21st International Conference on Distributed Computing Systems. IEEE, 409--417."},{"key":"e_1_3_2_1_27_1","unstructured":"Catalin Cimpanu. 2019. Microsoft: 70 percent of all security bugs are memory safety issues. https:\/\/www.zdnet.com\/article\/microsoft-70-percent-of-all-security-bugs-are-memory-safety-issues\/"},{"key":"e_1_3_2_1_28_1","volume-title":"27th USENIX Security Symposium (USENIX Security 18)","author":"Clements Abraham A","year":"2018","unstructured":"Abraham A Clements, Naif Saleh Almakhdhub, Saurabh Bagchi, and Mathias Payer. 2018. ACES: Automatic compartments for embedded systems. In 27th USENIX Security Symposium (USENIX Security 18). 65--82."},{"key":"e_1_3_2_1_29_1","volume-title":"CASE Overview: Cyber Assured Systems Engineering. seL4 Summit","author":"Cofer Darren","year":"2022","unstructured":"Darren Cofer. 2022. CASE Overview: Cyber Assured Systems Engineering. seL4 Summit (2022)."},{"volume-title":"USENIX security symposium","author":"Cowan Crispan","key":"e_1_3_2_1_30_1","unstructured":"Crispan Cowan, Calton Pu, Dave Maier, Jonathan Walpole, Peat Bakke, Steve Beattie, Aaron Grier, Perry Wagle, Qian Zhang, and Heather Hinton. 1998. Stackguard: automatic adaptive detection and prevention of buffer-overflow attacks.. In USENIX security symposium, Vol. 98. San Antonio, TX, 63--78."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"crossref","unstructured":"Matteo Crosignani Marco Macchiavelli and Andr\u00e9 F Silva. 2021. Pirates without borders: The propagation of cyberattacks through firms? supply chains. FRB of New York Staff Report 937 (2021).","DOI":"10.2139\/ssrn.3664772"},{"key":"e_1_3_2_1_32_1","unstructured":"CrowdStrike Inc. 2021. 2021 Global Threat Report. https:\/\/go.crowdstrike.com\/rs\/281-OBQ-266\/images\/Report2021GTR.pdf"},{"key":"e_1_3_2_1_33_1","unstructured":"US Cybersecurity et al. 2023. The Case for Memory Safe Roadmaps: Why Both C-Suite Executives and Technical Experts Need to Take Memory Safe Coding Seriously. (2023)."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180261"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970349"},{"key":"e_1_3_2_1_36_1","first-page":"126","article-title":"The science of computing: The Internet worm","volume":"77","author":"Denning Peter J","year":"1989","unstructured":"Peter J Denning. 1989. The science of computing: The Internet worm. American Scientist, Vol. 77, 2 (1989), 126--128.","journal-title":"American Scientist"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/357980.357993"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353535.1346295"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"crossref","unstructured":"Victor Duta Fabian Freyer Fabio Pagani Marius Muench and Cristiano Giuffrida. 2023. Let Me Unwind That For You: Exceptions to Backward-Edge Protection. In NDSS.","DOI":"10.14722\/ndss.2023.23295"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517349.2522720"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/224057.224076"},{"key":"e_1_3_2_1_42_1","volume-title":"Proceedings of the 7th symposium on Operating systems design and implementation. 75--88","author":"Erlingsson \u00dalfar","year":"2006","unstructured":"\u00dalfar Erlingsson, Mart\u00edn Abadi, Michael Vrable, Mihai Budiu, and George C Necula. 2006. XFI: Software guards for system address spaces. In Proceedings of the 7th symposium on Operating systems design and implementation. 75--88."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.53"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813646"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274694.3274739"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Peter H Feiler David P Gluch and John Hudak. 2006. The architecture analysis & design language (AADL): An introduction. (2006).","DOI":"10.21236\/ADA455842"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Tommaso Frassetto Patrick Jauernig David Koisser and Ahmad-Reza Sadeghi. 2022. CFInsight: A Comprehensive Metric for CFI Policies.. In NDSS.","DOI":"10.14722\/ndss.2022.23165"},{"key":"e_1_3_2_1_48_1","volume-title":"USENIX Workshop on Embedded Systems. USENIX Association, 55--65","author":"Gabber Eran","year":"1999","unstructured":"Eran Gabber, Christopher Small, John L. Bruno, Jos\u00e9 Carlos Brustoloni, and Avi Silberschatz. 1999. Pebble: A component-based operating system for embedded applications. In USENIX Workshop on Embedded Systems. USENIX Association, 55--65."},{"key":"e_1_3_2_1_49_1","volume-title":"Multi-core Coordination. In 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 77--89","author":"Gadepalli Phani Kishore","year":"2019","unstructured":"Phani Kishore Gadepalli, Gregor Peach, Gabriel Parmer, Joseph Espy, and Zach Day. 2019. Chaos: A System for Criticality-Aware, Multi-core Coordination. In 25th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 77--89."},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302424.3303976"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/3445814.3446728"},{"key":"e_1_3_2_1_52_1","volume-title":"23rd USENIX Security Symposium (USENIX Security 14)","author":"G\u00f6ktacs Enes","year":"2014","unstructured":"Enes G\u00f6ktacs, Elias Athanasopoulos, Michalis Polychronakis, Herbert Bos, and Georgios Portokalidis. 2014. Size Does Matter: Why Using Gadget-Chain Length to Prevent Code-Reuse Attacks is Hard. In 23rd USENIX Security Symposium (USENIX Security 14). 417--432."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813611"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/362258.362278"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPW53761.2021.00024"},{"key":"e_1_3_2_1_56_1","unstructured":"Gernot Heiser. 2019. How to (and how not to) use seL4 IPC. https:\/\/microkerneldude.org\/2019\/03\/07\/how-to-and-how-not-to-use-sel4-ipc\/"},{"key":"e_1_3_2_1_57_1","volume-title":"Zhenkai Liang, and Prateek Saxena.","author":"Hu Hong","year":"2015","unstructured":"Hong Hu, Zheng Leong Chua, Zhenkai Liang, and Prateek Saxena. 2015. Identifying arbitrary memory access vulnerabilities in privilege-separated software. In Computer Security--ESORICS 2015: 20th European Symposium on Research in Computer Security, Vienna, Austria, September 21--25, 2015, Proceedings, Part II 20. Springer, 312--331."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.62"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"crossref","unstructured":"Kaiming Huang Yongzhe Huang Mathias Payer Zhiyun Qian Jack Sampson Gang Tan and Trent Jaeger. 2022. The taming of the stack: Isolating stack data from memory errors. In NDSS.","DOI":"10.14722\/ndss.2022.23060"},{"key":"e_1_3_2_1_60_1","volume-title":"Part","volume":"1","author":"Intel Intel","unstructured":"Intel Intel. 64. and IA-32 architectures software developers manual. Volume 3A: System Programming Guide, Part, Vol. 1, 64 ( 64), 64."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243739"},{"key":"e_1_3_2_1_62_1","volume-title":"Practical Principle of Least Privilege for Secure Embedded Systems. In 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 1--13","author":"Jero Samuel","year":"2021","unstructured":"Samuel Jero, Juliana Furgala, Runyu Pan, Phani Kishore Gadepalli, Alexandra Clifford, Bite Ye, Roger Khazan, Bryan C Ward, Gabriel Parmer, and Richard Skowyra. 2021. Practical Principle of Least Privilege for Secure Embedded Systems. In 27th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 1--13."},{"key":"e_1_3_2_1_63_1","volume-title":"Safe systems programming in Rust: The promise and the challenge. Commun. ACM","author":"Jung Ralf","year":"2020","unstructured":"Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, and Derek Dreyer. 2020. Safe systems programming in Rust: The promise and the challenge. Commun. ACM (2020)."},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/948109.948146"},{"key":"e_1_3_2_1_65_1","volume-title":"Experimentation and implementation of BFT cyber-attack resilience mechanism for cyber physical systems. ACM Transactions on Cyber-Physical Systems","author":"Keppler David R","year":"2024","unstructured":"David R Keppler, M Faraz Karim, Matthew S Mickelson, and J Sukarno Mertoguno. 2024. Experimentation and implementation of BFT cyber-attack resilience mechanism for cyber physical systems. ACM Transactions on Cyber-Physical Systems (2024)."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/2560537"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629596"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.08.039"},{"volume-title":"Requirements engineering: from system goals to UML models to software specifications","author":"van Lamsweerde A","key":"e_1_3_2_1_69_1","unstructured":"A van Lamsweerde. 2009. Requirements engineering: from system goals to UML models to software specifications. John Wiley & Sons, Ltd."},{"key":"e_1_3_2_1_70_1","volume-title":"Assessing the impact of interface vulnerabilities in compartmentalized software. arXiv preprint arXiv:2212.12904","author":"Lefeuvre Hugo","year":"2022","unstructured":"Hugo Lefeuvre, Vlad-Andrei Buadoiu, Yi Chien, Felipe Huici, Nathan Dautenhahn, and Pierre Olivier. 2022. Assessing the impact of interface vulnerabilities in compartmentalized software. arXiv preprint arXiv:2212.12904 (2022)."},{"key":"e_1_3_2_1_71_1","volume-title":"Workshop on Object Systems and Software Architectures (WOSSA","author":"Leslie Ben","year":"2006","unstructured":"Ben Leslie. 2006. GrailOS: A micro-kernel based, multi-server, multi-personality operating system. In Workshop on Object Systems and Software Architectures (WOSSA 2006)."},{"key":"e_1_3_2_1_72_1","volume-title":"The sel4 core platform. TS\/sel4cp\/2011-draft-spec.pdf","author":"Leslie Ben","year":"2020","unstructured":"Ben Leslie and Gernot Heiser. 2020. The sel4 core platform. TS\/sel4cp\/2011-draft-spec.pdf (2020)."},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132786"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2015.7108436"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168633"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1145\/224057.224075"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.1997.601360"},{"key":"e_1_3_2_1_78_1","volume-title":"Proceedings of The Sixth Workshop on Hot Topics in Operating Systems (HotOS). IEEE Computer Society, 73--79","author":"Liedtke Jochen","year":"1997","unstructured":"Jochen Liedtke, Nayeem Islam, and Trent Jaeger. 1997 b. Preventing denial-of-service attacks on a textmu-kernel for WebOSes. In Proceedings of The Sixth Workshop on Hot Topics in Operating Systems (HotOS). IEEE Computer Society, 73--79."},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134066"},{"key":"e_1_3_2_1_80_1","unstructured":"llvm compiler infrastructure project. [n.d.]. llvm-test-suite. https:\/\/github.com\/llvm\/llvm-test-suite"},{"key":"e_1_3_2_1_81_1","unstructured":"Loonwerks. [n.d.] a. CASE: Cyber Assured Systems Engineering. https:\/\/loonwerks.com\/projects\/case.html"},{"key":"e_1_3_2_1_82_1","unstructured":"Loonwerks. [n.d.] b. CASE-Final. https:\/\/github.com\/loonwerks\/CASE-Final\/tree\/main"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179412"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/3190508.3190539"},{"key":"e_1_3_2_1_85_1","unstructured":"Jeff Magee and Jeff Kramer. 1999. State models and java programs. wiley Hoboken."},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/2692956.2663188"},{"key":"e_1_3_2_1_87_1","unstructured":"Derrick Paul McKee Yianni Giannaris Carolina Ortega Howard E Shrobe Mathias Payer Hamed Okhravi and Nathan Burow. 2022. Preventing Kernel Hacks with HAKCs.. In NDSS. 1--17."},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"crossref","unstructured":"Samuel Mergendahl Nathan Burow and Hamed Okhravi. 2022. Cross-Language Attacks.. In NDSS.","DOI":"10.14722\/ndss.2022.24078"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS54340.2022.00016"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2014.127"},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.35"},{"key":"e_1_3_2_1_92_1","unstructured":"Thomas Moscibroda Onur Mutlu. 2007. Memory performance attacks: Denial of memory service in multi-core systems. In USENIX security."},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.142871"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542504"},{"key":"e_1_3_2_1_95_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Narayan Shravan","year":"2020","unstructured":"Shravan Narayan, Craig Disselkoen, Tal Garfinkel, Nathan Froyd, Eric Rahm, Sorin Lerner, Hovav Shacham, and Deian Stefan. 2020. Retrofitting fine grain isolation in the Firefox renderer. In 29th USENIX Security Symposium (USENIX Security 20). 699--716."},{"key":"e_1_3_2_1_96_1","volume-title":"14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20)","author":"Narayanan Vikram","year":"2020","unstructured":"Vikram Narayanan, Tianjiao Huang, David Detweiler, Dan Appel, Zhaofeng Li, Gerd Zellweger, and Anton Burtsev. 2020. RedLeaf: Isolation and Communication in a Safe Operating System. In 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI 20). 21--39."},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS54341.2022.00016"},{"key":"e_1_3_2_1_98_1","unstructured":"National Institute of Standards and Technology. 2024. The NIST Cybersecurity Framework (CSF) 2.0. (2024)."},{"key":"e_1_3_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13464-7_5"},{"key":"e_1_3_2_1_100_1","volume-title":"Smashing the stack for fun and profit. Phrack magazine","author":"One Aleph","year":"1996","unstructured":"Aleph One. 1996. Smashing the stack for fun and profit. Phrack magazine, Vol. 7, 49 (1996), 14--16."},{"key":"e_1_3_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2015.7108391"},{"key":"e_1_3_2_1_102_1","volume-title":"22nd USENIX Security Symposium (USENIX Security 13)","author":"Pappas Vasilis","year":"2013","unstructured":"Vasilis Pappas, Michalis Polychronakis, and Angelos D Keromytis. 2013. Transparent ROP exploit mitigation using indirect branch tracing. In 22nd USENIX Security Symposium (USENIX Security 13). 447--462."},{"key":"e_1_3_2_1_103_1","volume-title":"2019 USENIX Annual Technical Conference (USENIXATC 19)","author":"Park Soyeon","year":"2019","unstructured":"Soyeon Park, Sangho Lee, Wen Xu, Hyungon Moon, and Taesoo Kim. 2019. libmpk: Software abstraction for intel memory protection keys (intel MPK). In 2019 USENIX Annual Technical Conference (USENIXATC 19). 241--254."},{"key":"e_1_3_2_1_104_1","volume-title":"Proceedings of the Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT). 91","author":"Parmer Gabriel","year":"2010","unstructured":"Gabriel Parmer. 2010. The case for thread migration: Predictable IPC in a customizable and reliable OS. In Proceedings of the Workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT). 91."},{"volume-title":"2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE Computer Society, 3--12","author":"Patel Pratyush","key":"e_1_3_2_1_105_1","unstructured":"Pratyush Patel, Manohar Vanga, and Bj\u00f6rn B. Brandenburg. 2017. TimerShield: Protecting High-Priority Tasks from Low-Priority Timer Interference. In 2017 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE Computer Society, 3--12."},{"key":"e_1_3_2_1_106_1","doi-asserted-by":"publisher","DOI":"10.1145\/3609510.3609821"},{"key":"e_1_3_2_1_107_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2016.7461339"},{"key":"e_1_3_2_1_108_1","doi-asserted-by":"publisher","DOI":"10.1145\/2797022.2797042"},{"key":"e_1_3_2_1_109_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_110_1","unstructured":"LLVM Compiler Infrastructure Project. [n.d.]. LLVM test-suite Guide. https:\/\/llvm.org\/docs\/TestSuiteGuide.html"},{"key":"e_1_3_2_1_111_1","unstructured":"The Chromium Projects. [n.d.]. Memory Safety. https:\/\/www.chromium.org\/Home\/chromium-security\/memory-safety\/"},{"key":"e_1_3_2_1_112_1","doi-asserted-by":"publisher","DOI":"10.1145\/3485832.3485903"},{"key":"e_1_3_2_1_113_1","volume-title":"Did One Guy Just Stop a Huge Cyberattack? The New York Times","author":"Rose Kevin","year":"2024","unstructured":"Kevin Rose. 2024. Did One Guy Just Stop a Huge Cyberattack? The New York Times (2024)."},{"key":"e_1_3_2_1_114_1","volume-title":"29th USENIX Security Symposium (USENIX Security 20)","author":"Schrammel David","year":"2020","unstructured":"David Schrammel, Samuel Weiser, Stefan Steinegger, Martin Schwarzl, Michael Schwarz, Stefan Mangard, and Daniel Gruss. 2020. Donky: Domain Keys--Efficient In-Process Isolation for RISC-V and x86. In 29th USENIX Security Symposium (USENIX Security 20). 1677--1694."},{"key":"e_1_3_2_1_115_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660309"},{"key":"e_1_3_2_1_116_1","unstructured":"seL4 Foundation. [n.d.]. rust-microkit-demo. https:\/\/github.com\/seL4\/rust-microkit-demo"},{"key":"e_1_3_2_1_117_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2016.7461326"},{"key":"e_1_3_2_1_118_1","doi-asserted-by":"publisher","DOI":"10.5555\/2033939.2033965"},{"key":"e_1_3_2_1_119_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462183"},{"key":"e_1_3_2_1_120_1","doi-asserted-by":"publisher","DOI":"10.1109\/12.57058"},{"key":"e_1_3_2_1_121_1","doi-asserted-by":"publisher","DOI":"10.1145\/1315245.1315313"},{"key":"e_1_3_2_1_122_1","doi-asserted-by":"publisher","DOI":"10.1145\/1030083.1030124"},{"key":"e_1_3_2_1_123_1","doi-asserted-by":"publisher","DOI":"10.1145\/319151.319163"},{"key":"e_1_3_2_1_124_1","doi-asserted-by":"publisher","DOI":"10.5555\/829515.830547"},{"key":"e_1_3_2_1_125_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2016.17"},{"key":"e_1_3_2_1_126_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2019.00010"},{"key":"e_1_3_2_1_127_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF02341920"},{"key":"e_1_3_2_1_128_1","doi-asserted-by":"publisher","DOI":"10.1145\/1755913.1755935"},{"key":"e_1_3_2_1_129_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2005.16"},{"key":"e_1_3_2_1_130_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2013.13"},{"volume-title":"23rd USENIX security symposium (USENIX security 14). 941--955.","author":"Tice Caroline","key":"e_1_3_2_1_131_1","unstructured":"Caroline Tice, Tom Roeder, Peter Collingbourne, Stephen Checkoway, \u00dalfar Erlingsson, Luis Lozano, and Geoff Pike. 2014. Enforcing Forward-EdgeControl-Flow integrity in GCC & LLVM. In 23rd USENIX security symposium (USENIX security 14). 941--955."},{"key":"e_1_3_2_1_132_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-23644-0_7"},{"key":"e_1_3_2_1_133_1","volume-title":"28th USENIX Security Symposium (USENIX Security 19)","author":"Vahldiek-Oberwagner Anjo","year":"2019","unstructured":"Anjo Vahldiek-Oberwagner, Eslam Elnikety, Nuno O Duarte, Michael Sammler, Peter Druschel, and Deepak Garg. 2019. ERIM: Secure, efficient in-process isolation with protection keys (MPK). In 28th USENIX Security Symposium (USENIX Security 19). 1221--1238."},{"key":"e_1_3_2_1_134_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.730542"},{"key":"e_1_3_2_1_135_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2016.7778001"},{"key":"e_1_3_2_1_136_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.35"},{"key":"e_1_3_2_1_137_1","doi-asserted-by":"publisher","DOI":"10.1145\/168619.168635"},{"key":"e_1_3_2_1_138_1","doi-asserted-by":"publisher","DOI":"10.1145\/277650.277732"},{"key":"e_1_3_2_1_139_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP46215.2023.10179433"},{"key":"e_1_3_2_1_140_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6925999"},{"key":"e_1_3_2_1_141_1","volume-title":"2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 55--64","author":"Yun Heechul","year":"2013","unstructured":"Heechul Yun, Gang Yao, Rodolfo Pellizzoni, Marco Caccamo, and Lui Sha. 2013. Memguard: Memory bandwidth reservation system for efficient performance isolation in multi-core platforms. In 2013 IEEE 19th Real-Time and Embedded Technology and Applications Symposium (RTAS). IEEE, 55--64."},{"key":"e_1_3_2_1_142_1","volume-title":"Proceedings of the 7th symposium on Operating systems design and implementation. 45--60","author":"Zhou Feng","year":"2006","unstructured":"Feng Zhou, Jeremy Condit, Zachary Anderson, Ilya Bagrak, Rob Ennals, Matthew Harren, George Necula, and Eric Brewer. 2006. SafeDrive: Safe and recoverable extensions using language-based techniques. In Proceedings of the 7th symposium on Operating systems design and implementation. 45--60."},{"key":"e_1_3_2_1_143_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660267.2660344"}],"event":{"name":"CCS '24: ACM SIGSAC Conference on Computer and Communications Security","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Salt Lake City UT USA","acronym":"CCS '24"},"container-title":["Proceedings of the 2024 on ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658644.3690246","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3658644.3690246","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T06:05:37Z","timestamp":1755842737000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3658644.3690246"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,12,2]]},"references-count":143,"alternative-id":["10.1145\/3658644.3690246","10.1145\/3658644"],"URL":"https:\/\/doi.org\/10.1145\/3658644.3690246","relation":{},"subject":[],"published":{"date-parts":[[2024,12,2]]},"assertion":[{"value":"2024-12-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}