Michael Backes Matthias Berg Dominique Unruh A Formal Language for Cryptographic Pseudocode. 353-376 2008 LPAR http://dx.doi.org/10.1007/978-3-540-89439-1_26 conf/lpar/2008 db/conf/lpar/lpar2008.html#BackesBU08