Bridging the Gap Between Symbolic and Efficient AES Implementations

Andrew Moss, Dan Page. Bridging the Gap Between Symbolic and Efficient AES Implementations. In John P. Gallagher, Janis Voigtländer, editors, Proceedings of the ACM SIGPLAN 2010 Workshop on Partial Evaluation and Program Manipulation. ACM,

Bibliographies