{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T01:41:45Z","timestamp":1755826905011,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":96,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,4,22]],"date-time":"2024-04-22T00:00:00Z","timestamp":1713744000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100006374","name":"Google","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["CNS-2145471, CNS-1514422"],"award-info":[{"award-number":["CNS-2145471, CNS-1514422"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"Defense Advanced Research Projects Agency","doi-asserted-by":"publisher","award":["HR00112020022"],"award-info":[{"award-number":["HR00112020022"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100006374","name":"Air Force Office of Scientific Research","doi-asserted-by":"publisher","award":["FA9550-18-1-0421"],"award-info":[{"award-number":["FA9550-18-1-0421"]}],"id":[{"id":"10.13039\/501100006374","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,4,22]]},"DOI":"10.1145\/3627703.3650089","type":"proceedings-article","created":{"date-parts":[[2024,4,18]],"date-time":"2024-04-18T06:28:28Z","timestamp":1713421708000},"page":"1208-1224","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Auditing of Event-driven Web Applications"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-4627-3479","authenticated-orcid":false,"given":"Ioanna","family":"Tzialla","sequence":"first","affiliation":[{"name":"NYU and Google"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-4885-8268","authenticated-orcid":false,"given":"Jeffery","family":"Wang","sequence":"additional","affiliation":[{"name":"NYU"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-6086-7295","authenticated-orcid":false,"given":"Jingyi","family":"Zhu","sequence":"additional","affiliation":[{"name":"ETH Zurich"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9664-4377","authenticated-orcid":false,"given":"Aurojit","family":"Panda","sequence":"additional","affiliation":[{"name":"NYU"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0006-1776-6418","authenticated-orcid":false,"given":"Michael","family":"Walfish","sequence":"additional","affiliation":[{"name":"NYU"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,4,22]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"Babel. https:\/\/babeljs.io\/."},{"key":"e_1_3_2_2_2_1","unstructured":"Wiki.js. https:\/\/github.com\/Requarks\/wiki."},{"key":"e_1_3_2_2_3_1","volume-title":"https:\/\/www.tornadoweb.org\/en\/stable\/","author":"Server Tornado Web","year":"2020","unstructured":"Tornado Web Server. https:\/\/www.tornadoweb.org\/en\/stable\/, 2020."},{"volume-title":"https:\/\/nodejs.org\/en\/","year":"2022","key":"e_1_3_2_2_4_1","unstructured":"Node.js. https:\/\/nodejs.org\/en\/, 2022."},{"key":"e_1_3_2_2_5_1","volume-title":"https:\/\/phoenixframework.org\/","author":"Framework Phoenix","year":"2022","unstructured":"Phoenix Framework. https:\/\/phoenixframework.org\/, 2022."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/930194"},{"key":"e_1_3_2_2_7_1","volume-title":"Computer Aided Verification (CAV)","author":"Alglave Jade","year":"2014","unstructured":"Jade Alglave, Daniel Kroening, Vincent Nimal, and Daniel Poetzl. Don't sit on the fence: A static analysis approach to automatic fence insertion. In Computer Aided Verification (CAV), July 2014."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032311"},{"key":"e_1_3_2_2_9_1","unstructured":"Amazon Web Services. AWS Lambda FAQs. https:\/\/aws.amazon.com\/lambda\/faqs\/."},{"key":"e_1_3_2_2_10_1","unstructured":"Amazon Web Services. Deploy Node.js Lambda functions with .zip file archives. https:\/\/docs.aws.amazon.com\/lambda\/latest\/dg\/nodejs-package.html."},{"key":"e_1_3_2_2_11_1","volume-title":"USENIX Workshop on Hot Topics in System Dependability (HotDep)","author":"Anderson Eric","year":"2010","unstructured":"Eric Anderson, Xiaozhou Li, Mehul A. Shah, Joseph Tucek, and Jay J. Wylie. What consistency does your key-value store actually provide? In USENIX Workshop on Hot Topics in System Dependability (HotDep), October 2010. Full version: Technical Report HPL-2010-98, Hewlett-Packard Laboratories, 2010."},{"key":"e_1_3_2_2_12_1","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"Arnautov Sergei","year":"2016","unstructured":"Sergei Arnautov, Bohdan Trach, Franz Gregor, Thomas Knauth, Andre Martin, Christian Priebe, Joshua Lind, Divya Muthukumaran, Dan O'Keeffe, Mark L. Stillwell, David Goltzsche, David Eyers, R\u00fcdiger Kapitza, Peter Pietzuch, and Christof Fetzer. SCONE: Secure Linux containers with Intel SGX. In Symposium on Operating Systems Design and Implementation (OSDI), November 2016."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.1999.809458"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3342559.3365337"},{"key":"e_1_3_2_2_15_1","volume-title":"ACM Workshop on System Software for Trusted Execution (SysTEX)","author":"Awad Ahmed","year":"2022","unstructured":"Ahmed Awad and Brad Karp. Enclave-accelerated replay: Efficient integrity for server applications. In ACM Workshop on System Software for Trusted Execution (SysTEX), 2022."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/103418.103428"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.14778\/2732232.2732237"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2983933"},{"key":"e_1_3_2_2_19_1","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"Baumann Andrew","year":"2014","unstructured":"Andrew Baumann, Marcus Peinado, and Galen Hunt. Shielding applications from an untrusted cloud with Haven. In Symposium on Operating Systems Design and Implementation (OSDI), October 2014."},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1979.234182"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134760.1220164"},{"key":"e_1_3_2_2_22_1","volume-title":"Hypervisor-based fault-tolerance. ACM Transactions on Computer Systems (TOCS), 14(1):80--107","author":"Bressoud Thomas C.","year":"1996","unstructured":"Thomas C. Bressoud and Fred B. Schneider. Hypervisor-based fault-tolerance. ACM Transactions on Computer Systems (TOCS), 14(1):80--107, 1996."},{"key":"e_1_3_2_2_23_1","first-page":"1191","volume-title":"DATE","author":"Carpent Xavier","year":"2018","unstructured":"Xavier Carpent, Gene Tsudik, and Norrathep Rattanavipanon. ERASMUS: Efficient remote attestation via self-measurement for unattended settings. In DATE, pages 1191--1194, 2018."},{"key":"e_1_3_2_2_24_1","volume-title":"Practical Byzantine fault tolerance and proactive recovery. ACM Transactions on Computer Systems (TOCS), 20(4):398--461","author":"Castro Miguel","year":"2002","unstructured":"Miguel Castro and Barbara Liskov. Practical Byzantine fault tolerance and proactive recovery. ACM Transactions on Computer Systems (TOCS), 20(4):398--461, 2002."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451512.2451546"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346284"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2442516.2442537"},{"key":"e_1_3_2_2_28_1","volume-title":"September","author":"Chen Yunji","year":"2015","unstructured":"Yunji Chen, Shijin Zhang, Qi Guo, Ling Li, Ruiyang Wu, and Tianshi Chen. Deterministic replay: A survey. ACM Comput. Surv., 48(2), September 2015."},{"key":"e_1_3_2_2_29_1","volume-title":"International Conference on Advances in Infrastructure for Electronic Business, Education, Science, Medicine, and Mobile Technologies on the Internet","author":"Cornelis Frank","year":"2003","unstructured":"Frank Cornelis, Andy Georges, Mark Christiaens, Michiel Ronsse, Tom Ghesquiere, and Koen De Bosschere. A taxonomy of execution replay systems. In International Conference on Advances in Infrastructure for Electronic Business, Education, Science, Medicine, and Mobile Technologies on the Internet, 2003."},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/3563766.3564089"},{"key":"e_1_3_2_2_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-019-00357-z"},{"key":"e_1_3_2_2_32_1","volume-title":"Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA)","author":"Dionne Carl","year":"1996","unstructured":"Carl Dionne, Marc Feeley, and Jocelyn Desbiens. A taxonomy of distributed debuggers based on execution replay. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques (PDPTA), August 1996."},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359659"},{"key":"e_1_3_2_2_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1346256.1346273"},{"key":"e_1_3_2_2_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/1060289.1060309"},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/1881412.1881445"},{"key":"e_1_3_2_2_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38348-9_37"},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.579"},{"key":"e_1_3_2_2_39_1","volume-title":"Treaty: Secure distributed transactions","author":"Giantsidi Dimitra","year":"2022","unstructured":"Dimitra Giantsidi, Maurice Bailleu, Natacha Crooks, and Pramod Bhatotia. Treaty: Secure distributed transactions. In DSN. IEEE, 2022."},{"key":"e_1_3_2_2_40_1","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"Goel Ayush","year":"2022","unstructured":"Ayush Goel, Jingyuan Zhu, Ravi Netravali, and Harsha V Madhyastha. Jawa: Web archival in the era of JavaScript. In Symposium on Operating Systems Design and Implementation (OSDI), 2022."},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993806.1993834"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2699436"},{"key":"e_1_3_2_2_43_1","doi-asserted-by":"publisher","DOI":"10.1137\/0218012"},{"issue":"10","key":"e_1_3_2_2_44_1","first-page":"1598","article-title":"A hardware-software co-design for enclaves on untrusted cloud","volume":"70","author":"Gu Jinyu","year":"2021","unstructured":"Jinyu Gu, Xinyue Wu, Bojun Zhu, Yubin Xia, Binyu Zang, Haibing Guan, and Haibo Chen. Enclavisor: A hardware-software co-design for enclaves on untrusted cloud. IEEE Transactions on Computers, 70(10):1598--1611, 2021.","journal-title":"IEEE Transactions on Computers"},{"key":"e_1_3_2_2_45_1","doi-asserted-by":"publisher","DOI":"10.5555\/1883978.1883988"},{"key":"e_1_3_2_2_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670986"},{"key":"e_1_3_2_2_47_1","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"Haeberlen Andreas","year":"2010","unstructured":"Andreas Haeberlen, Paarijaat Aditya, Rodrigo Rodrigues, and Peter Druschel. Accountable virtual machines. In Symposium on Operating Systems Design and Implementation (OSDI), October 2010."},{"key":"e_1_3_2_2_48_1","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"Hawblitzel C.","year":"2014","unstructured":"C. Hawblitzel, J. Howell, J. R. Lorch, A. Narayan, B. Parno, D. Zhang, and B. Zill. Ironclad apps: End-to-end security via automated full-system verification. In Symposium on Operating Systems Design and Implementation (OSDI), October 2014."},{"key":"e_1_3_2_2_49_1","first-page":"265","volume-title":"ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","author":"Hofmann Owen S.","year":"2013","unstructured":"Owen S. Hofmann, Sangman Kim, Alan M. Dunn, Michael Z. Lee, and Emmett Witchel. InkTag: secure applications on an untrusted operating system. ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), pages 265--278, March 2013."},{"key":"e_1_3_2_2_50_1","volume-title":"ACM Symposium on the Foundations of Software Engineering (FSE)","author":"Huang Jeff","year":"2010","unstructured":"Jeff Huang, Peng Liu, and Charles Zhang. LEAP: The lightweight deterministic multi-processor replay of concurrent Java programs. In ACM Symposium on the Foundations of Software Engineering (FSE), February 2010."},{"key":"e_1_3_2_2_51_1","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"Hunt Tyler","year":"2016","unstructured":"Tyler Hunt, Zhiting Zhu, Yuanzhong Xu, Simon Peter, and Emmett Witchel. Ryoan: A distributed sandbox for untrusted computation on secret data. In Symposium on Operating Systems Design and Implementation (OSDI), November 2016."},{"key":"e_1_3_2_2_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/CCC.2007.10"},{"key":"e_1_3_2_2_53_1","volume-title":"Insider threat study: Computer system sabotage in critical infrastructure sectors. https:\/\/apps.dtic.mil\/sti\/citations\/ADA636653","author":"Keeney Michelle","year":"2005","unstructured":"Michelle Keeney, Eileen Kowalski, Dawn M. Cappelli, Andrew P. Moore, Timothy J. Shimeall, and Stephanie R. Rogers. Insider threat study: Computer system sabotage in critical infrastructure sectors. https:\/\/apps.dtic.mil\/sti\/citations\/ADA636653, 2005. U.S Secret Service and CERT Coordination Center\/SEI."},{"key":"e_1_3_2_2_54_1","volume-title":"Symposium on Operating Systems Design and Implementation (OSDI)","author":"Kim Taesoo","year":"2012","unstructured":"Taesoo Kim, Ramesh Chandra, and Nickolai Zeldovich. Efficient patch-based auditing for web applications. In Symposium on Operating Systems Design and Implementation (OSDI), October 2012."},{"key":"e_1_3_2_2_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1811039.1811057"},{"key":"e_1_3_2_2_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1979.1675439"},{"key":"e_1_3_2_2_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676929"},{"key":"e_1_3_2_2_58_1","volume-title":"ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS)","author":"Lee Dongyoon","year":"2010","unstructured":"Dongyoon Lee, Benjamin Wester, Kaushik Veeraraghavan, Satish Narayanasamy, Peter M. Chen, and Jason Flinn. Respec: Efficient online multiprocessor replay via speculation and external determinism. In ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2010."},{"key":"e_1_3_2_2_59_1","volume-title":"MobiSys","author":"Li Wenhao","year":"2018","unstructured":"Wenhao Li, Shiyu Luo, Zhichuang Sun, Yubin Xia, Long Lu, Haibo Chen, Binyu Zang, and Haibing Guan. VButton: Practical Attestation of User-Driven Operations in Mobile Apps. In MobiSys, 2018."},{"key":"e_1_3_2_2_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2814270.2814272"},{"key":"e_1_3_2_2_61_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.17"},{"key":"e_1_3_2_2_62_1","volume-title":"European Conference on Computer Systems (EuroSys)","author":"McCune Jonathan M.","year":"2008","unstructured":"Jonathan M. McCune, Bryan J. Parno, Adrian Perrig, Michael K. Reiter, and Hiroshi Isozaki. Flicker: An execution infrastructure for TCB minimization. In European Conference on Computer Systems (EuroSys), April 2008."},{"key":"e_1_3_2_2_63_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539795284959"},{"key":"e_1_3_2_2_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2011.60"},{"key":"e_1_3_2_2_65_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140277.1140303"},{"key":"e_1_3_2_2_66_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2005.16"},{"key":"e_1_3_2_2_67_1","volume-title":"NSDI","author":"Netravali Ravi","year":"2016","unstructured":"Ravi Netravali, Ameesh Goyal, James Mickens, and Hari Balakrishnan. Polaris: Faster page loads using fine-grained dependency tracking. In NSDI, 2016."},{"key":"e_1_3_2_2_68_1","volume-title":"15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18)","author":"Netravali Ravi","year":"2018","unstructured":"Ravi Netravali and James Mickens. Prophecy: Accelerating mobile page loads using final-state write logs. In 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18), 2018."},{"key":"e_1_3_2_2_69_1","doi-asserted-by":"publisher","DOI":"10.1145\/3357223.3362733"},{"key":"e_1_3_2_2_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/174266.174268"},{"key":"e_1_3_2_2_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/322154.322158"},{"key":"e_1_3_2_2_72_1","doi-asserted-by":"publisher","DOI":"10.5555\/2060078"},{"key":"e_1_3_2_2_73_1","volume-title":"Proceedings of the IEEE\/ACM International Symposium on Code Generation and Optimization (CGO)","author":"Patil Harish","year":"2010","unstructured":"Harish Patil, Cristiano Pereira, Mack Stallcup, Gregory Lueck, and James Cownie. PinPlay: A framework for deterministic replay and reproducible analysis of parallel programs. In Proceedings of the IEEE\/ACM International Symposium on Code Generation and Optimization (CGO), April 2010."},{"key":"e_1_3_2_2_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/1653662.1653687"},{"key":"e_1_3_2_2_75_1","volume-title":"USENIX Security","author":"Sailer Reiner","year":"2004","unstructured":"Reiner Sailer, Xiaolan Zhang, Trent Jaeger, and Leendert van Doorn. Design and implementation of a TCG-based integrity measurement architecture. In USENIX Security, August 2004."},{"key":"e_1_3_2_2_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2015.10"},{"key":"e_1_3_2_2_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491447"},{"key":"e_1_3_2_2_78_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095812"},{"key":"e_1_3_2_2_79_1","volume-title":"April","author":"Shasha Dennis","year":"1988","unstructured":"Dennis Shasha and Marc Snir. Eicient and correct execution of parallel programs that share memory. ACM Transactions on Programming Languages and Systems (TOPLAS), 10(2):282--312, April 1988."},{"key":"e_1_3_2_2_80_1","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2017.23500"},{"key":"e_1_3_2_2_81_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2010.5470389"},{"key":"e_1_3_2_2_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908113"},{"key":"e_1_3_2_2_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043580"},{"key":"e_1_3_2_2_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/1456455.1456457"},{"key":"e_1_3_2_2_85_1","first-page":"161","volume-title":"RV","author":"Sumner William N","year":"2011","unstructured":"William N Sumner, Christian Hammer, and Julian Dolby. Marathon: Detecting atomic-set serializability violations with conflict graphs. In RV, pages 161--176. Springer, 2011."},{"key":"e_1_3_2_2_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132760"},{"key":"e_1_3_2_2_87_1","doi-asserted-by":"publisher","DOI":"10.1561\/9781638281252"},{"key":"e_1_3_2_2_88_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2009.02.019"},{"key":"e_1_3_2_2_89_1","volume-title":"DoublePlay: Parallelizing sequential logging and replay. ACM Transactions on Computer Systems (TOCS), 30(1):3","author":"Veeraraghavan Kaushik","year":"2012","unstructured":"Kaushik Veeraraghavan, Dongyoon Lee, Benjamin Wester, Jessica Ouyang, Peter M Chen, Jason Flinn, and Satish Narayanasamy. DoublePlay: Parallelizing sequential logging and replay. ACM Transactions on Computer Systems (TOCS), 30(1):3, 2012."},{"key":"e_1_3_2_2_90_1","volume-title":"ACM Conference on Computer and Communications Security (CCS)","author":"Vikram K.","year":"2009","unstructured":"K. Vikram, Abhishek Prateek, and Benjamin Livshits. Ripley: Automatically securing web 2.0 applications through replicated execution. In ACM Conference on Computer and Communications Security (CCS), November 2009."},{"key":"e_1_3_2_2_91_1","volume-title":"February","author":"Walfish Michael","year":"2015","unstructured":"Michael Walfish and Andrew J. Blumberg. Verifying computations without reexecuting them: from theoretical possibility to near practicality. Communications of the ACM (CACM), 58(2):74--84, February 2015."},{"key":"e_1_3_2_2_92_1","doi-asserted-by":"publisher","DOI":"10.1145\/859618.859633"},{"key":"e_1_3_2_2_93_1","volume-title":"USENIX Annual Technical Conference","author":"Yang Zhemin","year":"2011","unstructured":"Zhemin Yang, Min Yang, Lvcai Xu, Haibo Chen, and Binyu Zang. ORDER: Object centRic DEterministic Replay for Java. In USENIX Annual Technical Conference, June 2011."},{"key":"e_1_3_2_2_94_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2013.6575303"},{"key":"e_1_3_2_2_95_1","volume-title":"ACM Symposium on Operating Systems Principles (SOSP)","author":"Zhang Fengzhe","year":"2011","unstructured":"Fengzhe Zhang, Jin Chen, Haibo Chen, and Binyu Zang. Cloudvisor: retrofitting protection of virtual machines in multi-tenant cloud with nested virtualization. In ACM Symposium on Operating Systems Principles (SOSP), October 2011."},{"key":"e_1_3_2_2_96_1","volume-title":"CloudMonatt: An Architecture for Security Health Monitoring and Attestation of Virtual Machines in Cloud Computing. In ISCA","author":"Zhang Tianwei","year":"2015","unstructured":"Tianwei Zhang and Ruby B. Lee. CloudMonatt: An Architecture for Security Health Monitoring and Attestation of Virtual Machines in Cloud Computing. In ISCA, 2015."}],"event":{"name":"EuroSys '24: Nineteenth European Conference on Computer Systems","sponsor":["SIGOPS ACM Special Interest Group on Operating Systems"],"location":"Athens Greece","acronym":"EuroSys '24"},"container-title":["Proceedings of the Nineteenth European Conference on Computer Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3627703.3650089","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3627703.3650089","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T01:07:55Z","timestamp":1755824875000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3627703.3650089"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,22]]},"references-count":96,"alternative-id":["10.1145\/3627703.3650089","10.1145\/3627703"],"URL":"https:\/\/doi.org\/10.1145\/3627703.3650089","relation":{},"subject":[],"published":{"date-parts":[[2024,4,22]]},"assertion":[{"value":"2024-04-22","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}