Skip to main content
Have a personal or library account? Click to login
A Comparison of Local Reduction and Sat-Solver Based Algebraic Cryptanalysis of Jh And Keccak Cover

A Comparison of Local Reduction and Sat-Solver Based Algebraic Cryptanalysis of Jh And Keccak

Tatra Mountains Mathematical Publications
Volume 53 (2012): Issue 1 (December 2012)
By: ,   and    
Open Access
|Feb 2013
References

References

  1. [1] ADAMČEK, P.:. Master’s Thesis. Slovak University of Technology in Bratislava, 2012. (In Slovak)
    Search in Google Scholar
  2. [2] BARD, G. V.:, Springer, Dordrecht, 2009.
    Open DOISearch in Google Scholar
  3. [3] BERTONI, G. - DAEMEN, J.- PEETERS, M.- VAN ASSCHE, G.:, Tech. Report, 2011, http://keccak.noekeon.org/Keccak-reference-3.0.pdf.
    Search in Google Scholar
  4. [4] BIERE, A.:, Tech. Report, Institute for Formal Models and Verication, Johannes Kepler University, Linz, Austria, 2010.
    Search in Google Scholar
  5. [5] COURTOIS, N. T. - BARD, G. V.:, in: Cryptography and Coding (S. Galbraith, ed.), Lecture Notes in Comput. Sci. Vol. 4887, Springer Berlin, 2007, pp. 152-169, http://dx.doi.org/10.1007/978-3-540-77272-9_10.
    Open DOISearch in Google Scholar
  6. [6] COURTOIS, N. T.:, Cryptol-ogy ePrint Archive, Report 2011/626, http://eprint.iacr.org/.
    Search in Google Scholar
  7. [7] COURTOIS, N. T. - BARD, G. V. - WAGNER, D.:, Cryptology ePrint Archive, Report 2007/062, http://eprint.iacr.org/.
    Search in Google Scholar
  8. [8] DAVIS, M. - LOGEMANN, G. - LOVELAND, D.:, Commun. ACM 5 (1962), 394-397, http://doi.acm.org/10.1145/368273.368557.
    Search in Google Scholar
  9. [9] GEISELMANN, W. - MATHEIS, K. - STEINWANDT, R.:, Cryptology ePrint Archive, Report 2009/222, http://eprint.iacr.org/.
    Open DOISearch in Google Scholar
  10. [10] IMPAGLIAZZO, R. - PATURI, R.:, in: Computational Complexity, Annual IEEE Conference 1999, IEEE Computer Society, Los Alamitos, CA, USA, pp. 237-240.
    Search in Google Scholar
  11. [11] LODERER, M.:. Master’s Thesis, Slovak University of Technology in Bratislava, 2012. (In Slovak)
    Search in Google Scholar
  12. [12] MORAWIECKI, P.- SREBRNY, M.:, Cryptology ePrint Archive, Report 2010/285, 2010, http://eprint.iacr.org/.
    Search in Google Scholar
  13. [13] RADDUM, H.:. Tech. Report 2006/039, eSTREAM, ECRYPT Stream Cipher Project, 2006.
    Search in Google Scholar
  14. [14] RADDUM, H.- SEMAEV, I.:, Cryp-tology ePrint Archive, Report 475/2006, http://eprint.iacr.org/2006/475.
    Search in Google Scholar
  15. [15] SCHILLING, T. - RADDUM, H.:, in: Arithmetic of Finite Fields (M. Hasan, T. Helleseth, eds.), Lecture Notes in Comput. Sci. Vol. 6087, Springer, Berlin, 2010, pp. 151-165. http://dx.doi.org/10.1007/978-3-642-13797-6_11.
    Open DOISearch in Google Scholar
  16. [16] SCHILLING, T. - ZAJAC, P.:, Tatra Mt. Math. Publ. 45 (2010), 93-105.
    Search in Google Scholar
  17. [17] SEMAEV, I.:, Des. Codes Cryptography 49 (2008), 47-60.
    Open DOISearch in Google Scholar
  18. [18] SEMAEV, I.:, SIAM J. Comput. 39 (2009), 388-409.
    Open DOISearch in Google Scholar
  19. [19] SEMAEV, I.:, Cryptology ePrint Archive, Report 140/2010, http://eprint.iacr.org/2010/140.
    Search in Google Scholar
  20. [20] SOOS, M.:, 2012, http://www.msoos.org/cryptominisat2/.
    Search in Google Scholar
  21. [21] VALKY, G.- LEHOCKI, F.:, in: BHI, IEEE, 2012, pp. 131-134.
    Search in Google Scholar
  22. [22] WU, H.:, Submission to NIST (round 3), (2011), http://www3.ntu.edu.sg/home/wuhj/research/jh/jh_round3.pdf.
    Search in Google Scholar
  23. [23] ZAJAC, P.:, 2012 (preprint).
    Search in Google Scholar
  24. [24] ZAJAC, P.:, Fund. Inform. 114 (2012), 359-373.
    Search in Google Scholar
  25. [25] ZAJAC, P.:, in: Proceedings of the 1st Plenary Conference of the NIL-I-004, University of Bergen, 2009, pp. 21-30.
    Search in Google Scholar
  26. [26] ZAJAC, P.:, 2010 (preprint).
    Search in Google Scholar
  27. [27] ZAJAC, P. - ČAGALA, R.:, Period. Math. Hungar. 65 (2012), 239-255.
    Open DOISearch in Google Scholar
  28. [28] ZAKREVSKIJ, A. - VASILKOVA, I.:, in: 4th International Workshop on Boolean Problems, Freiberg University, 2000, pp. 21-22.
    Search in Google Scholar
DOI: https://doi.org/10.2478/v10127-012-0036-6 | Journal eISSN: 1338-9750 (formerly 1210-3195) | Journal ISSN: 1210-3195
Journal RSS Feed
Language: English
Page range: 1 - 20
Published on: Feb 1, 2013
Published by: Slovak Academy of Sciences, Mathematical Institute
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
algebraic cryptanalysis,
local reduction,
JH,
Keccak
Related subjects:
Mathematics,
General mathematics

© 2013 Peter Adamček, Marek Loderer, Pavol Zajac, published by Slovak Academy of Sciences, Mathematical Institute
This work is licensed under the Creative Commons License.

Volume 53 (2012): Issue 1 (December 2012)
Next article