{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:39:05Z","timestamp":1743151145085,"version":"3.40.3"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319213552"},{"type":"electronic","value":"9783319213569"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21356-9_4","type":"book-chapter","created":{"date-parts":[[2015,7,15]],"date-time":"2015-07-15T01:20:09Z","timestamp":1436923209000},"page":"40-54","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Algebraic Attacks Using Binary Decision Diagrams"],"prefix":"10.1007","author":[{"given":"H\u00e5vard","family":"Raddum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oleksandr","family":"Kazymyrov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,7,16]]},"reference":[{"issue":"4","key":"4_CR1","doi-asserted-by":"publisher","first-page":"656","DOI":"10.1002\/j.1538-7305.1949.tb00928.x","volume":"28","author":"CE Shannon","year":"1949","unstructured":"Shannon, C.E.: Communication theory of secrecy systems. Bell Syst. Tech. J. 28(4), 656\u2013715 (1949)","journal-title":"Bell Syst. Tech. J."},{"issue":"1\u20133","key":"4_CR2","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/s10623-008-9180-z","volume":"49","author":"H Raddum","year":"2008","unstructured":"Raddum, H., Semaev, I.: Solving multiple right hand sides linear equations. Des. Codes Crypt. 49(1\u20133), 147\u2013160 (2008). Springer","journal-title":"Des. Codes Crypt."},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-540-45146-4_11","volume-title":"Advances in Cryptology - CRYPTO 2003","author":"NT Courtois","year":"2003","unstructured":"Courtois, N.T.: Fast algebraic attacks on stream ciphers with linear feedback. In: Boneh, D. (ed.) CRYPTO 2003. LNCS, vol. 2729, pp. 176\u2013194. Springer, Heidelberg (2003)"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-71039-4_6","volume-title":"Fast Software Encryption","author":"NT Courtois","year":"2008","unstructured":"Courtois, N.T., Bard, G.V., Wagner, D.: Algebraic and slide attacks on KeeLoq. In: Nyberg, K. (ed.) FSE 2008. LNCS, vol. 5086, pp. 97\u2013115. Springer, Heidelberg (2008)"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-77272-9_10","volume-title":"Cryptography and Coding","author":"NT Courtois","year":"2007","unstructured":"Courtois, N.T., Bard, G.V.: Algebraic cryptanalysis of the data encryption standard. In: Galbraith, S.D. (ed.) Cryptography and Coding 2007. LNCS, vol. 4887, pp. 152\u2013169. Springer, Heidelberg (2007)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Helleseth, T., R\u00f8njom, S.: Simplifying algebraic attacks with univariate analysis, Information Theory and Applications Workshop (ITA), pp. 1\u20137. IEEE (2011)","DOI":"10.1109\/ITA.2011.5743578"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11502760_10","volume-title":"Fast Software Encryption","author":"C Cid","year":"2005","unstructured":"Cid, C., Murphy, S., Robshaw, M.: Small scale variants of the AES. In: Gilbert, H., Handschuh, H. (eds.) FSE 2005. LNCS, vol. 3557, pp. 145\u2013162. Springer, Heidelberg (2005)"},{"key":"4_CR8","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-88757-9","volume-title":"Algebraic Cryptanalysis","author":"GV Bard","year":"2009","unstructured":"Bard, G.V.: Algebraic Cryptanalysis. Springer, Heidelberg (2009)"},{"key":"4_CR9","unstructured":"Albrecht, M.: Algorithmic Algebraic Techniques and Their Application to Block Cipher Cryptanalysis, University of London, Thesis (2010). http:\/\/www.sagemath.org\/files\/thesis\/albrecht-thesis-2010.pdf"},{"key":"4_CR10","unstructured":"Daum, M.: Cryptanalysis of Hash functions of the MD4-family, Ruhr University Bochum, Thesis (2005). http:\/\/www.cits.ruhr-uni-bochum.de\/imperia\/md\/content\/magnus\/dissmd4.pdf"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"985","DOI":"10.1002\/j.1538-7305.1959.tb01585.x","volume":"38","author":"CY Lee","year":"1959","unstructured":"Lee, C.Y.: Representation of switching circuits by binary-decision programs. Bell Syst. Tech. J. 38, 985\u2013999 (1959)","journal-title":"Bell Syst. Tech. J."},{"key":"4_CR12","unstructured":"Knuth, D.E.: The Art of Computer Programming Volume 4, Fascicle 1: Bitwise tricks and techniques; Binary Decision Diagrams, Addison-Wesley Professional (2009)"},{"key":"4_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/3-540-46035-7_15","volume-title":"Advances in Cryptology - EUROCRYPT 2002","author":"M Krause","year":"2002","unstructured":"Krause, M.: BDD-Based cryptanalysis of keystream generators. In: Knudsen, L.R. (ed.) EUROCRYPT 2002. LNCS, vol. 2332, pp. 222\u2013237. Springer, Heidelberg (2002)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-540-77360-3_2","volume-title":"Selected Areas in Cryptography","author":"D Stegemann","year":"2007","unstructured":"Stegemann, D.: Extended BDD-based cryptanalysis of keystream generators. In: Adams, C., Miri, A., Wiener, M. (eds.) SAC 2007. LNCS, vol. 4876, pp. 17\u201335. Springer, Heidelberg (2007)"},{"key":"4_CR15","unstructured":"Kleiman, E.: High Performance Computing techniques for attacking reduced version of AES using XL and XSL methods, Graduate Theses and Dissertations (2010). http:\/\/lib.dr.iastate.edu\/etd\/11473"},{"issue":"2","key":"4_CR16","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s11786-009-0020-y","volume":"3","author":"S Bulygin","year":"2010","unstructured":"Bulygin, S., Brickenstein, M.: Obtaining and solving systems of equations in key variables only for the small variants of AES. Math. Comput. Sci. 3(2), 185\u2013200 (2010). Birkh\u00e4user-Verlag","journal-title":"Math. Comput. Sci."},{"issue":"8","key":"4_CR17","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"RE Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for boolean function manipulation. IEEE Trans. Comput. 35(8), 677\u2013691 (1986)","journal-title":"IEEE Trans. Comput."},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-642-30615-0_27","volume-title":"Sequences and Their Applications \u2013 SETA 2012","author":"TE Schilling","year":"2012","unstructured":"Schilling, T.E., Raddum, H.: Solving compressed right hand side equation systems with linear absorption. In: Helleseth, T., Jedwab, J. (eds.) SETA 2012. LNCS, vol. 7280, pp. 291\u2013302. Springer, Heidelberg (2012)"},{"key":"4_CR19","unstructured":"Rudell, R.: Dynamic variable ordering for ordered binary decision diagrams. In: IEEE\/ACM International Conference on Computer-aided Design, vol. 12, pp. 42\u201347 (1993)"},{"issue":"9","key":"4_CR20","doi-asserted-by":"publisher","first-page":"993","DOI":"10.1109\/12.537122","volume":"45","author":"B Bollig","year":"1996","unstructured":"Bollig, B., Wegener, I.: Improving the variable ordering of OBDDs is NP-complete. IEEE Trans. Comput. 45(9), 993\u20131002 (1996)","journal-title":"IEEE Trans. Comput."},{"key":"4_CR21","unstructured":"Perret, J.C.F.L., Spaenlehauer, P.J.: Algebraic Differential Cryptanalysis of DES, Western European Workshop on Research in Cryptology (2009). http:\/\/www.pjspaenlehauer.net\/data\/papers\/DESweworc.pdf"},{"key":"4_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502\u2013518. Springer, Heidelberg (2004)"},{"key":"4_CR23","unstructured":"Federal Information Processing Standards Publication (FIPS PUB) 46. National Bureau of Standards, Washington (1977)"},{"issue":"4","key":"4_CR24","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1080\/0161-110291890948","volume":"26","author":"RC-W Phan","year":"2002","unstructured":"Phan, R.C.-W.: Mini advanced encryption standard (Mini-AES): a testbed for cryptanalysis students. Cryptologia 26(4), 283\u2013306 (2002). Taylor & Francis","journal-title":"Cryptologia"},{"key":"4_CR25","unstructured":"Kleiman, E.: The XL and XSL attacks on Baby Rijndael, Master Thesis, Iowa State University (2005). https:\/\/orion.math.iastate.edu\/dept\/thesisarchive\/MS\/EKleimanMSSS05.pdf"},{"key":"4_CR26","unstructured":"Announcing the Advanced Encryption Standard (AES), Federal Information Processing Standards Publication 197, United States National Institute of Standards and Technology (NIST) (2001)"},{"key":"4_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1007\/978-3-642-02777-2_24","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2009","author":"M Soos","year":"2009","unstructured":"Soos, M., Nohl, K., Castelluccia, C.: Extending SAT solvers to cryptographic problems. In: Kullmann, O. (ed.) SAT 2009. LNCS, vol. 5584, pp. 244\u2013257. Springer, Heidelberg (2009)"},{"key":"4_CR28","unstructured":"Stein, W., et al.: Sage mathematics software (version 6.2). The Sage Development Team (2014). http:\/\/www.sagemath.org"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-642-31662-3_8","volume-title":"Arithmetic of Finite Fields","author":"L Budaghyan","year":"2012","unstructured":"Budaghyan, L., Kazymyrov, O.: Verification of restricted EA-equivalence for vectorial boolean functions. In: \u00d6zbudak, F., Rodr\u00edguez-Henr\u00edquez, F. (eds.) WAIFI 2012. LNCS, vol. 7369, pp. 108\u2013118. Springer, Heidelberg (2012)"},{"key":"4_CR30","unstructured":"Eilertsen, A.M., Kazymyrov, O., Kazymyrova, V., Storetvedt, M.: A Sage library for analysis of nonlinear binary mapping. In: Pre-proceedings of Central European Conference on Cryptology (CECC14), pp. 69\u201378 (2014)"}],"container-title":["Lecture Notes in Computer Science","Cryptography and Information Security in the Balkans"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21356-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T04:17:26Z","timestamp":1675138646000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21356-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319213552","9783319213569"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21356-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"16 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}