{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:28:47Z","timestamp":1750310927860,"version":"3.28.0"},"reference-count":50,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,4]]},"DOI":"10.1109\/hst.2018.8383892","type":"proceedings-article","created":{"date-parts":[[2018,6,14]],"date-time":"2018-06-14T23:36:11Z","timestamp":1529019371000},"page":"65-72","source":"Crossref","is-referenced-by-count":2,"title":["An efficient SAT-based algorithm for finding short cycles in cryptographic algorithms"],"prefix":"10.1109","author":[{"given":"Elena","family":"Dubrova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maxim","family":"Teslenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref39","DOI":"10.1109\/TAI.1996.560789"},{"doi-asserted-by":"publisher","key":"ref38","DOI":"10.1145\/321033.321034"},{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1007\/978-3-540-75140-3_16"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1587\/transfun.E92.A.1771"},{"doi-asserted-by":"publisher","key":"ref31","DOI":"10.1007\/978-3-540-85101-1_16"},{"doi-asserted-by":"publisher","key":"ref30","DOI":"10.1109\/DAC.1999.781333"},{"doi-asserted-by":"publisher","key":"ref37","DOI":"10.1145\/368273.368557"},{"key":"ref36","article-title":"Stream ciphers","author":"robshaw","year":"1994","journal-title":"Tech Rep TR-701"},{"year":"1982","author":"golomb","journal-title":"Shift Register Sequences","key":"ref35"},{"doi-asserted-by":"publisher","key":"ref34","DOI":"10.1109\/TIT.2009.2030467"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1006\/jtbi.2002.3081"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1016\/S0167-2789(02)00530-4"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1109\/TCBB.2010.20"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/978-1-4615-0817-5"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/800157.805047"},{"year":"0","author":"canniere","journal-title":"TRIVIUM specifications","key":"ref20"},{"year":"2008","journal-title":"ESTREAM ECRYPT Stream Cipher Project","key":"ref22"},{"doi-asserted-by":"publisher","key":"ref21","DOI":"10.1109\/ISIT.2006.261549"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1007\/978-3-540-71681-5_5"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/ICCAD.2005.1560115"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1103\/PhysRevLett.90.068702"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1103\/PhysRevE.65.016129"},{"doi-asserted-by":"publisher","key":"ref50","DOI":"10.1007\/978-0-387-21789-5_2"},{"key":"ref10","article-title":"Applications of sat solvers in cryptanalysis: Finding weak keys and preimages","volume":"6","author":"lafitte","year":"2014","journal-title":"Journal of Politics in Latin America 2014"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/ICYCS.2008.493"},{"doi-asserted-by":"publisher","key":"ref40","DOI":"10.1145\/378239.379017"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1007\/978-3-642-02777-2_24"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1515\/gcc.2010.016"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/DATE.2006.244158"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1023\/A:1006326723002"},{"doi-asserted-by":"publisher","key":"ref16","DOI":"10.1007\/11559306_11"},{"key":"ref17","first-page":"63","author":"eibach","year":"2008","journal-title":"Attacking Bivium Using SAT Solvers"},{"key":"ref18","first-page":"56","author":"homsirikamol","year":"2012","journal-title":"Security Margin Evaluation of SHA-3Contest Finalists through SAT-Based Attacks"},{"year":"2016","author":"papay","journal-title":"Use of SAT Solvers in Cryptanalysis","key":"ref19"},{"year":"2012","author":"nossum","journal-title":"SAT-based Preimage Attacks on SHA-1","key":"ref4"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1007\/978-3-540-72788-0_36"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1007\/11814948_13"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1016\/j.ipl.2013.03.004"},{"key":"ref8","article-title":"RSA private key reconstruction from random bits using SAT solvers","author":"patsakis","year":"2013","journal-title":"Cryptology EPrint Archive Report 2013\/496"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1016\/S0166-218X(02)00400-6"},{"key":"ref49","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195079517.001.0001","author":"kauffman","year":"1993","journal-title":"The Origins of Order Self-Organization and Selection of Evolution"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/2523514.2523533"},{"doi-asserted-by":"publisher","key":"ref46","DOI":"10.1088\/0305-4470\/19\/16\/010"},{"doi-asserted-by":"publisher","key":"ref45","DOI":"10.1504\/IJWMC.2007.013798"},{"doi-asserted-by":"publisher","key":"ref48","DOI":"10.1016\/S0022-5193(89)80019-0"},{"doi-asserted-by":"publisher","key":"ref47","DOI":"10.1006\/excr.2000.5044"},{"doi-asserted-by":"publisher","key":"ref42","DOI":"10.1007\/3-540-36384-X_24"},{"key":"ref41","first-page":"502","author":"e\u00e9n","year":"2004","journal-title":"An extensible SAT-solver"},{"key":"ref44","article-title":"Cryptanalytic results on TRIVIUM","author":"raddum","year":"2006","journal-title":"ECRYPT Stream Cipher Project Report 2005\/030"},{"key":"ref43","first-page":"329","author":"flajolet","year":"1990","journal-title":"Random Mapping Statistics"}],"event":{"name":"2018 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)","start":{"date-parts":[[2018,4,30]]},"location":"Washington, DC","end":{"date-parts":[[2018,5,4]]}},"container-title":["2018 IEEE International Symposium on Hardware Oriented Security and Trust (HOST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8369415\/8383882\/08383892.pdf?arnumber=8383892","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,7]],"date-time":"2024-07-07T13:47:49Z","timestamp":1720360069000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8383892\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4]]},"references-count":50,"URL":"https:\/\/doi.org\/10.1109\/hst.2018.8383892","relation":{},"subject":[],"published":{"date-parts":[[2018,4]]}}}