- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c8 |      | Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida: Scribbling Interactions with a Formal Foundation. ICDCIT 2011: 55-75 |
| 2010 | ||
| j2 | | Aybek Mukhamedov, Mark Dermot Ryan: Identity Escrow Protocol and Anonymity Analysis in the Applied Pi-Calculus. ACM Trans. Inf. Syst. Secur. 13(4): 41 (2010) |
| 2009 | ||
| c7 | | Aybek Mukhamedov, Andrew D. Gordon, Mark Ryan: Towards a Verified Reference Implementation of a Trusted Platform Module. Security Protocols Workshop 2009: 69-81 |
| c6 | | Aybek Mukhamedov: Towards a Verified Reference Implementation of a Trusted Platform Module. Security Protocols Workshop 2009: 82-86 |
| 2008 | ||
| j1 | | Aybek Mukhamedov, Mark Dermot Ryan: Fair multi-party contract signing using private contract signatures. Inf. Comput. 206(2-4): 272-290 (2008) |
| 2007 | ||
| c5 | | Aybek Mukhamedov, Mark Ryan: Improved Multi-party Contract Signing. Financial Cryptography 2007: 179-191 |
| c4 | | Aybek Mukhamedov, Mark Dermot Ryan: Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus. TGC 2007: 330-346 |
| 2006 | ||
| c3 | | Aybek Mukhamedov, Mark Dermot Ryan: Resolve-Impossibility for a Contract-Signing Protocol. CSFW 2006: 167-176 |
| 2005 | ||
| c2 | | Aybek Mukhamedov, Steve Kremer, Eike Ritter: Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model. Financial Cryptography 2005: 255-269 |
| c1 | | Aybek Mukhamedov, Mark Dermot Ryan: On Anonymity with Identity Escrow. Formal Aspects in Security and Trust 2005: 235-243 |
| 1 | Gary Brown | |
| 2 | Tzu-Chun Chen | |
| 3 | Andrew D. Gordon (Andy Gordon) | |
| 4 | Kohei Honda | |
| 5 | Steve Kremer | |
| 6 | Eike Ritter | |
| 7 | Mark Ryan (Mark Dermot Ryan) | |
| 8 | Nobuko Yoshida |
Colors in the list of coauthors
Last update Sun May 26 03:53:52 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page