{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,26]],"date-time":"2025-04-26T15:43:10Z","timestamp":1745682190368},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,1,12]],"date-time":"2010-01-12T00:00:00Z","timestamp":1263254400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1007\/s11786-009-0020-y","type":"journal-article","created":{"date-parts":[[2010,1,11]],"date-time":"2010-01-11T13:52:53Z","timestamp":1263217973000},"page":"185-200","source":"Crossref","is-referenced-by-count":8,"title":["Obtaining and Solving Systems of Equations in Key Variables Only for the Small Variants of AES"],"prefix":"10.1007","volume":"3","author":[{"given":"Stanislav","family":"Bulygin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Brickenstein","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,1,12]]},"reference":[{"key":"20_CR1","unstructured":"Albrecht, M., Cid, C.: Algebraic Techniques in Differential Cryptanalysis. http:\/\/eprint.iacr.org\/2008\/177.pdf (2008)"},{"key":"20_CR2","unstructured":"Albrecht, M., Cid, C.: Algebraic techniques in differential cryptanalysis. In: Proceedings of the First International Conference on Symbolic Computation and Cryptography, Beijing, China, pp. 55\u201360 (2008)"},{"key":"20_CR3","unstructured":"Albrecht, M., Bard, G., The M4RI Team.: The M4RI Library\u2014Version 20080901. http:\/\/m4ri.sagemath.org (2008)"},{"key":"20_CR4","unstructured":"Bardet, M., Faug\u00e9re, J.-C., Salvy, B.: On the complexity of Gr\u00f6bner basis computation of semi-regular overdetermined algebraic equations. In: ICPSS Paris, pp. 71\u201375, November (2004)"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Barkan, E., Biham, E.: How many ways can you write Rijndael? In: ASIACRYPT 2002, Lecture Notes in Computer Science, vol. 2501, pp. 160\u2013175 (2002)","DOI":"10.1007\/3-540-36178-2_10"},{"key":"20_CR6","unstructured":"Billet, O., Patain, J., Seurin, Y.: Analysis of intermediate field systems. In: Proceedings of the First International Conference on Symbolic Computation and Cryptography, Beijing, China, pp. 110\u2013117 (2008)"},{"key":"20_CR7","unstructured":"Biryukov, A., Khovratovich, D.: Related-key cryptanalysis of the full AES-192 and AES-256. In: Asiacrypt\u201909 (in press)"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Bogdanov, A., Kizhvatov, I., Pyshkin, A.: Algebraic methods in side-channel collision attacks and practical collision detection. In: INDOCRYPT 2008, Lecture Notes in Computer Science, vol. 5365, pp. 251\u2013265 (2008)","DOI":"10.1007\/978-3-540-89754-5_20"},{"key":"20_CR9","unstructured":"Brickenstein, M.: Slimgb: Gr\u00f6bner bases with slim polynomials. In: Zentrum f\u00fcr Computeralgebra, Kaiserslautern, September (2005)"},{"key":"20_CR10","unstructured":"Brickenstein, M., Bulygin, S.: Attacking AES via solving systems in the key variables only. In: Proceedings of the First International Conference on Symbolic Computation and Cryptography, Beijing, China, pp. 118\u2013123 (2008)"},{"issue":"9","key":"20_CR11","first-page":"1326","volume":"44","author":"M. Brickenstein","year":"2009","unstructured":"Brickenstein M., Dreyer A.: PolyBoRi: a framework for Gr\u00f6bner basis computation with Boolean polynomials. Special Issue Effect. Methods Algebraic Geom. J. Symb. Comput. 44(9), 1326\u20131345 (2009)","journal-title":"Special Issue Effect. Methods Algebraic Geom. J. Symb. Comput."},{"key":"20_CR12","unstructured":"Brickenstein, M., Dreyer, A.: PolyBoRi: a framework for Gr\u00f6bner basis computation with Boolean polynomials. In: MEGA\u20192007 (2007)"},{"key":"20_CR13","unstructured":"Brickenstein, M., Dreyer, A., Greuel, G., Wedler, M., Wienand, O.: New developments in the theory of Gr\u00f6bner bases and applications to formal verification. http:\/\/arxiv.org\/abs\/0801.1177 . Preprint (2008)"},{"key":"20_CR14","unstructured":"Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal. Universit\u00e4t Innsbruck, Dissertation (1965)"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Buchmann, J., Pyshkin, A., Weinmann, R.-P.: A zero-dimensional Groebner basis for AES-128. In: FSE 2006, Lecture Notes in Computer Science, vol. 4047, pp. 78\u201388 (2006)","DOI":"10.1007\/11799313_6"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Buchmann, J., Pyshkin, A., Weinmann, R.-P.: Block ciphers sensitive to Groebner basis attacks. In: CT-RSA 2006, Lecture Notes in Computer Science, vol. 3860, pp. 313\u2013331. Springer, New York (2006)","DOI":"10.1007\/11605805_20"},{"key":"20_CR17","unstructured":"Cannon, J.J., Bosma, W. (eds.): Handbook of Magma Functions, Edition 2.14 (2007)"},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Cid, C., Leurent, G.: An analysis of the XSL algorithm. In: Roy, B. (ed.) Advances in Cryptology\u2014ASIACRYPT 2005, Lecture Notes in Computer Science, vol. 3788, pp. 333\u2013352 (2005)","DOI":"10.1007\/11593447_18"},{"key":"20_CR19","volume-title":"Algebraic Aspects of the Advanced Encryption Standard","author":"C. Cid","year":"2006","unstructured":"Cid C., Murphy S., Robshaw M.J.B.: Algebraic Aspects of the Advanced Encryption Standard. Springer, New York (2006)"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Cid, C., Murphy, S., Robshaw, M.: An algebraic framework for cipher embeddings. In: Proceedings of the 10th IMA International Conference on Coding and Cryptography, Lecture Notes in Computer Science, vol. 3796, pp. 278\u2013289 (2005)","DOI":"10.1007\/11586821_19"},{"key":"20_CR21","unstructured":"Cid, C., Murphy, S., Robshaw, M.: Computational and algebraic aspects of the advanced encryption standard. In: Seventh International Workshop on Computer Algebra in Scientific Computing, CASC 2004, pp. 93\u2013103, St. Petersburg, Russia (2004)"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Cid, C., Murphy, S., Robshaw, M.: Small scale variants of the AES. In: Fast Software Encryption\u2014FSE2005, Lecture Notes in Computer Science, vol. 3557, pp. 145\u2013162 (2005)","DOI":"10.1007\/11502760_10"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Clegg, M., Edmonds, J., Impagliazzo, R.: Using the Groebner basis algorithm to find proofs of unsatisfiability. In: Proceedings of the Twenty-Eighth Annual ACM Symposium on the Theory of Computing, pp. 174\u2013183 (1996)","DOI":"10.1145\/237814.237860"},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Courtois, N., Pieprzyk, J.: Cryptanalysis of block ciphers with overdefined systems of equations. In: Asiacrypt 2002, Lecture Notes in Computer Science, vol. 2501, pp. 267\u2013287. Springer, New York (2002)","DOI":"10.1007\/3-540-36178-2_17"},{"key":"20_CR25","doi-asserted-by":"crossref","unstructured":"Condrat, C., Kalla, P.: A Gr\u00f6bner basis approach to CNF-formulae preprocessing. In: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, vol. 4424, pp. 618\u2013631. Springer, New York (2007)","DOI":"10.1007\/978-3-540-71209-1_48"},{"key":"20_CR26","unstructured":"Dubois, V., Founque, P.-A., Shamir, A., Stern, J.: Practical cryptanalysis of SFLASH. In: Advances in Cryptology\u2014CRYPTO 2007"},{"key":"20_CR27","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0022-4049(99)00005-5","volume":"139","author":"J.-C. Faug\u00e9re","year":"1999","unstructured":"Faug\u00e9re J.-C.: A new efficient algorithm for computing Gro\u00f6bner bases (F4). J. Pure Appl. Algebra 139, 61\u201388 (1999)","journal-title":"J. Pure Appl. Algebra"},{"issue":"4","key":"20_CR28","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1006\/jsco.1993.1051","volume":"16","author":"J.-C. Faug\u00e9re","year":"1993","unstructured":"Faug\u00e9re J.-C., Gianni P., Lazard D., Mora T.: Efficient computation of zero-dimensional Gr\u00f6bner bases by change of ordering. J. Symb. Comput. 16(4), 329\u2013344 (1993)","journal-title":"J. Symb. Comput."},{"key":"20_CR29","doi-asserted-by":"crossref","unstructured":"Faug\u00e9re, J.-C., Joux, A.: Algebraic cryptanalysis of hidden field equation (HFE) cryptosystem using Gr\u00f6bner bases. In: Boneh, D. (ed.) Advances in Cryptology\u2014EUROCRYPTO 2003, Lecture Notes in Computer Science, vol. 2729, pp. 44\u201360 (2003)","DOI":"10.1007\/978-3-540-45146-4_3"},{"key":"20_CR30","unstructured":"Faug\u00e9re, J.-C., Perret, L.: On the security of UOV. In: Proceedings of the First International Conference on Symbolic Computation and Cryptography, Beijing, China, pp. 103\u2013109 (2008)"},{"key":"20_CR31","unstructured":"Greuel, G.-M., Pfister, G.: A SINGULAR Introduction to Commutative Algebra. Springer, New York (2008)"},{"key":"20_CR32","unstructured":"Greuel, G.-M., Pfister, G., Sch\u00f6nemann, H.: Singular 3.0. A Computer Algebra System for Polynomial Computations. Centre for Computer Algebra, University of Kaiserslautern. http:\/\/www.singular.uni-kl.de (2005)"},{"key":"20_CR33","doi-asserted-by":"crossref","unstructured":"Lim, C.-W., Khoo, K.: An analysis of XSL applied to BES. In: FSE 2007, Lecture Notes in Computer Science, vol. 4593, pp. 242\u2013253. Springer, New York (2007)","DOI":"10.1007\/978-3-540-74619-5_16"},{"key":"20_CR34","unstructured":"Miolane, C.V., Knudsen, L.R.: Block cipher analysis. Academic dissertation, in series: (ISBN), p. 176, 200902"},{"key":"20_CR35","doi-asserted-by":"crossref","unstructured":"Murphy, S., Robshaw, M.: Essential algebraic structure within the AES. In: Yung, M. (ed.) Advances in Cryptology\u2014CRYPTO 2002, Lecture Notes in Computer Science, vol. 2442, pp. 1\u201316. Springer, Berlin (2002)","DOI":"10.1007\/3-540-45708-9_1"},{"key":"20_CR36","unstructured":"National Institute of Standards and Technology. Advanced Encryption Standard. FIPS 197, 26 November (2001)"},{"key":"20_CR37","doi-asserted-by":"crossref","unstructured":"Raddum, H.: MRHS equation systems. In: Lecture Notes in Computer Science, vol. 4876, pp. 232\u2013245 (2007)","DOI":"10.1007\/978-3-540-77360-3_15"},{"key":"20_CR38","doi-asserted-by":"crossref","unstructured":"Toli, I., Zanoni, A.: An algebraic interpretation of AES-128. In: Dobbertin, H., Rijmen, V., Sowa, A. (eds.) Advanced Encryption Standard AES: 4th International Conference, AES 2004, Revised Selected and Invited Papers. Lecture Notes in Computer Science, vol. 3373, pp. 84\u201397 (2004). doi: 10.1007\/11506447_8","DOI":"10.1007\/11506447_8"}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-009-0020-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11786-009-0020-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-009-0020-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T22:32:27Z","timestamp":1559428347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11786-009-0020-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,1,12]]},"references-count":38,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["20"],"URL":"https:\/\/doi.org\/10.1007\/s11786-009-0020-y","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,1,12]]}}}