{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:12:43Z","timestamp":1729674763472,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/ivsw.2017.8031537","type":"proceedings-article","created":{"date-parts":[[2017,9,14]],"date-time":"2017-09-14T20:47:18Z","timestamp":1505422038000},"page":"7-12","source":"Crossref","is-referenced-by-count":2,"title":["Towards mixed structural-functional models for algebraic fault attacks on ciphers"],"prefix":"10.1109","author":[{"given":"Jan","family":"Burchard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ange-Salome Messeng","family":"Ekossono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Horacek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mael","family":"Gay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernd","family":"Becker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Schubert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Kreuzer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ilia","family":"Polian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"247","volume":"2","author":"jovanovic","year":"2010","journal-title":"Algebraic attacks using sat-solvers Groups Complexity Cryptology"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2012.2188769"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FDTC.2013.12"},{"journal-title":"Small scale AES toolbox Algebraic and propositional formulas circuit-implementations and fault equations In FCTRU","year":"2016","author":"gay","key":"ref13"},{"key":"ref14","first-page":"224","author":"tunstall","year":"2011","journal-title":"Differential Fault Analysis of the Advanced Encryption Standard Using a Single Fault"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2014.6873670"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/FDTC.2014.14"},{"key":"ref17","first-page":"145","author":"cid","year":"2005","journal-title":"Small Scale Variants of the AES"},{"journal-title":"Efficient methods for conversion and solution of sparse systems of low-degree multivariate polynomials over gf","year":"2007","author":"bard","key":"ref18"},{"journal-title":"The Sage Developers SageMath the Sage Mathematics Software System (Version 7 5 1)","year":"2017","key":"ref19"},{"key":"ref4","article-title":"Fault-algebraic attacks on inner rounds of DES","author":"courtois","year":"2010","journal-title":"Smart Card Security Conf"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"370","DOI":"10.1109\/JPROC.2005.862424","article-title":"The sorcerer's apprentice guide to fault attacks","volume":"94","author":"bar-ei","year":"2006","journal-title":"Proceedings of the IEEE"},{"key":"ref6","first-page":"400","volume":"2012","author":"jovanovic","year":"2012","journal-title":"An algebraic fault attack on the LED block cipher IACR Cryptology ePrint Archive"},{"key":"ref5","first-page":"62","author":"mohamed","year":"2011","journal-title":"Using SAT solving to improve differential fault analysis of trivium In ISA Volume 200 of Comm in Computer and Information Science"},{"key":"ref8","first-page":"320","article-title":"Fault sensitivity analysis","author":"li","year":"2010","journal-title":"CHES Volume 6225 of Lecture Notes in Computer Science"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/FDTC.2014.13"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s001450010016"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858319"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/FDTC.2014.15"},{"journal-title":"On the complexity of derivation in propositional calculus Studies in Constructive Mathematics and Mathematical Logic","year":"1968","author":"tseitin","key":"ref20"},{"journal-title":"Antom","year":"2016","author":"schubert","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DTIS.2014.6850674"}],"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\/08031537.pdf?arnumber=8031537","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T13:55:12Z","timestamp":1570110912000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8031537\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/ivsw.2017.8031537","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}