{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:28:07Z","timestamp":1750310887623,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,11,26]],"date-time":"2013-11-26T00:00:00Z","timestamp":1385424000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,11,26]]},"DOI":"10.1145\/2523514.2523533","type":"proceedings-article","created":{"date-parts":[[2014,1,7]],"date-time":"2014-01-07T14:49:20Z","timestamp":1389106160000},"page":"110-116","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["SAT based analysis of LTE stream cipher ZUC"],"prefix":"10.1145","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Lafitte","sequence":"first","affiliation":[{"name":"Royal Military Academy, Brussels, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier","family":"Markowitch","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Libre de Bruxelles (ULB), Brussels, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Van Heule","sequence":"additional","affiliation":[{"name":"Royal Military Academy, Brussels, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,11,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31448-3_11"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2070425.2070455"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00145-007-9001-y"},{"key":"e_1_3_2_1_4_1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Advances in Cryptology--ASIACRYPT","author":"Biryukov A.","year":"2000","unstructured":"Biryukov , A. , and Shamir , A . Cryptanalytic time\/memory\/data tradeoffs for stream ciphers . In Advances in Cryptology--ASIACRYPT ( 2000 ), T. Okamoto, Ed ., vol. 1976 of Lecture Notes in Computer Science , Springer , pp. 1 -- 13 . Biryukov, A., and Shamir, A. Cryptanalytic time\/memory\/data tradeoffs for stream ciphers. In Advances in Cryptology--ASIACRYPT (2000), T. Okamoto, Ed., vol. 1976 of Lecture Notes in Computer Science, Springer, pp. 1--13."},{"key":"e_1_3_2_1_5_1","volume-title":"May","author":"Cid S.","year":"2010","unstructured":"C. Cid , S. Murphy , F. P. , and Dodd , M. Zuc . algorithm evaluation report , May 2010 . C. Cid, S. Murphy, F. P., and Dodd, M. Zuc. algorithm evaluation report, May 2010."},{"key":"e_1_3_2_1_6_1","volume-title":"First Open Nessie Workshop, KULeuven","author":"Ekdahl P.","year":"2000","unstructured":"Ekdahl , P. , and Johansson , T . SNOW - A new stream cipher . In First Open Nessie Workshop, KULeuven ( 2000 ). Ekdahl, P., and Johansson, T. SNOW - A new stream cipher. In First Open Nessie Workshop, KULeuven (2000)."},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1007\/3-540-36492-7_5","volume-title":"Selected Areas in Cryptography","author":"Ekdahl P.","year":"2003","unstructured":"Ekdahl , P. , and Johansson , T . A new version of the stream cipher snow . In Selected Areas in Cryptography , K. Nyberg and H. Heys, Eds., vol. 2595 of Lecture Notes in Computer Science . Springer Berlin Heidelberg , 2003 , pp. 47 -- 61 . Ekdahl, P., and Johansson, T. A new version of the stream cipher snow. In Selected Areas in Cryptography, K. Nyberg and H. Heys, Eds., vol. 2595 of Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2003, pp. 47--61."},{"key":"e_1_3_2_1_8_1","unstructured":"ETSI\/SAGE. Specification of the 3gpp confidentiality and integrity algorithms 128-eea3 & 128-eia3. document 2: Zuc specification. specification version: 2.0 September.  ETSI\/SAGE. Specification of the 3gpp confidentiality and integrity algorithms 128-eea3 & 128-eia3. document 2: Zuc specification. specification version: 2.0 September."},{"key":"e_1_3_2_1_9_1","unstructured":"ETSI\/SAGE. Specification of the 3gpp confidentiality and integrity algorithms 128-eea3 & 128-eia3. document 4: Design and evaluation report. specification version: 1.1 August.  ETSI\/SAGE. Specification of the 3gpp confidentiality and integrity algorithms 128-eea3 & 128-eia3. document 4: Design and evaluation report. specification version: 1.1 August."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28496-0_14"},{"key":"e_1_3_2_1_11_1","volume-title":"1st International Workshop on ZUC Algorithm","author":"Ji L.","year":"2010","unstructured":"Ji , L. Improved differential paths of zuc . In 1st International Workshop on ZUC Algorithm ( 2010 ). Ji, L. Improved differential paths of zuc. In 1st International Workshop on ZUC Algorithm (2010)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11559306_11"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11535218_7"},{"key":"e_1_3_2_1_14_1","volume-title":"1st International Workshop on ZUC Algorithm","author":"Maitra S.","year":"2010","unstructured":"Maitra , S. Evolution of stream ciphers towards zuc . In 1st International Workshop on ZUC Algorithm ( 2010 ). Maitra, S. Evolution of stream ciphers towards zuc. In 1st International Workshop on ZUC Algorithm (2010)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1006326723002"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11814948_13"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68351-3_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34704-7_20"},{"key":"e_1_3_2_1_19_1","volume-title":"SAT Race competitive event booklet","author":"Soos M.","year":"2010","unstructured":"Soos , M. Cryptominisat 2.5. 0. SAT Race competitive event booklet ( 2010 ). Soos, M. Cryptominisat 2.5.0. SAT Race competitive event booklet (2010)."},{"key":"e_1_3_2_1_20_1","volume-title":"First International Workshop on ZUC Algorithm (December","author":"Sun B.","year":"2010","unstructured":"Sun , B. , Tang , X. , and Li , C . Preliminary cryptanalysis results of zuc . In First International Workshop on ZUC Algorithm (December 2010 ). Sun, B., Tang, X., and Li, C. Preliminary cryptanalysis results of zuc. In First International Workshop on ZUC Algorithm (December 2010)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34961-4_17"},{"key":"e_1_3_2_1_22_1","first-page":"2010","author":"Wu H.","year":"2010","unstructured":"Wu , H. , Nguyen , P. , Wang , H. , and Ling , S. Cryptanalysis of the stream cipher zuc in the 3gpp confidentiality & integrity algorithms 128-eea3 & 128-eia3. Rump Session of Asiacrypt 2010 ( 2010 ). Wu, H., Nguyen, P., Wang, H., and Ling, S. Cryptanalysis of the stream cipher zuc in the 3gpp confidentiality & integrity algorithms 128-eea3 & 128-eia3. Rump Session of Asiacrypt 2010 (2010).","journal-title":"Rump Session of Asiacrypt"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2462096.2462110"},{"key":"e_1_3_2_1_24_1","volume-title":"May","author":"Knudson B. P.","year":"2010","unstructured":"L. R. Knudson , B. P. , and Rijmen , V . Evaluation of zuc , May 2010 . L. R. Knudson, B. P., and Rijmen, V. Evaluation of zuc, May 2010."},{"key":"e_1_3_2_1_25_1","volume-title":"First International Workshop on ZUC Algorithm (December","author":"Lin D.","year":"2010","unstructured":"Lin , D. , Shu -kai, L., Zhong -ya, Z., and Jie , G . Guess and determine attack on zuc based on solving nonlinear equations . In First International Workshop on ZUC Algorithm (December 2010 ). Lin, D., Shu-kai, L., Zhong-ya, Z., and Jie, G. Guess and determine attack on zuc based on solving nonlinear equations. In First International Workshop on ZUC Algorithm (December 2010)."}],"event":{"name":"SIN '13: The 6th International Conference on Security of Information and Networks","sponsor":["Macquarie U., Austarlia","MNIT Malaviya National Institute of Technology","Aksaray Univ. Aksaray University","SFedU Southern Federal University","SIGSAC ACM Special Interest Group on Security, Audit, and Control"],"location":"Aksaray Turkey","acronym":"SIN '13"},"container-title":["Proceedings of the 6th International Conference on Security of Information and Networks"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2523514.2523533","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2523514.2523533","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:34:55Z","timestamp":1750232095000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2523514.2523533"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11,26]]},"references-count":25,"alternative-id":["10.1145\/2523514.2523533","10.1145\/2523514"],"URL":"https:\/\/doi.org\/10.1145\/2523514.2523533","relation":{},"subject":[],"published":{"date-parts":[[2013,11,26]]},"assertion":[{"value":"2013-11-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}