{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T21:29:17Z","timestamp":1725744557930},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405877"},{"type":"electronic","value":"9783642405884"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40588-4_6","type":"book-chapter","created":{"date-parts":[[2013,8,9]],"date-time":"2013-08-09T01:54:24Z","timestamp":1376013264000},"page":"75-90","source":"Crossref","is-referenced-by-count":0,"title":["A Comparison between Two Off-the-Shelf Algebraic Tools for Extraction of Cryptographic Keys from Corrupted Memory Images"],"prefix":"10.1007","author":[{"given":"Abdel Alim","family":"Kamal","sequence":"first","affiliation":[]},{"given":"Roger","family":"Zahno","sequence":"additional","affiliation":[]},{"given":"Amr M.","family":"Youssef","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/3-540-68697-5_9","volume-title":"Advances in Cryptology - CRYPTO 1996","author":"P.C. Kocher","year":"1996","unstructured":"Kocher, P.C.: Timing Attacks on Implementations of Diffie-Hellman, RSA, DSS, and Other Systems. In: Koblitz, N. (ed.) CRYPTO 1996. LNCS, vol.\u00a01109, pp. 104\u2013113. Springer, Heidelberg (1996)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/3-540-48405-1_25","volume-title":"Advances in Cryptology - CRYPTO 1999","author":"P.C. Kocher","year":"1999","unstructured":"Kocher, P.C., Jaffe, J., Jun, B.: Differential Power Analysis. In: Wiener, M.J. (ed.) CRYPTO 1999. LNCS, vol.\u00a01666, pp. 388\u2013397. Springer, Heidelberg (1999)"},{"key":"6_CR3","unstructured":"Halderman, J.A., Schoen, S.D., Heninger, N., Clarkson, W., Paul, W., Calandrino, J.A., Feldman, A.J., Appelbaum, J., Felten, E.W.: Lest We Remember: Cold Boot Attacks on Encryption Keys. In: van Oorschot, P.C. (ed.) USENIX Security Symposium, pp. 45\u201360. USENIX Association (2008)"},{"key":"6_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-03356-8_1","volume-title":"Advances in Cryptology - CRYPTO 2009","author":"N. Heninger","year":"2009","unstructured":"Heninger, N., Shacham, H.: Reconstructing RSA Private Keys from Random Key Bits. In: Halevi, S. (ed.) CRYPTO 2009. LNCS, vol.\u00a05677, pp. 1\u201317. Springer, Heidelberg (2009)"},{"key":"6_CR5","unstructured":"Skorobogatov, S.: Low temperature data remanence in static RAM. Technical Report UCAM-CL-TR-536, University of Cambridge, Computer Laboratory (2002)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-642-05445-7_14","volume-title":"Selected Areas in Cryptography","author":"A. Tsow","year":"2009","unstructured":"Tsow, A.: An Improved Recovery Algorithm for Decayed AES Key Schedule Images. In: Jacobson Jr., M.J., Rijmen, V., Safavi-Naini, R. (eds.) SAC 2009. LNCS, vol.\u00a05867, pp. 215\u2013230. Springer, Heidelberg (2009)"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-642-21554-4_4","volume-title":"Applied Cryptography and Network Security","author":"M. Albrecht","year":"2011","unstructured":"Albrecht, M., Cid, C.: Cold Boot Key Recovery by Solving Polynomial Systems with Noise. In: Lopez, J., Tsudik, G. (eds.) ACNS 2011. LNCS, vol.\u00a06715, pp. 57\u201372. Springer, Heidelberg (2011)"},{"key":"6_CR8","unstructured":"CryptoMiniSat, \n                      \n                        http:\/\/www.msoos.org\/cryptominisat2\/\n                      \n                      \n                     (accessed November 2012)"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Brickenstein, M., Dreyer, A.: PolyBoRi: A framework for Gr\u00f6bner-basis computations with Boolean polynomials. Journal of Symbolic Computation, 1326\u20131345 (September 2009)","DOI":"10.1016\/j.jsc.2008.02.017"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/3-540-48390-X_9","volume-title":"Financial Cryptography","author":"A. Shamir","year":"1999","unstructured":"Shamir, A., van Someren, N.: Playing \u2018Hide and Seek\u2019 with Stored Keys. In: Franklin, M. (ed.) FC 1999. LNCS, vol.\u00a01648, pp. 118\u2013124. Springer, Heidelberg (1999)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Maartmann-Moe, C., Thorkildsen, S.E., \u00c5rnes, A.: The persistence of memory: Forensic identification and extraction of cryptographic keys. Digital Investigation, 132\u2013140 (2009)","DOI":"10.1016\/j.diin.2009.06.002"},{"key":"6_CR12","unstructured":"Kaplan, B.: RAM is Key, Extracting Disk Encryption Keys From Volatile Memory. Master\u2019s thesis, Carnegie Mellon University (May 2007)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-71039-4_6","volume-title":"Fast Software Encryption","author":"N.T. Courtois","year":"2008","unstructured":"Courtois, N.T., Bard, G.V., Wagner, D.: Algebraic and Slide Attacks on KeeLoq. In: Nyberg, K. (ed.) FSE 2008. LNCS, vol.\u00a05086, pp. 97\u2013115. Springer, Heidelberg (2008)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-540-77272-9_10","volume-title":"Cryptography and Coding","author":"N.T. Courtois","year":"2007","unstructured":"Courtois, N.T., Bard, G.V.: Algebraic Cryptanalysis of the Data Encryption Standard. In: Galbraith, S.D. (ed.) Cryptography and Coding 2007. LNCS, vol.\u00a04887, pp. 152\u2013169. Springer, Heidelberg (2007)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-642-14423-3_6","volume-title":"Information, Security and Cryptology \u2013 ICISC 2009","author":"J. Erickson","year":"2010","unstructured":"Erickson, J., Ding, J., Christensen, C.: Algebraic Cryptanalysis of SMS4: Gr\u00f6bner Basis Attack and SAT Attack Compared. In: Lee, D., Hong, S. (eds.) ICISC 2009. LNCS, vol.\u00a05984, pp. 73\u201386. Springer, Heidelberg (2010)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: Gr\u00f6bner-Bases: An Algorithmic Method in Polynomial Ideal Theory, ch. 6, pp. 184\u2013232. Reidel Publishing Company, Dodrecht (1985)","DOI":"10.1007\/978-94-009-5225-6_6"},{"key":"6_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/11605805_20","volume-title":"Topics in Cryptology \u2013 CT-RSA 2006","author":"J. Buchmann","year":"2006","unstructured":"Buchmann, J., Pyshkin, A., Weinmann, R.-P.: Block Ciphers Sensitive to Gr\u00f6bner Basis Attacks. In: Pointcheval, D. (ed.) CT-RSA 2006. LNCS, vol.\u00a03860, pp. 313\u2013331. Springer, Heidelberg (2006)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/978-3-540-79719-7_7","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2008","author":"T. Eibach","year":"2008","unstructured":"Eibach, T., Pilz, E., V\u00f6lkel, G.: Attacking Bivium using SAT solvers. In: Kleine B\u00fcning, H., Zhao, X. (eds.) SAT 2008. LNCS, vol.\u00a04996, pp. 63\u201376. Springer, Heidelberg (2008)"},{"key":"6_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-04474-8_14","volume-title":"Information Security","author":"N.T. Courtois","year":"2009","unstructured":"Courtois, N.T., O\u2019Neil, S., Quisquater, J.-J.: Practical Algebraic Attacks on the Hitag2 Stream Cipher. In: Samarati, P., Yung, M., Martinelli, F., Ardagna, C.A. (eds.) ISC 2009. LNCS, vol.\u00a05735, pp. 167\u2013176. Springer, Heidelberg (2009)"},{"key":"6_CR20","unstructured":"Courtois, N.T., Nohl, K., O\u2019Neil, S.: Algebraic Attacks on the Crypto-1 Stream Cipher in MiFare Classic and Oyster Cards. Cryptology ePrint Archive, Report 2008\/166 (2008)"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Velichkov, V., Rijmen, V., Preneel, B.: Algebraic cryptanalysis of a small-scale version of stream cipher Lex. IET Information Security, 49\u201361 (June 2010)","DOI":"10.1049\/iet-ifs.2009.0118"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1007\/11814948_13","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2006","author":"I. Mironov","year":"2006","unstructured":"Mironov, I., Zhang, L.: Applications of SAT Solvers to Cryptanalysis of Hash Functions. In: Biere, A., Gomes, C.P. (eds.) SAT 2006. LNCS, vol.\u00a04121, pp. 102\u2013115. Springer, Heidelberg (2006)"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-540-72788-0_36","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2007","author":"D. De","year":"2007","unstructured":"De, D., Kumarasubramanian, A., Venkatesan, R.: Inversion Attacks on Secure Hash Functions Using sat Solvers. In: Marques-Silva, J., Sakallah, K.A. (eds.) SAT 2007. LNCS, vol.\u00a04501, pp. 377\u2013382. Springer, Heidelberg (2007)"},{"key":"6_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-540-74619-5_22","volume-title":"Fast Software Encryption","author":"M. Sugita","year":"2007","unstructured":"Sugita, M., Kawazoe, M., Perret, L., Imai, H.: Algebraic Cryptanalysis of 58-Round SHA-1. In: Biryukov, A. (ed.) FSE 2007. LNCS, vol.\u00a04593, pp. 349\u2013365. Springer, Heidelberg (2007)"},{"key":"6_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11535218_2","volume-title":"Advances in Cryptology \u2013 CRYPTO 2005","author":"X. Wang","year":"2005","unstructured":"Wang, X., Yin, Y.L., Yu, H.: Finding Collisions in the Full SHA-1. In: Shoup, V. (ed.) CRYPTO 2005. LNCS, vol.\u00a03621, pp. 17\u201336. Springer, Heidelberg (2005)"},{"key":"6_CR26","unstructured":"Segers, A.: Algebraic Attacks from a Groebner Basis Perspective. Master\u2019s thesis, Technische Universiteit Eindhoven (October 2004)"},{"key":"6_CR27","unstructured":"Boolean Polynomials, Sage Reference Manual V4.7.2, \n                      \n                        http:\/\/www.sagemath.org\/doc\/reference\/sage\/rings\/polynomial\/pbori.html\n                      \n                      \n                     (accessed November 2012)"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1145\/800157.805047","volume-title":"Proceedings of the Third Annual ACM Symposium on Theory of Computing, STOC 1971","author":"S.A. Cook","year":"1971","unstructured":"Cook, S.A.: The complexity of theorem-proving procedures. In: Proceedings of the Third Annual ACM Symposium on Theory of Computing, STOC 1971, pp. 151\u2013158. ACM, New York (1971)"},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"Daemen, J., Rijmen, V.: The Design of Rijndael: AES - The Advanced Encryption Standard. Springer (2002)","DOI":"10.1007\/978-3-662-04722-4"},{"key":"6_CR30","unstructured":"Federal Information Processing Standards Publication (FIPS 197). Advanced Encryption Standard, AES (2001)"},{"key":"6_CR31","unstructured":"Anderson, R., Biham, E., Knudsen, L.: Serpent: A Proposal for the Advanced Encryption Standard, \n                      \n                        http:\/\/www.cl.cam.ac.uk\/~rja14\/serpent.html\n                      \n                      \n                     (accessed October 2012)"},{"key":"6_CR32","doi-asserted-by":"crossref","unstructured":"Kamal, A., Youssef, A.: Applications of SAT Solvers to AES Key Recovery from Decayed Key Schedule Images. In: 2010 Fourth International Conference on Emerging Security Information Systems and Technologies (SECURWARE), pp. 216\u2013220 (July 2010)","DOI":"10.1109\/SECURWARE.2010.42"},{"key":"6_CR33","unstructured":"Twofish, \n                      \n                        http:\/\/www.schneier.com\/twofish.html\n                      \n                      \n                     (accessed September 2012)"}],"container-title":["Lecture Notes in Computer Science","Security Engineering and Intelligence Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40588-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T14:02:18Z","timestamp":1558015338000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40588-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405877","9783642405884"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40588-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}