Affiliation:
1. Department of MathematicsRoyal Military AcademyBelgium
Publisher
Institution of Engineering and Technology (IET)
Subject
Computer Networks and Communications,Information Systems,Software
Reference29 articles.
1. Logical cryptanalysis as a SAT problem;Massacci F.;J. Autom. Reason.,2000
2. R: A Language for Data Analysis and Graphics
3. The R project in statistical computing. MSOR connections;Ripley B.D.;Newsl. LTSN Maths, Stats OR Netw.,2001
4. Legendre F. Dequen G. Rajecki M.: ‘Logical reasoning to detect weaknesses about SHA‐1 and MD4/5’. Report 2014/239 Cryptology ePrint Archive 2014. Available athttp://eprint.iacr.org/2014/239
5. Mironov I. Zhang L.: ‘Applications of SAT solvers to cryptanalysis of hash functions’.Theory and Applications of Satisfiability Testing – SAT 2006 Seattle WA USA August 12–15 2006(LNCS 4121) pp.102–115
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献