Mihhail Aizatulin

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 1

Top Topics

Computational Model

Symbolic Execution

Protocol Specification

Top Venues

Open University, Milton Keynes, UK (PHD)

Education History

Open University, Milton Keynes, UK

PHD

Publications

Mihhail Aizatulin
Verifying Cryptographic Security Implementations in C Using Automated Model Extraction. CoRR (2020)
Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo
A model-learner pattern for bayesian reasoning. POPL (2013)
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
Computational verification of C protocol implementations by symbolic execution. CCS (2012)
Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon, Jan Jürjens
Verifying Cryptographic Code in C: Some Experience and the Csec Challenge. Formal Aspects in Security and Trust (2011)
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
Extracting and verifying cryptographic models from C protocol code by symbolic execution. CCS (2011)
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution CoRR (2011)
Mihhail Aizatulin, Henning Schnoor, Thomas Wilke
Computationally Sound Analysis of a Probabilistic Contract Signing Protocol. ESORICS (2009)
Mihhail Aizatulin, Florian Diedrich, Klaus Jansen
Implementation of Approximation Algorithms for the Max-Min Resource Sharing Problem. WEA (2006)