{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,25]],"date-time":"2026-01-25T16:04:59Z","timestamp":1769357099482,"version":"3.49.0"},"reference-count":11,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2022,8,1]],"date-time":"2022-08-01T00:00:00Z","timestamp":1659312000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"funder":[{"DOI":"10.13039\/100000001","name":"NSF","doi-asserted-by":"publisher","award":["1617197"],"award-info":[{"award-number":["1617197"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,8]]},"DOI":"10.1109\/csf54842.2022.9919676","type":"proceedings-article","created":{"date-parts":[[2022,11,4]],"date-time":"2022-11-04T01:29:20Z","timestamp":1667525360000},"page":"439-454","source":"Crossref","is-referenced-by-count":2,"title":["A Complete Characterization of Security for Linicrypt Block Cipher Modes"],"prefix":"10.1109","author":[{"given":"Tommy","family":"Hollenberg","sequence":"first","affiliation":[{"name":"Oregon State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mike","family":"Rosulek","sequence":"additional","affiliation":[{"name":"Oregon State University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lawrence","family":"Roy","sequence":"additional","affiliation":[{"name":"Oregon State University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-36030-6_18"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2014.18"},{"key":"ref9","article-title":"Symbolic security criteria for blockwise adaptive secure modes of encryption","author":"meadows","year":"2017","journal-title":"Cryptology ePrint Archive"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-015-9341-5"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27901-0_3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-86205-3_14"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/800133.804350"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2810103.2813636"},{"key":"ref10","article-title":"Symbolic and computational reasoning about cryptographic modes of operation","author":"meadows","year":"2020","journal-title":"Cryptology ePrint Archive"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10622-4_4"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53015-3_15"}],"event":{"name":"2022 IEEE 35th Computer Security Foundations Symposium (CSF)","location":"Haifa, Israel","start":{"date-parts":[[2022,8,7]]},"end":{"date-parts":[[2022,8,10]]}},"container-title":["2022 IEEE 35th Computer Security Foundations Symposium (CSF)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9919409\/9919636\/09919676.pdf?arnumber=9919676","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T23:13:41Z","timestamp":1699485221000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9919676\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/csf54842.2022.9919676","relation":{},"subject":[],"published":{"date-parts":[[2022,8]]}}}