Backes, Michael Group M. Backes, Max Planck Institute for Software Systems, Max Planck Society;
Backes, M., Berg, M., & Unruh, D. (2008). A Formal Language for Cryptographic Pseudocode. In I., Cervesato, H., Veith, & A., Voronkov (Eds.), Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008 (pp. 353-376). Berlin: Springer.