 | 2011 |
|---|
| 8 |       | Kohei Honda,
Aybek Mukhamedov,
Gary Brown,
Tzu-Chun Chen,
Nobuko Yoshida:
Scribbling Interactions with a Formal Foundation.
ICDCIT 2011: 55-75 |
| 2010 |
|---|
| 7 | | 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) |
| 2008 |
|---|
| 6 | | Aybek Mukhamedov,
Mark Dermot Ryan:
Fair multi-party contract signing using private contract signatures.
Inf. Comput. 206(2-4): 272-290 (2008) |
| 2007 |
|---|
| 5 | | Aybek Mukhamedov,
Mark Ryan:
Improved Multi-party Contract Signing.
Financial Cryptography 2007: 179-191 |
| 4 | | Aybek Mukhamedov,
Mark Dermot Ryan:
Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus.
TGC 2007: 330-346 |
| 2006 |
|---|
| 3 | | Aybek Mukhamedov,
Mark Dermot Ryan:
Resolve-Impossibility for a Contract-Signing Protocol.
CSFW 2006: 167-176 |
| 2005 |
|---|
| 2 | | 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 |
| 1 | | Aybek Mukhamedov,
Mark Dermot Ryan:
On Anonymity with Identity Escrow.
Formal Aspects in Security and Trust 2005: 235-243 |
Data released under the ODC-BY 1.0 license — See also our legal information page