Manuel Barbosa, Richard Noad, Daniel Page, Nigel P. Smart. First Steps Toward a Cryptography-Aware Language and Compiler. IACR Cryptology ePrint Archive, 2005:160, 2005. [doi]
@article{BarbosaNPS05,
title = {First Steps Toward a Cryptography-Aware Language and Compiler},
author = {Manuel Barbosa and Richard Noad and Daniel Page and Nigel P. Smart},
year = {2005},
url = {http://eprint.iacr.org/2005/160},
researchr = {https://researchr.org/publication/BarbosaNPS05},
cites = {0},
citedby = {0},
journal = {IACR Cryptology ePrint Archive},
volume = {2005},
pages = {160},
}