1. Mihail Aizatulin. 2011. Csec-Modex. https://github.com/tari3x/csec-modex.
2. Mihail Aizatulin. 2015. Verifying Cryptographic Security Implementations in C Using Automated Model Extraction. Ph.,D. Dissertation. The Open University. http://arxiv.org/abs/2001.00806
3. Extracting and verifying cryptographic models from C protocol code by symbolic execution
4. Computational verification of C protocol implementations by symbolic execution
5. Michael Backes, Matthias Berg, and Dominique Unruh. 2008. A Formal Language for Cryptographic Pseudocode. In Logic for Programming, Artificial Intelligence, and Reasoning (Berlin, Heidelberg), Iliano Cervesato, Helmut Veith, and Andrei Voronkov (Eds.). Springer, 353--376.