Currently browsing: Items authored or edited by Mihail Aizatulin

1 items in this list.
Generated on Tue Oct 15 04:37:54 2024 BST.

2015To Top

Aizatulin, Mihail (2015). Verifying Cryptographic Security Implementations in C Using Automated Model Extraction. PhD thesis The Open University.

Export

Subscribe to these results

get details to embed this page in another page Embed as feed [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0