Mihhail Aizatulin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2009–2013
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | POPL | A model-learner pattern for bayesian reasoning. | Andrew D. Gordon, Mihhail Aizatulin, Johannes Borgstrm, Guillaume Claret, Thore Graepel, Aditya V. Nori, Sriram K. Rajamani, Claudio V. Russo |
| 2012 | CCS | Computational verification of C protocol implementations by symbolic execution. | Mihhail Aizatulin, Andrew D. Gordon, Jan Jrjens |
| 2011 | CCS | Extracting and verifying cryptographic models from C protocol code by symbolic execution. | Mihhail Aizatulin, Andrew D. Gordon, Jan Jrjens |
| 2009 | ESORICS | Computationally Sound Analysis of a Probabilistic Contract Signing Protocol. | Mihhail Aizatulin, Henning Schnoor, Thomas Wilke |