Andrew Moss, Dan Page. Bridging the gap between symbolic and efficient AES implementations. In John P. Gallagher, Janis Voigtländer, editors, Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010. pages 101-110, ACM, 2010. [doi]
Abstract is missing.