| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 4 |      | Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens: Extracting and verifying cryptographic models from C protocol code by symbolic execution. ACM Conference on Computer and Communications Security 2011: 331-340 |
| 3 | | Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens: Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution CoRR abs/1107.1017: (2011) |
| 2009 | ||
| 2 | | Mihhail Aizatulin, Henning Schnoor, Thomas Wilke: Computationally Sound Analysis of a Probabilistic Contract Signing Protocol. ESORICS 2009: 571-586 |
| 2006 | ||
| 1 | | Mihhail Aizatulin, Florian Diedrich, Klaus Jansen: Implementation of Approximation Algorithms for the Max-Min Resource Sharing Problem. WEA 2006: 207-218 |
| 1 | Florian Diedrich | [1] |
| 2 | Andrew D. Gordon (Andy Gordon) | [3] [4] |
| 3 | Klaus Jansen | [1] |
| 4 | Jan Jürjens | [3] [4] |
| 5 | Henning Schnoor | [2] |
| 6 | Thomas Wilke | [2] |
Colors in the list of coauthors
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page