{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:19:26Z","timestamp":1725689966849},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642306143"},{"type":"electronic","value":"9783642306150"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30615-0_27","type":"book-chapter","created":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T12:54:41Z","timestamp":1340801681000},"page":"291-302","source":"Crossref","is-referenced-by-count":6,"title":["Solving Compressed Right Hand Side Equation Systems with Linear Absorption"],"prefix":"10.1007","author":[{"given":"Thorsten Ernst","family":"Schilling","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00e5vard","family":"Raddum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Schilling, T.E., Raddum, H.: Analysis of trivium using compressed right hand side equations. In: 14th International Conference on Information Security and Cryptology, Seoul, Korea, November 30-December 2. LNCS (2011)"},{"key":"27_CR2","unstructured":"Rudell, R.: Dynamic variable ordering for ordered binary decision diagrams. In: Proceedings of the 1993 IEEE\/ACM International Conference on Computer-aided Design, vol.\u00a012, pp. 42\u201347 (1993)"},{"key":"27_CR3","unstructured":"Canni\u00e8re, C.D., Preneel, B.: Trivium specifications. ECRYPT Stream Cipher Project (2005)"},{"issue":"6","key":"27_CR4","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"27","author":"S.B. Akers","year":"1978","unstructured":"Akers, S.B.: Binary decision diagrams. IEEE Transactions on Computers\u00a027(6), 509\u2013516 (1978)","journal-title":"IEEE Transactions on Computers"},{"key":"27_CR5","unstructured":"Somenzi, F.: Binary decision diagrams. In: Calculational System Design. NATO Science Series F: Computer and Systems Sciences, vol.\u00a0173, pp. 303\u2013366. IOS Press (1999)"},{"key":"27_CR6","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.\u00a02332, pp. 222\u2013237. Springer, Heidelberg (2002)"},{"key":"27_CR7","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.\u00a04876, pp. 17\u201335. Springer, Heidelberg (2007)"},{"key":"27_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-540-77360-3_15","volume-title":"Selected Areas in Cryptography","author":"H. Raddum","year":"2007","unstructured":"Raddum, H.: MRHS Equation Systems. In: Adams, C., Miri, A., Wiener, M. (eds.) SAC 2007. LNCS, vol.\u00a04876, pp. 232\u2013245. Springer, Heidelberg (2007)"},{"issue":"1","key":"27_CR9","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. Designs, Codes and Cryptography\u00a049(1), 147\u2013160 (2008)","journal-title":"Designs, Codes and Cryptography"},{"key":"27_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-13797-6_11","volume-title":"Arithmetic of Finite Fields","author":"T.E. Schilling","year":"2010","unstructured":"Schilling, T.E., Raddum, H.: Solving Equation Systems by Agreeing and Learning. In: Hasan, M.A., Helleseth, T. (eds.) WAIFI 2010. LNCS, vol.\u00a06087, pp. 151\u2013165. Springer, Heidelberg (2010)"},{"key":"27_CR11","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1002\/j.1538-7305.1949.tb03624.x","volume":"28","author":"C.E. Shannon","year":"1949","unstructured":"Shannon, C.E.: The synthesis of two-terminal switching circuits. Bell Systems Technical Journal\u00a028, 59\u201398 (1949)","journal-title":"Bell Systems Technical Journal"},{"key":"27_CR12","unstructured":"McDonald, C., Charnes, C., Pieprzyk, J.: Attacking Bivium with MiniSat. eSTREAM, ECRYPT Stream Cipher Project, Report 2007\/040 (2007), \n                    \n                      http:\/\/www.ecrypt.eu.org\/stream"}],"container-title":["Lecture Notes in Computer Science","Sequences and Their Applications \u2013 SETA 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30615-0_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:46:31Z","timestamp":1620128791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30615-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642306143","9783642306150"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30615-0_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}