{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T02:55:05Z","timestamp":1730343305529,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,3,14]],"date-time":"2022-03-14T00:00:00Z","timestamp":1647216000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,3,14]],"date-time":"2022-03-14T00:00:00Z","timestamp":1647216000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,3,14]]},"DOI":"10.23919\/date54114.2022.9774700","type":"proceedings-article","created":{"date-parts":[[2022,5,19]],"date-time":"2022-05-19T20:35:05Z","timestamp":1652992505000},"page":"987-992","source":"Crossref","is-referenced-by-count":0,"title":["ADD-based Spectral Analysis of Probing Security"],"prefix":"10.23919","author":[{"given":"Maria Chiara","family":"Molteni","sequence":"first","affiliation":[{"name":"Università degli Studi di Milano,Department of Computer Science,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vittorio","family":"Zaccaria","sequence":"additional","affiliation":[{"name":"Politecnico di Milano,Department of Electronics, Information and Bioengineering,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valentina","family":"Ciriani","sequence":"additional","affiliation":[{"name":"Università degli Studi di Milano,Department of Computer Science,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2019.i3.119-147"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2020.i4.24-48"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-64837-4_26"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008699807402"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/18.6037"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511780448.012"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-60590-8_21"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"journal-title":"CUDD CU decision diagram package&#x2014 Release 1 0 4","year":"2012","author":"somenzi","key":"ref18"},{"journal-title":"Yosys Open SYnthesis Suite","year":"0","author":"wolf","key":"ref19"},{"key":"ref4","first-page":"506","article-title":"Compositional Verification of Higher-Order Masking: Application to a Verifying Masking Compiler","volume":"2015","author":"barthe","year":"2015","journal-title":"IACR Cryptology ePrint Archive"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978427"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-56620-7_19"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03329-3_12"},{"key":"ref8","article-title":"maskVerif: Automated analysis of software and hardware higher-order masked implementations","author":"barthe","year":"2018","journal-title":"IACR Cryptology ePrint Archive"},{"key":"ref7","article-title":"Composable Masking Schemes in the Presence of Physical Defaults and the Robust Probing Model","author":"faust","year":"2017","journal-title":"IACR Cryptology ePrint Archive"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-55220-5_25"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-78375-8_11"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45146-4_27"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2996366.2996426"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-010-9085-7"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1994.408808"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2017.21"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/11506447_10"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.46586\/tches.v2021.i3.599-640"}],"event":{"name":"2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2022,3,14]]},"location":"Antwerp, Belgium","end":{"date-parts":[[2022,3,23]]}},"container-title":["2022 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9774496\/9774497\/09774700.pdf?arnumber=9774700","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,11]],"date-time":"2022-07-11T20:05:50Z","timestamp":1657569950000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9774700\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,14]]},"references-count":25,"URL":"https:\/\/doi.org\/10.23919\/date54114.2022.9774700","relation":{},"subject":[],"published":{"date-parts":[[2022,3,14]]}}}