Aybek Mukhamedov

According to our database, Aybek Mukhamedov authored at least 10 papers between 2005 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Scribbling Interactions with a Formal Foundation.

Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen, Nobuko Yoshida

Proceedings of the Distributed Computing and Internet Technology, 2011

2010

Identity Escrow Protocol and Anonymity Analysis in the Applied Pi-Calculus.

Aybek Mukhamedov, Mark Dermot Ryan

ACM Trans. Inf. Syst. Secur., 2010

2009

Towards a Verified Reference Implementation of a Trusted Platform Module.

Aybek Mukhamedov, Andrew D. Gordon, Mark Ryan

Proceedings of the Security Protocols XVII, 2009

Towards a Verified Reference Implementation of a Trusted Platform Module.

Aybek Mukhamedov

Proceedings of the Security Protocols XVII, 2009

2008

Fair multi-party contract signing using private contract signatures.

Aybek Mukhamedov, Mark Dermot Ryan

Inf. Comput., 2008

2007

Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus.

Aybek Mukhamedov, Mark Dermot Ryan

Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Improved Multi-party Contract Signing.

Aybek Mukhamedov, Mark Ryan

Proceedings of the Financial Cryptography and Data Security, 2007

2006

Resolve-Impossibility for a Contract-Signing Protocol.

Aybek Mukhamedov, Mark Dermot Ryan

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005

On Anonymity with Identity Escrow.

Aybek Mukhamedov, Mark Dermot Ryan

Proceedings of the Formal Aspects in Security and Trust, Third International Workshop, 2005

Analysis of a Multi-party Fair Exchange Protocol and Formal Proof of Correctness in the Strand Space Model.

Aybek Mukhamedov, Steve Kremer, Eike Ritter

Proceedings of the Financial Cryptography and Data Security, 2005