{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,5]],"date-time":"2026-08-05T18:12:37Z","timestamp":1785953557929,"version":"3.56.0"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642231773","type":"print"},{"value":"9783642231780","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-23178-0_43","type":"book-chapter","created":{"date-parts":[[2011,9,10]],"date-time":"2011-09-10T07:15:58Z","timestamp":1315638958000},"page":"473-483","source":"Crossref","is-referenced-by-count":16,"title":["Parallel Logical Cryptanalysis of the Generator A5\/1 in BNB-Grid System"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Semenov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Oleg","family":"Zaikin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dmitry","family":"Bespalov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mikhail","family":"Posypkin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"43_CR1","doi-asserted-by":"crossref","unstructured":"Cook, S.A., Mitchel, D.G.: Finding hard instances of the satisfiability problem: A survey. In: DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol.\u00a035, pp. 1\u201317 (1997)","DOI":"10.1090\/dimacs\/035\/01"},{"issue":"1-2","key":"43_CR2","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/A:1006326723002","volume":"24","author":"F. Massacci","year":"2000","unstructured":"Massacci, F., Marraro, L.: Logical Cryptanalysis as a SAT Problem. Journal of Automated Reasoning\u00a024(1-2), 165\u2013203 (2000)","journal-title":"Journal of Automated Reasoning"},{"key":"43_CR3","unstructured":"McDonald, C., Charnes, C., Pieprzyk, J.: Attacking Bivium with Minisat. Technical Report, 2007\/040, ECRYPT Stream Cipher Project (2007)"},{"issue":"6","key":"43_CR4","first-page":"134","volume":"13","author":"A.A. Semenov","year":"2008","unstructured":"Semenov, A.A., Zaikin, O.S., Bespalov, D.V., Ushakov, A.A.: SAT-approach for cryptanalysis of some stream ciphering systems. Journal of Computational Technologies\u00a013(6), 134\u2013150 (2008) (in Russian)","journal-title":"Journal of Computational Technologies"},{"key":"43_CR5","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.\u00a05584, pp. 244\u2013257. Springer, Heidelberg (2009)"},{"key":"43_CR6","unstructured":"Afanasiev, A., Posypkin, M., Sigal, I.: Project BNB-Grid: solving large scale optimization problems in a distributed environment. In: 21 International Symposium on Nuclear Electronics and Computing, Dubna, pp. 15\u201319 (2008)"},{"key":"43_CR7","doi-asserted-by":"crossref","unstructured":"Tseitin, G.S.: On the complexity of derivation in propositional calculus. Studies in Constructive Mathematics and Mathematical Logic, part 2, pp. 115\u2013125 (1968)","DOI":"10.1007\/978-1-4899-5327-8_25"},{"issue":"11","key":"43_CR8","doi-asserted-by":"publisher","first-page":"1498","DOI":"10.1109\/TC.2008.80","volume":"57","author":"T. Guneysu","year":"2008","unstructured":"Guneysu, T., Kasper, T., Novotny, M., Paar, C., Rupp, A.: Cryptanalysis with COPACOBANA. IEEE Transactions on Computers\u00a057(11), 1498\u20131513 (2008)","journal-title":"IEEE Transactions on Computers"},{"key":"43_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44706-7_1","volume-title":"Fast Software Encryption","author":"A. Biryukov","year":"2001","unstructured":"Biryukov, A., Shamir, A., Wagner, D.: Real time cryptanalysis of A5\/1 on a PC. In: Schneier, B. (ed.) FSE 2000. LNCS, vol.\u00a01978, pp. 1\u201318. Springer, Heidelberg (2001)"},{"key":"43_CR10","doi-asserted-by":"publisher","DOI":"10.1201\/9781439821916","volume-title":"Handbook of Applied Cryptography","author":"A. Menezes","year":"1996","unstructured":"Menezes, A., Van Oorschot, P., Vanstone, S.: Handbook of Applied Cryptography. CRC Press, Boca Raton (1996)"},{"key":"43_CR11","unstructured":"The MiniSat page, http:\/\/www.minisat.se"},{"issue":"5","key":"43_CR12","doi-asserted-by":"publisher","first-page":"506","DOI":"10.1109\/12.769433","volume":"48","author":"J.P. Marqeus-Silva","year":"1999","unstructured":"Marqeus-Silva, J.P., Sakallah, K.A.: GRASP: A search algorithm for propositional satisfiability. IEEE Trans. on Computers\u00a048(5), 506\u2013521 (1999)","journal-title":"IEEE Trans. on Computers"},{"key":"43_CR13","unstructured":"Chebyshev supercomputer, http:\/\/parallel.ru\/cluster\/skif_msu.html"},{"issue":"3","key":"43_CR14","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s00450-009-0083-7","volume":"23","author":"Y. Evtushenko","year":"2009","unstructured":"Evtushenko, Y., Posypkin, M., Sigal, I.: A framework for parallel large-scale global optimization. Computer Science \u2013 Research and Development\u00a023(3), 211\u2013215 (2009)","journal-title":"Computer Science \u2013 Research and Development"},{"key":"43_CR15","unstructured":"Top 50 CIS Supercomputers, http:\/\/www.supercomputers.ru"},{"key":"43_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/3-540-69053-0_17","volume-title":"Advances in Cryptology - EUROCRYPT \u201997","author":"J. Golic","year":"1997","unstructured":"Golic, J.: Cryptanalysis of Alleged A5 Stream Cipher. In: Fumy, W. (ed.) EUROCRYPT 1997. LNCS, vol.\u00a01233, pp. 239\u2013255. Springer, Heidelberg (1997)"},{"key":"43_CR17","unstructured":"BOINC: Open-source software for volunteer computing and grid computing, http:\/\/boinc.berkeley.edu\/"},{"key":"43_CR18","unstructured":"Parallel logical cryptanalysis of the generator A5\/1, http:\/\/sat.all24.org"}],"container-title":["Lecture Notes in Computer Science","Parallel Computing Technologies"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23178-0_43","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,15]],"date-time":"2019-06-15T07:52:46Z","timestamp":1560585166000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23178-0_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642231773","9783642231780"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23178-0_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}