Changyong Peng, Chuangying zhu, Yuefei Zhu, Fei Kang. Symbolic computation in block cipher with application to PRESENT. IACR Cryptology ePrint Archive, 2012:587, 2012. [doi]
@article{PengzZK12a, title = {Symbolic computation in block cipher with application to PRESENT}, author = {Changyong Peng and Chuangying zhu and Yuefei Zhu and Fei Kang}, year = {2012}, url = {http://eprint.iacr.org/2012/587}, researchr = {https://researchr.org/publication/PengzZK12a}, cites = {0}, citedby = {0}, journal = {IACR Cryptology ePrint Archive}, volume = {2012}, pages = {587}, }