{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T01:55:19Z","timestamp":1778291719667,"version":"3.51.4"},"reference-count":35,"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-009"},{"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-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,5]]},"DOI":"10.1109\/sp46214.2022.9833600","type":"proceedings-article","created":{"date-parts":[[2022,7,27]],"date-time":"2022-07-27T15:28:05Z","timestamp":1658935685000},"page":"142-160","source":"Crossref","is-referenced-by-count":15,"title":["IronMask: Versatile Verification of Masking Security"],"prefix":"10.1109","author":[{"given":"Sonia","family":"Bela\u00efd","sequence":"first","affiliation":[{"name":"CryptoExperts,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Darius","family":"Mercadier","sequence":"additional","affiliation":[{"name":"CryptoExperts,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthieu","family":"Rivain","sequence":"additional","affiliation":[{"name":"CryptoExperts,France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdul Rahman","family":"Taleb","sequence":"additional","affiliation":[{"name":"CryptoExperts,France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96142-2_12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-56784-2_12"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38348-9_9"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63697-9_14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03329-3_12"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45727-3_11"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"463","DOI":"10.1007\/978-3-540-45146-4_27","article-title":"Private circuits: Securing hardware against probing attacks","volume":"2729 of lncs","author":"ishai","year":"2003","journal-title":"CRYPTO 2003"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-56620-7_20"},{"key":"ref33","first-page":"58","article-title":"Compiler assisted masking","volume":"7428 of lncs","author":"moss","year":"2012","journal-title":"CHES 2012"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49896-5_22"},{"key":"ref10","first-page":"293","article-title":"Sleuth: Automated verification of software power analysis countermeasures","volume":"8086 of lncs","author":"bayrak","year":"2013","journal-title":"CHES 2013"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-64837-4_26"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96878-0_15"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1993636.1993731"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-78375-8_11"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-77886-6_11"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-84252-9_7"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-77886-6_10"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/2996366.2996428"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-43933-3_21"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2685616"},{"key":"ref25","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1007\/978-3-642-55220-5_24","article-title":"Unifying leakage models: From probing attacks to noisy leakage","volume":"8441 of lncs","author":"duc","year":"2014","journal-title":"EUROCRYPT 2014"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2020.2971153"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-93387-0_4"},{"key":"ref21","first-page":"398","article-title":"Towards sound approaches to counteract power-analysis attacks","volume":"1666 of lncs","author":"chari","year":"1999","journal-title":"CRYPTO’99"},{"key":"ref28","article-title":"Coco: Co-design and co-verification of masked software implementations on cpus","volume":"2020","author":"gigerl","year":"2020","journal-title":"IACR Cryptol ePrint Arch"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2018.i3.89-120"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48059-5_15"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2021.i2.189-228"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-56620-7_19"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-53140-2_2"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/s13389-018-00202-2"},{"key":"ref3","first-page":"300","article-title":"maskVerif: Automated verification of higher-order masking in presence of physical defaults","volume":"11735 of lncs","author":"barthe","year":"2019","journal-title":"ESORICS 2019 Part I"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978427"},{"key":"ref5","first-page":"457","article-title":"Verified proofs of higher-order masking","volume":"9056 of lncs","author":"barthe","year":"2015","journal-title":"EUROCRYPT 2015 Part II"}],"event":{"name":"2022 IEEE Symposium on Security and Privacy (SP)","location":"San Francisco, CA, USA","start":{"date-parts":[[2022,5,22]]},"end":{"date-parts":[[2022,5,26]]}},"container-title":["2022 IEEE Symposium on Security and Privacy (SP)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9833550\/9833558\/09833600.pdf?arnumber=9833600","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T18:27:31Z","timestamp":1699468051000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9833600\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/sp46214.2022.9833600","relation":{},"subject":[],"published":{"date-parts":[[2022,5]]}}}