The Open UniversitySkip to content
 

Open Research Online
Items Authored or Edited by Mihail Aizatulin

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0 [Create Shortened URL] SURL
Group by: Published Date | Item Type | Authors/Editors/Creators | No Grouping
Jump to: 2015
Number of items: 1.

2015

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

This list was generated on Sun Mar 26 23:36:05 2017 BST.

Policies | Disclaimer

© The Open University   + 44 (0)870 333 4340   general-enquiries@open.ac.uk