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.


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

This list was generated on Thu Jul 2 13:43:52 2020 BST.

Policies | Disclaimer

© The Open University   contact the OU