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,
@inproceedings{Moss:PEPM:2010,
title = {Bridging the Gap Between Symbolic and Efficient AES Implementations},
author = {Andrew Moss and Dan Page},
tags = {programming languages, model-to-model transformation, memoisation, data-flow language, transformation language, data-flow programming, data-flow, source-to-source, cryptography, AES, compiler, model transformation, systematic-approach, open-source, transformation, program transformation},
researchr = {https://researchr.org/publication/Moss%3APEPM%3A2010},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the {ACM SIGPLAN} 2010 Workshop on Partial Evaluation and Program Manipulation},
editor = {John P. Gallagher and Janis Voigtländer},
publisher = {ACM},
}