Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model. - Aybek Mukhamedov; Steve Kremer; Eike Ritter (Financial Cryptography, 2005)

On Anonymity with Identity Escrow. - Aybek Mukhamedov; Mark Dermot Ryan (Formal Aspects in Security and Trust, 2005)

Resolve-Impossibility for a Contract-Signing Protocol. - Aybek Mukhamedov; Mark Dermot Ryan (CSFW, 2006)

Improved Multi-party Contract Signing. - Aybek Mukhamedov; Mark Ryan 001 (Financial Cryptography, 2007)

Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus. - Aybek Mukhamedov; Mark Dermot Ryan (TGC, 2007)

Fair multi-party contract signing using private contract signatures. - Aybek Mukhamedov; Mark Dermot Ryan (Inf. Comput., 2008)

Towards a Verified Reference Implementation of a Trusted Platform Module. - Aybek Mukhamedov (Security Protocols Workshop, 2009)

Towards a Verified Reference Implementation of a Trusted Platform Module. - Aybek Mukhamedov; Andrew D. Gordon 001; Mark Ryan 001 (Security Protocols Workshop, 2009)

Identity Escrow Protocol and Anonymity Analysis in the Applied Pi-Calculus. - Aybek Mukhamedov; Mark Dermot Ryan (ACM Trans. Inf. Syst. Secur., 2010)

Scribbling Interactions with a Formal Foundation. - Kohei Honda 001; Aybek Mukhamedov; Gary Brown; Tzu-Chun Chen; Nobuko Yoshida (ICDCIT, 2011)