{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T01:20:20Z","timestamp":1740100820055,"version":"3.37.3"},"reference-count":36,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,5,1]],"date-time":"2022-05-01T00:00:00Z","timestamp":1651363200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100009224","name":"Advanced Research Projects Agency","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100009224","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5]]},"DOI":"10.1109\/spw54247.2022.9833859","type":"proceedings-article","created":{"date-parts":[[2022,7,25]],"date-time":"2022-07-25T20:14:47Z","timestamp":1658780087000},"page":"176-197","source":"Crossref","is-referenced-by-count":1,"title":["Capturing the iccMAX calculatorElement: A Case Study on Format Design"],"prefix":"10.1109","author":[{"given":"Vijay H.","family":"Kothari","sequence":"first","affiliation":[{"name":"Dartmouth College,Hanover,NH,03755"}]},{"given":"Prashant","family":"Anantharaman","sequence":"additional","affiliation":[{"name":"Dartmouth College,Hanover,NH,03755"}]},{"given":"Sean W.","family":"Smith","sequence":"additional","affiliation":[{"name":"Dartmouth College,Hanover,NH,03755"}]},{"given":"Briland","family":"Hitaj","sequence":"additional","affiliation":[{"name":"SRI International,Menlo Park,CA,94025"}]},{"given":"Prashanth","family":"Mundkur","sequence":"additional","affiliation":[{"name":"SRI International,Menlo Park,CA,94025"}]},{"given":"Natarajan","family":"Shankar","sequence":"additional","affiliation":[{"name":"SRI International,Menlo Park,CA,94025"}]},{"given":"Letitia W.","family":"Li","sequence":"additional","affiliation":[{"name":"BAE Systems FAST Labs,Arlington,VA,22203"}]},{"given":"Iavor","family":"Diatchki","sequence":"additional","affiliation":[{"name":"Galois Inc.,Portland,OR,97204"}]},{"given":"William","family":"Harris","sequence":"additional","affiliation":[{"name":"Galois Inc.,Portland,OR,97204"}]}],"member":"263","reference":[{"year":"2021","key":"ref33","article-title":"Icc profile—Wikipedia, the free encyclopedia"},{"key":"ref32","article-title":"Capability Hardware Enhanced RISC Instructions: CHERI Instruction-Set Architecture (Version 8)","author":"watson","year":"2020","journal-title":"Technical Report UCAM-CL-TR-951"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/2093548.2093572"},{"key":"ref30","doi-asserted-by":"crossref","first-page":"266","DOI":"10.2352\/CIC.1997.5.1.art00053","article-title":"The History of the ICC","author":"stokes","year":"1997","journal-title":"Proceedings of the 5th Color Imaging Conference"},{"journal-title":"iccMAX final report","year":"2022","author":"wyatt","key":"ref36"},{"article-title":"Arlington PDF DOM","year":"2021","author":"wyatt","key":"ref35"},{"year":"2021","key":"ref34","article-title":"Reverse polish notation—Wikipedia, the free encyclopedia"},{"year":"2019","key":"ref10","article-title":"Specification ICC.2:2019 (Profile version 5.0.0.0) Image technology colour management—Architecture, profile format, and data structure - Cumulative Errata List"},{"journal-title":"ICCT White Paper","article-title":"White Paper #52: iccMAX calculatorElement Security Implementation Notes: A guide for implementing secure calculator element processing","year":"2020","key":"ref11"},{"journal-title":"DemoIccMAX","year":"2021","key":"ref12"},{"journal-title":"GaloisInc\/daedalus","year":"2022","key":"ref13"},{"year":"2010","key":"ref14","article-title":"OpenTTD Infinite Loop and CPU consumption vulnerability triggered by a crafted packet"},{"year":"2011","key":"ref15","article-title":"Avahi Daemon Denial-of-service Vulnerability triggered by empty UDP packet"},{"year":"2011","key":"ref16","article-title":"CGit Denial of Service Attack triggered by a crafted packet"},{"article-title":"Processing a maliciously crafted image may lead to arbitrary code execution","year":"2021","author":"jurczyk","key":"ref17"},{"key":"ref18","first-page":"11","article-title":"IEEE standard 754 for binary floating-point arithmetic","volume":"754","author":"kahan","year":"1996","journal-title":"Lecture Notes on the Status of IEEE"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CMPASS.1996.507872"},{"article-title":"Wireshark Denial of Service vulnerability triggered by crafted ASN.1 data","year":"2011","author":"sidhpurwala","key":"ref28"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.5815\/ijcnis.2013.08.01"},{"journal-title":"Two approaches to interprocedural data flow analysis","year":"1978","author":"sharir","key":"ref27"},{"key":"ref3","article-title":"The Security Architecture of the Chromium Browser","author":"barth","year":"2008","journal-title":"Technical Report"},{"article-title":"Processing a maliciously crafted image may lead to arbitrary code execution","year":"2021","author":"brown","key":"ref6"},{"key":"ref29","article-title":"SoK: XML parser vulnerabilities","author":"sp\u00e4th","year":"2016","journal-title":"10th USENIX Workshop on Offensive Technologies (WOOT 16)"},{"year":"0","key":"ref5","article-title":"Safe Documents (SafeDocs)—DARPA"},{"year":"2019","key":"ref8","article-title":"Specification ICC.1:2010 (Profile version 4.3.0.0) Image technology colour management—Architecture, profile format, and data structure"},{"journal-title":"About ICC","year":"0","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2009.3"},{"year":"2019","key":"ref9","article-title":"Specification ICC.2:2019 (Profile version 5.0.0 - iccMAX) Image technology colour management—Extensions to architecture, profile format and data structure"},{"year":"0","key":"ref1","article-title":"The Coq proof assistant"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SPW53761.2021.00028"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2508859.2516685"},{"journal-title":"Arm Architecture Reference Manual Supplement Morello for A-profile Architecture","year":"2020","key":"ref21"},{"article-title":"A memory corruption issue existed in the processing of ICC profiles","year":"2021","author":"niculae","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SPW50608.2020.00064"},{"article-title":"WebAssembly Core Specification","year":"2019","author":"rossberg","key":"ref26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/32.345827"}],"event":{"name":"2022 IEEE Security and Privacy Workshops (SPW)","start":{"date-parts":[[2022,5,22]]},"location":"San Francisco, CA, USA","end":{"date-parts":[[2022,5,26]]}},"container-title":["2022 IEEE Security and Privacy Workshops (SPW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9833855\/9833856\/09833859.pdf?arnumber=9833859","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,24]],"date-time":"2023-11-24T23:26:19Z","timestamp":1700868379000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9833859\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/spw54247.2022.9833859","relation":{},"subject":[],"published":{"date-parts":[[2022,5]]}}}