Mihhail Aizatulin

According to our database, Mihhail Aizatulin authored at least 8 papers between 2006 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2020

Verifying Cryptographic Security Implementations in C Using Automated Model Extraction.

Mihhail Aizatulin

CoRR, 2020

2015

Verifying cryptographic security implementations in C using automated model extraction.

Mihhail Aizatulin

PhD thesis, 2015

2013

A model-learner pattern for bayesian reasoning.

Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgström, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2012

Computational verification of C protocol implementations by symbolic execution.

Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

Verifying Cryptographic Code in C: Some Experience and the Csec Challenge.

Mihhail Aizatulin, François Dupressoir, Andrew D. Gordon, Jan Jürjens

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

Extracting and verifying cryptographic models from C protocol code by symbolic execution.

Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2009

Computationally Sound Analysis of a Probabilistic Contract Signing Protocol.

Mihhail Aizatulin, Henning Schnoor, Thomas Wilke

Proceedings of the Computer Security, 2009

2006

Implementation of Approximation Algorithms for the Max-Min Resource Sharing Problem.

Mihhail Aizatulin, Florian Diedrich, Klaus Jansen

Proceedings of the Experimental Algorithms, 5th International Workshop, 2006