Issues on Designing a Cryptographic Compiler.

Stefan Lucks Nico Schmoigl Emin Islam Tatli Issues on Designing a Cryptographic Compiler. 109-122 2005 conf/weworc/2005 WEWoRC db/conf/weworc/weworc2005.html#LucksST05