Hendrik Post, Carsten Sinz. Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking. In ICST 2009, Second International Conference on Software Testing Verification and Validation, 1-4 April 2009, Denver, Colorado, USA. pages 31-40, IEEE Computer Society, 2009. [doi]
@inproceedings{PostS09, title = {Proving Functional Equivalence of Two AES Implementations Using Bounded Model Checking}, author = {Hendrik Post and Carsten Sinz}, year = {2009}, doi = {10.1109/ICST.2009.39}, url = {http://doi.ieeecomputersociety.org/10.1109/ICST.2009.39}, tags = {model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/PostS09}, cites = {0}, citedby = {0}, pages = {31-40}, booktitle = {ICST 2009, Second International Conference on Software Testing Verification and Validation, 1-4 April 2009, Denver, Colorado, USA}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-3601-9}, }