{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:36:01Z","timestamp":1767339361277,"version":"3.34.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1109\/date.2008.4484856","type":"proceedings-article","created":{"date-parts":[[2008,4,15]],"date-time":"2008-04-15T22:15:51Z","timestamp":1208297751000},"page":"1286-1291","source":"Crossref","is-referenced-by-count":13,"title":["On Analysis and Synthesis of (n,k)-Non-Linear Feedback Shift Registers"],"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"}]},{"given":"Hannu","family":"Tenhunen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2007.01.008"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1995.249983"},{"year":"0","key":"17"},{"key":"36","first-page":"125","article-title":"combining decision diagrams and sat procedures for efficient symbolic model checking","author":"williams","year":"2000","journal-title":"Computer Aided Verification (CAV)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2006.1693235"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.71.056116"},{"article-title":"cryptanalysis of the keeloq block cipher","year":"2007","author":"bogdanov","key":"15"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/43.275352"},{"journal-title":"TRIVIUM specifications","year":"0","author":"canniere","key":"16"},{"journal-title":"Grain - a stream cipher for constrained environments","year":"0","author":"hell","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1145\/1128817.1128859"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48329-2_3"},{"key":"12","first-page":"152","article-title":"achterbahn-128\/80: design and analysis","author":"gammel","year":"2007","journal-title":"SASC'2007 Workshop Record of The State of the Art of Stream Ciphers"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(77)80001-6"},{"key":"20","first-page":"120","article-title":"open problems related to algebraic attacks on stream ciphers","author":"canteaut","year":"2005","journal-title":"WCC"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(79)90708-3"},{"key":"23","volume":"169","author":"ronce","year":"1984","journal-title":"Feedback Shift Registers"},{"journal-title":"On Binary Cequences with Certain Properties","year":"1992","author":"robshaw","key":"24"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-1684(01)00172-4"},{"key":"26","first-page":"619","article-title":"design and study of a strong crypto-system model for e-commerce","author":"ahmad","year":"2002","journal-title":"ICCC '02 Proceedings of the 15th international conference on Computer communication"},{"key":"27","doi-asserted-by":"crossref","first-page":"28","DOI":"10.26636\/jtit.2004.4.269","article-title":"boolean feedback functions for full-length nonlinear shift registers","volume":"5","author":"janicka-lipska","year":"2004","journal-title":"Telecommunications and Informatioin Technology"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"journal-title":"Pseudorandomness and Cryptographic Applications","year":"1994","author":"luby","key":"29"},{"article-title":"stream ciphers","year":"1994","author":"robshaw","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1080\/0161-110091888754"},{"journal-title":"Cryptanalysis of the Bluetooth E0 cipher","year":"0","author":"shaked","key":"10"},{"journal-title":"Shift Register Sequences","year":"1982","author":"golomb","key":"1"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/2.67207"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/s10623-005-6399-9"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/12.565596"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45473-X_6"},{"journal-title":"Logic Synthesis and Verification Algorithms","year":"2000","author":"hachtel","key":"31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/BF02252874"},{"article-title":"attacks based on conditional correlations against the nonlinear filter generator","year":"0","author":"lohlein","key":"9"},{"key":"8","first-page":"43","article-title":"cryptanalysis of the a5\/1 gsm stream cipher","author":"biham","year":"2000","journal-title":"INDOCRYPT '00 Proceedings of the First International Conference on Progress in Cryptology"}],"event":{"name":"2008 Design, Automation and Test in Europe","start":{"date-parts":[[2008,3,10]]},"location":"Munich, Germany","end":{"date-parts":[[2008,3,14]]}},"container-title":["2008 Design, Automation and Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4475437\/4484624\/04484856.pdf?arnumber=4484856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,29]],"date-time":"2025-01-29T19:05:58Z","timestamp":1738177558000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4484856\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/date.2008.4484856","relation":{},"subject":[],"published":{"date-parts":[[2008,3]]}}}