{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:52:29Z","timestamp":1725540749191},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/ivsw.2017.8031536","type":"proceedings-article","created":{"date-parts":[[2017,9,14]],"date-time":"2017-09-14T20:47:18Z","timestamp":1505422038000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Practical evaluation of masking software countermeasures on an IoT processor"],"prefix":"10.1109","author":[{"given":"David","family":"McCann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elisabeth","family":"Oswald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"142","article-title":"Masking against side-channel attacks: A formal security proof","author":"prouff","year":"2013","journal-title":"Advances in Cryptology - EUROCRYPT 2013 32nd Annual International Conference on the Theory and Applications of Cryptographic Techniques Athens Greece May 26–30 2013 Proceedings volume 7881 of Lecture Notes in Computer Science"},{"key":"ref11","first-page":"204","article-title":"Detecting flawed masking schemes with leakage detection tests","author":"reparaz","year":"2016","journal-title":"Fast Software Encryption - 23rd International Conference FSE 2016 Bochum Germany March 20–23 2016 Revised Selected Papers volume 9783 of Lecture Notes in Computer Science"},{"key":"ref12","first-page":"413","article-title":"Provably secure higher-order masking of AES","author":"rivain","year":"2010","journal-title":"Cryptographic Hardware and Embedded Systems CHES 2010 12th International Workshop Santa Barbara CA USA August 17–20 2010 Proceedings volume 6225 of Lecture Notes in Computer Science"},{"key":"ref13","first-page":"495","article-title":"Leakage assessment methodology - A clear roadmap for side-channel evaluations","author":"schneider","year":"2015","journal-title":"Cryptographic Hardware and Embedded Systems - CHES 2015 – 17th International Workshop Saint-Malo France September 13–16 2015 Proceedings volume 9293 of Lecture Notes in Computer Science"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593193"},{"key":"ref3","first-page":"293","article-title":"Sleuth: Automated verification of software power analysis countermeasures","author":"bayrak","year":"2013","journal-title":"Cryptographic Hardware and Embedded Systems - CHES 2013 – 15th International Workshop Santa Barbara CA USA August 20–23 2013 Proceedings volume 8086 of Lecture Notes in Computer Science"},{"key":"ref6","first-page":"388","article-title":"Differential Power Analysis","author":"kocher","year":"1999","journal-title":"Advances in Cryptology — CRYPTO ' ‘99 volume 1666 of LNCS"},{"journal-title":"A testing methodology for side channel resistance validation NIST non-invasive attack testing workshop","year":"2008","author":"goodwill","key":"ref5"},{"key":"ref8","article-title":"Towards practical tools for side channel aware software engineering: ' ‘grey box’ modelling for instruction leakages","author":"mccann","year":"0","journal-title":"USENIX Security 2017"},{"journal-title":"Power Analysis Attacks Revealing the Secrets of Smart Cards","year":"2007","author":"mangard","key":"ref7"},{"key":"ref2","first-page":"457","article-title":"Verified proofs of higher-order masking","author":"barthe","year":"2015","journal-title":"Advances in Cryptology - EUROCRYPT 2015 – 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques Sofia Bulgaria April 26–30 2015 Proceedings Part I volume 9056 of Lecture Notes in Computer Science"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488833"},{"key":"ref9","first-page":"58","article-title":"Compiler assisted masking","author":"moss","year":"2012","journal-title":"Cryptographic Hardware and Embedded Systems - CHES 2012 – 14th International Workshop Leuven Belgium September 9–12 2012 Proceedings volume 7428 of Lecture Notes in Computer Science"}],"event":{"name":"2017 IEEE 2nd International Verification and Security Workshop (IVSW)","start":{"date-parts":[[2017,7,3]]},"location":"Thessaloniki, Greece","end":{"date-parts":[[2017,7,5]]}},"container-title":["2017 IEEE 2nd International Verification and Security Workshop (IVSW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8024489\/8031534\/08031536.pdf?arnumber=8031536","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,3]],"date-time":"2017-10-03T03:17:10Z","timestamp":1507000630000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8031536\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/ivsw.2017.8031536","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}