Cryptology ePrint Archive: Report 2005/160

Available versions in chronological order

20050604:043721 (posted 04-Jun-2005 04:37:21 UTC): First Steps Toward a Cryptography-Aware Language and Compiler; M. Barbosa and R. Noad and D. Page and N.P. Smart

[ Cryptology ePrint archive ]