{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,7]],"date-time":"2026-07-07T15:48:06Z","timestamp":1783439286827,"version":"3.54.6"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,11,13]],"date-time":"2021-11-13T00:00:00Z","timestamp":1636761600000},"content-version":"vor","delay-in-days":1,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Semiconductor Research Corporation (SRC)","award":["Contract 2019-TS-2907"],"award-info":[{"award-number":["Contract 2019-TS-2907"]}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["SATC-1956393 and CICI-1840197"],"award-info":[{"award-number":["SATC-1956393 and CICI-1840197"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Subcontract from Peraton (formerly Perspecta) Labs"},{"name":"Coordinating Center for Thai Government Science and Technology Scholarship Students (CSTS) National Science and Technology Development Agency (NSTDA)"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,11,12]]},"DOI":"10.1145\/3460120.3484532","type":"proceedings-article","created":{"date-parts":[[2021,11,13]],"date-time":"2021-11-13T12:05:34Z","timestamp":1636805134000},"page":"2921-2936","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":47,"title":["On the TOCTOU Problem in Remote Attestation"],"prefix":"10.1145","author":[{"given":"Ivan","family":"De Oliveira Nunes","sequence":"first","affiliation":[{"name":"Rochester Institute of Technology, Rochester, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sashidhar","family":"Jakkamsetti","sequence":"additional","affiliation":[{"name":"University of California, Irvine, Irvine, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Norrathep","family":"Rattanavipanon","sequence":"additional","affiliation":[{"name":"Prince of Songkla University, Phuket, Thailand"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gene","family":"Tsudik","sequence":"additional","affiliation":[{"name":"University of California, Irvine, Irvine, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2021,11,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Pure: Using verified remote attestation to obtain proofs of update, reset and erasure in low-end embedded systems,\" in ICCAD","author":"De Oliveira Nunes I.","year":"2019","unstructured":"I. De Oliveira Nunes, K. Eldefrawy, N. Rattanavipanon, and G. Tsudik, \"Pure: Using verified remote attestation to obtain proofs of update, reset and erasure in low-end embedded systems,\" in ICCAD, 2019."},{"key":"e_1_3_2_1_2_1","first-page":"717","volume-title":"Verify&revive: Secure detection and recovery of compromised low-end embedded devices,\" in Annual Computer Security Applications Conference","author":"Ammar M.","year":"2020","unstructured":"M. Ammar and B. Crispo, \"Verify&revive: Secure detection and recovery of compromised low-end embedded devices,\" in Annual Computer Security Applications Conference, pp. 717--732, 2020."},{"key":"e_1_3_2_1_3_1","volume-title":"ACM","author":"Abera T.","year":"2016","unstructured":"T. Abera, N. Asokan, L. Davi, J. Ekberg, T. Nyman, A. Paverd, A. Sadeghi, and G. Tsudik, \"C-FLAT: control-flow attestation for embedded systems software,\" in ACM CCS, pp. 743--754, ACM, 2016."},{"key":"e_1_3_2_1_4_1","first-page":"641","volume-title":"Automation Test in Europe Conference Exhibition (DATE)","author":"De Oliveira Nunes I.","year":"2021","unstructured":"I. De Oliveira Nunes, S. Jakkamsetti, and G. Tsudik, \"Tiny-cfa: Minimalistic control-flow attestation using verified proofs of execution,\" in 2021 Design, Automation Test in Europe Conference Exhibition (DATE), pp. 641--646, IEEE, 2021."},{"key":"e_1_3_2_1_5_1","first-page":"1","volume-title":"lightweight hardware-assisted attestation of program execution,\" in 2018 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD)","author":"Dessouky G.","year":"2018","unstructured":"G. Dessouky, T. Abera, A. Ibrahim, and A.-R. Sadeghi, \"Litehax: lightweight hardware-assisted attestation of program execution,\" in 2018 IEEE\/ACM International Conference on Computer-Aided Design (ICCAD), pp. 1--8, IEEE, 2018."},{"key":"e_1_3_2_1_6_1","volume-title":"MA)","author":"De Oliveira Nunes I.","year":"2020","unstructured":"I. De Oliveira Nunes, K. Eldefrawy, N. Rattanavipanon, and G. Tsudik, \"APEX: A verified architecture for proofs of execution on remote devices under full software compromise,\" in 29th USENIX Security Symposium (USENIX Security 20), (Boston, MA), USENIX Association, Aug. 2020."},{"key":"e_1_3_2_1_7_1","volume-title":"SMART: Secure and minimal architecture for (establishing dynamic) root of trust,\" in NDSS","author":"Eldefrawy K.","year":"2012","unstructured":"K. Eldefrawy, G. Tsudik, A. Francillon, and D. Perito, \"SMART: Secure and minimal architecture for (establishing dynamic) root of trust,\" in NDSS, 2012."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2592798.2592824"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3098243.3098261"},{"key":"e_1_3_2_1_10_1","volume-title":"VRASED: A verified hardware\/software co-design for remote attestation,\" in USENIX Security","author":"De Oliveira Nunes I.","year":"2019","unstructured":"I. De Oliveira Nunes, K. Eldefrawy, N. Rattanavipanon, M. Steiner, and G. Tsudik, \"VRASED: A verified hardware\/software co-design for remote attestation,\" in USENIX Security, 2019."},{"key":"e_1_3_2_1_11_1","unstructured":"Trusted Computing Group. \"Trusted platform module (tpm) \" 2017."},{"key":"e_1_3_2_1_12_1","volume-title":"ERASMUS: Efficient remote attestation via self-measurement for unattended settings,\" in DATE","author":"Carpent X.","year":"2018","unstructured":"X. Carpent, N. Rattanavipanon, and G. Tsudik, \"ERASMUS: Efficient remote attestation via self-measurement for unattended settings,\" in DATE, 2018."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3052973.3053010"},{"key":"e_1_3_2_1_14_1","volume-title":"A minimalist approach to remote attestation,\" in DATE","author":"Francillon A.","year":"2014","unstructured":"A. Francillon, Q. Nguyen, K. B. Rasmussen, and G. Tsudik, \"A minimalist approach to remote attestation,\" in DATE, 2014."},{"key":"e_1_3_2_1_15_1","volume-title":"Toctou, traps, and trusted computing,\" in International Conference on Trusted Computing","author":"Bratus S.","year":"2008","unstructured":"S. Bratus, N. D'Cunha, E. Sparks, and S. W. Smith, \"Toctou, traps, and trusted computing,\" in International Conference on Trusted Computing, Springer, 2008."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2988546"},{"key":"e_1_3_2_1_17_1","first-page":"1","volume-title":"Security and Trust (PST)","author":"Geden M.","year":"2019","unstructured":"M. Geden and K. Rasmussen, \"Hardware-assisted remote runtime attestation for critical embedded systems,\" in 2019 17th International Conference on Privacy, Security and Trust (PST), pp. 1--10, IEEE, 2019."},{"key":"e_1_3_2_1_18_1","volume-title":"RATA source code.\" https:\/\/github.com\/sprout-uci\/RATA","author":"De Oliveira Nunes I.","year":"2021","unstructured":"I. De Oliveira Nunes, S. Jakkamsetti, N. Rattanavipanon, and G. Tsudik, \"RATA source code.\" https:\/\/github.com\/sprout-uci\/RATA, 2021."},{"key":"e_1_3_2_1_19_1","unstructured":"O. Girard \"openMSP430. \" https:\/\/opencores.org\/projects\/openmsp430 2009."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3079763"},{"key":"e_1_3_2_1_21_1","first-page":"479","volume-title":"Sancus: Low-cost trustworthy extensible networked devices with a zero-software trusted computing base,\" in USENIX Security Symposium","author":"Noorman J.","year":"2013","unstructured":"J. Noorman, P. Agten, W. Daniels, R. Strackx, A. V. Herrewege, C. Huygens, B. Preneel, I. Verbauwhede, and F. Piessens, \"Sancus: Low-cost trustworthy extensible networked devices with a zero-software trusted computing base,\" in USENIX Security Symposium, pp. 479--494, USENIX Association, 2013."},{"key":"e_1_3_2_1_22_1","volume-title":"Temporal consistency of integrity-ensuring computations and applications to embedded systems security,\" in ASIACCS","author":"Carpent X.","year":"2018","unstructured":"X. Carpent, K. Eldefrawy, N. Rattanavipanon, and G. Tsudik, \"Temporal consistency of integrity-ensuring computations and applications to embedded systems security,\" in ASIACCS, 2018."},{"key":"e_1_3_2_1_23_1","volume-title":"Hacl*: A verified modern cryptographic library,\" in CCS","author":"Zinzindohou\u00e9 J.-K.","year":"2017","unstructured":"J.-K. Zinzindohou\u00e9, K. Bhargavan, J. Protzenko, and B. Beurdouche, \"Hacl*: A verified modern cryptographic library,\" in CCS, 2017."},{"key":"e_1_3_2_1_24_1","volume-title":"Nusmv 2: An opensource tool for symbolic model checking,\" in CAV","author":"Cimatti A.","year":"2002","unstructured":"A. Cimatti, E. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella, \"Nusmv 2: An opensource tool for symbolic model checking,\" in CAV, 2002."},{"key":"e_1_3_2_1_25_1","volume-title":"Tamper resistance mechanisms for secure embedded systems,\" in VLSI Design","author":"Ravi S.","year":"2004","unstructured":"S. Ravi, A. Raghunathan, and S. Chakradhar, \"Tamper resistance mechanisms for secure embedded systems,\" in VLSI Design, 2004."},{"key":"e_1_3_2_1_26_1","volume-title":"SeED: secure non-interactive attestation for embedded devices,\" in ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec)","author":"Ibrahim A.","year":"2017","unstructured":"A. Ibrahim, A.-R. Sadeghi, and S. Zeitouni, \"SeED: secure non-interactive attestation for embedded devices,\" in ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec), 2017."},{"key":"e_1_3_2_1_27_1","volume-title":"Applications and challenges in securing time,\" in 12th USENIX Workshop on Cyber Security Experimentation and Test (CSET 19)","author":"Anwar F. M.","year":"2019","unstructured":"F. M. Anwar and M. Srivastava, \"Applications and challenges in securing time,\" in 12th USENIX Workshop on Cyber Security Experimentation and Test (CSET 19), 2019."},{"key":"e_1_3_2_1_28_1","first-page":"1","volume-title":"It's about time: Securing broadcast time synchronization with data origin authentication,\" in 2017 26th International Conference on Computer Communication and Networks (ICCCN)","author":"Annessi R.","year":"2017","unstructured":"R. Annessi, J. Fabini, and T. Zseby, \"It's about time: Securing broadcast time synchronization with data origin authentication,\" in 2017 26th International Conference on Computer Communication and Networks (ICCCN), pp. 1--11, IEEE, 2017."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSTSP.2018.2835772"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/MWC.2008.4599222"},{"key":"e_1_3_2_1_31_1","first-page":"97","volume-title":"C.-C. Han, and M. B. Srivastava, \"Secure time synchronization service for sensor networks,\" in Proceedings of the 4th ACM workshop on Wireless security","author":"Ganeriwal S.","year":"2005","unstructured":"S. Ganeriwal, S. vC apkun, C.-C. Han, and M. B. Srivastava, \"Secure time synchronization service for sensor networks,\" in Proceedings of the 4th ACM workshop on Wireless security, pp. 97--106, 2005."},{"key":"e_1_3_2_1_32_1","first-page":"109","volume-title":"Introduction to modern cryptography, ch. 4.3","author":"Lindell Y.","year":"2014","unstructured":"Y. Lindell and J. Katz, Introduction to modern cryptography, ch. 4.3, pp. 109--113. Chapman and Hall\/CRC, 2014."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.3850\/9783981537079_0765"},{"key":"e_1_3_2_1_34_1","unstructured":"T. Instruments \"Msp430 ultra-low-power sensing & measurement mcus.\" http:\/\/www.ti.com\/microcontrollers\/msp430-ultra-low-power-mcus\/overview.html."},{"key":"e_1_3_2_1_35_1","first-page":"384","volume-title":"Runtime attestation resilient under memory attacks,\" in Proceedings of the 36th International Conference on Computer-Aided Design","author":"Zeitouni S.","year":"2017","unstructured":"S. Zeitouni, G. Dessouky, O. Arias, D. Sullivan, A. Ibrahim, Y. Jin, and A.-R. Sadeghi, \"Atrium: Runtime attestation resilient under memory attacks,\" in Proceedings of the 36th International Conference on Computer-Aided Design, pp. 384--391, IEEE Press, 2017."},{"key":"e_1_3_2_1_36_1","volume-title":"ACM","author":"Dessouky G.","year":"2017","unstructured":"G. Dessouky, S. Zeitouni, T. Nyman, A. Paverd, L. Davi, P. Koeberl, N. Asokan, and A.-R. Sadeghi, \"Lo-fat: Low-overhead control flow attestation in hardware,\" in Proceedings of the 54th Annual Design Automation Conference 2017, p. 24, ACM, 2017."},{"key":"e_1_3_2_1_37_1","volume-title":"Remote attestation of iot devices via SMARM: Shuffled measurements against roving malware,\" in HOST","author":"Carpent X.","year":"2018","unstructured":"X. Carpent, N. Rattanavipanon, and G. Tsudik, \"Remote attestation of iot devices via SMARM: Shuffled measurements against roving malware,\" in HOST, 2018."},{"key":"e_1_3_2_1_38_1","volume-title":"Reconciling remote attestation and safety-critical operation on simple iot devices,\" in DAC","author":"Carpent X.","year":"2018","unstructured":"X. Carpent, K. Eldefrawy, N. Rattanavipanon, A.-R. Sadeghi, and G. Tsudik, \"Reconciling remote attestation and safety-critical operation on simple iot devices,\" in DAC, 2018."},{"key":"e_1_3_2_1_39_1","volume-title":"ACM","author":"Asokan N.","year":"2015","unstructured":"N. Asokan, F. Brasser, A. Ibrahim, A. Sadeghi, M. Schunter, G. Tsudik, and C. Wachsmann, \"SEDA: scalable embedded device attestation,\" in ACM CCS, pp. 964--975, ACM, 2015."},{"key":"e_1_3_2_1_40_1","volume-title":"ACM","author":"Ambrosin M.","year":"2016","unstructured":"M. Ambrosin, M. Conti, A. Ibrahim, G. Neven, A. Sadeghi, and M. Schunter, \"SANA: secure and scalable aggregate network attestation,\" in ACM CCS, pp. 731--742, ACM, 2016."},{"key":"e_1_3_2_1_41_1","volume-title":"ACM","author":"Ibrahim A.","year":"2016","unstructured":"A. Ibrahim, A. Sadeghi, G. Tsudik, and S. Zeitouni, \"DARPA: device attestation resilient to physical attacks,\" in WISEC, pp. 171--182, ACM, 2016."},{"key":"e_1_3_2_1_42_1","volume-title":"ACM","author":"F.","year":"2017","unstructured":"F. Kohnh\"auser, N. B\u00fcscher, S. Gabmeyer, and S. Katzenbeisser, \"Scapi: a scalable attestation protocol to detect software and physical attacks,\" in Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks, pp. 75--86, ACM, 2017."},{"key":"e_1_3_2_1_43_1","volume-title":"ACM","author":"F.","year":"2018","unstructured":"F. Kohnh\"auser, N. B\u00fcscher, and S. Katzenbeisser, \"Salad: Secure and lightweight attestation of highly dynamic and disruptive networks,\" in Proceedings of the 2018 on Asia Conference on Computer and Communications Security, pp. 329--342, ACM, 2018."},{"key":"e_1_3_2_1_44_1","volume-title":"Towards systematic design of collective remote attestation protocols,\" in ICDCS","author":"Nunes I. D. O.","year":"2019","unstructured":"I. D. O. Nunes, G. Dessouky, A. Ibrahim, N. Rattanavipanon, A.-R. Sadeghi, and G. Tsudik, \"Towards systematic design of collective remote attestation protocols,\" in ICDCS, 2019."},{"key":"e_1_3_2_1_45_1","first-page":"1433","volume-title":"Oat: Attesting operation integrity of embedded devices,\" in 2020 IEEE Symposium on Security and Privacy (SP)","author":"Sun Z.","year":"2020","unstructured":"Z. Sun, B. Feng, L. Lu, and S. Jha, \"Oat: Attesting operation integrity of embedded devices,\" in 2020 IEEE Symposium on Security and Privacy (SP), pp. 1433--1449, IEEE, 2020."},{"key":"e_1_3_2_1_46_1","volume-title":"Copilot -- A coprocessor-based kernel runtime integrity monitor,\" in USENIX Security Symposium","author":"Petroni N. L.","year":"2004","unstructured":"N. L. Petroni Jr, T. Fraser, J. Molina, and W. A. Arbaugh, \"Copilot -- A coprocessor-based kernel runtime integrity monitor,\" in USENIX Security Symposium, 2004."},{"key":"e_1_3_2_1_47_1","first-page":"239","volume-title":"SP 2012","author":"Kovah X.","year":"2012","unstructured":"X. Kovah, C. Kallenberg, C. Weathers, A. Herzog, M. Albin, and J. Butterworth, \"New results for timing-based attestation,\" in IEEE Symposium on Security and Privacy, SP 2012, pp. 239--253, IEEE Computer Society, 2012."},{"key":"e_1_3_2_1_48_1","unstructured":"Intel \"Intel Software Guard Extensions (Intel SGX). \" https:\/\/software.intel.com\/en-us\/sgx."},{"key":"e_1_3_2_1_49_1","volume-title":"Establishing the genuinity of remote computer systems,\" in USENIX Security Symposium","author":"Kennell R.","year":"2003","unstructured":"R. Kennell and L. H. Jamieson, \"Establishing the genuinity of remote computer systems,\" in USENIX Security Symposium, 2003."},{"key":"e_1_3_2_1_50_1","first-page":"272","volume-title":"California, USA)","author":"Seshadri A.","year":"2004","unstructured":"A. Seshadri, A. Perrig, L. Van Doorn, and P. Khosla, \"SWATT: Software-based attestation for embedded devices,\" in IEEE Symposium on Research in Security and Privacy (S&P), (Oakland, California, USA), pp. 272--282, IEEE, 2004."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095809.1095812"},{"key":"e_1_3_2_1_52_1","volume-title":"ACM","author":"Brasser F.","year":"2015","unstructured":"F. Brasser, B. E. Mahjoub, A. Sadeghi, C. Wachsmann, and P. Koeberl, \"Tytan: tiny trust anchor for tiny devices,\" in DAC, pp. 34:1--34:6, ACM, 2015."},{"key":"e_1_3_2_1_53_1","volume-title":"Return-into-libc without function calls (on the x86),\" in CCS '07","author":"Shacham H.","year":"2007","unstructured":"H. Shacham, \"The geometry of innocent flesh on the bone: Return-into-libc without function calls (on the x86),\" in CCS '07, 2007."},{"key":"e_1_3_2_1_54_1","volume-title":"Ironclad apps: End-to-end security via automated full-system verification.,\" in 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 OSDI, 2014."},{"key":"e_1_3_2_1_55_1","volume-title":"Verified correctness and security of OpenSSL HMAC,\" in USENIX","author":"Beringer L.","year":"2015","unstructured":"L. Beringer, A. Petcher, Q. Y. Katherine, and A. W. Appel, \"Verified correctness and security of OpenSSL HMAC,\" in USENIX, 2015."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"crossref","unstructured":"K. Bhargavan C. Fournet M. Kohlweiss A. Pironti and P.-Y. Strub \"Implementing TLS with verified cryptographic security \" in IEEE S&P 2013.","DOI":"10.1109\/SP.2013.37"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"crossref","unstructured":"X. Leroy \"Formal verification of a realistic compiler \" Communications of the ACM vol. 52 no. 7 2009.","DOI":"10.1145\/1538788.1538814"},{"key":"e_1_3_2_1_58_1","volume-title":"ACM","author":"Klein G.","year":"2009","unstructured":"G. Klein, K. Elphinstone, G. Heiser, J. Andronick, D. Cock, P. Derrin, D. Elkaduwe, K. Engelhardt, R. Kolanski, M. Norrish, et al., \"sel4: Formal verification of an os kernel,\" in SIGOPS, ACM, 2009."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897937.2898083"},{"key":"e_1_3_2_1_60_1","volume-title":"Internet Engineering Task Force","author":"Krawczyk H.","year":"2010","unstructured":"H. Krawczyk and P. Eronen, \"HMAC-based extract-and-expand key derivation function (HKDF),\" Internet Request for Comment RFC 5869, Internet Engineering Task Force, May 2010."}],"event":{"name":"CCS '21: 2021 ACM SIGSAC Conference on Computer and Communications Security","location":"Virtual Event Republic of Korea","acronym":"CCS '21","sponsor":["SIGSAC ACM Special Interest Group on Security, Audit, and Control"]},"container-title":["Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460120.3484532","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3460120.3484532","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3460120.3484532","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T20:50:44Z","timestamp":1763499044000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3460120.3484532"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,12]]},"references-count":60,"alternative-id":["10.1145\/3460120.3484532","10.1145\/3460120"],"URL":"https:\/\/doi.org\/10.1145\/3460120.3484532","relation":{},"subject":[],"published":{"date-parts":[[2021,11,12]]},"assertion":[{"value":"2021-11-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}