Author:
Gundaram Praveen Kumar,Tentu Appala Naidu,Muppalaneni Naresh Babu
Reference16 articles.
1. De Moura L, Bjorner N (2011) Satisfiability modulo theories: introduction and applications. Commun ACM 54(9):69–77
2. Ranise S, Tinelli C (2006) The satisfiability modulo theories library (smt-lib) Available at http://goedel.cs.uiowa.edu/smtlib
3. Brummayer R (2009) Efficient SMT solving for bit-vectors and the extensional theory of arrays. PhD thesis, Johannes Kepler University Linz, Austria
4. Beaulieu R, Shors D, Smith J, Treatman-Clark S, Weeks B, Wingers L (2015) SIMON and SPECK: block ciphers for the internet of things. IACR Cryptology ePrint Archive 2015/585. http://eprint.iacr.org/2015/585
5. Pascal J, Marco M (2009) Revisiting the idea philosophy. In: Orr D (ed) Fast software encryption. 5665 of lecture notes in computer science. Springer, Berlin Heidelberg, pp 277–295
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Simon Chaotic: An enhancement of SIMON block cipher by using Arnold and Henon chaotic maps;2022 8th International Conference on Contemporary Information Technology and Mathematics (ICCITM);2022-08-31