Aybek Mukhamedov

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Scribbling Interactions with a Formal Foundation.
Proceedings of the Distributed Computing and Internet Technology, 2011

2010
Identity Escrow Protocol and Anonymity Analysis in the Applied Pi-Calculus.
ACM Trans. Inf. Syst. Secur., 2010

2009
Towards a Verified Reference Implementation of a Trusted Platform Module.
Proceedings of the Security Protocols XVII, 2009

Towards a Verified Reference Implementation of a Trusted Platform Module.
Proceedings of the Security Protocols XVII, 2009

2008
Fair multi-party contract signing using private contract signatures.
Inf. Comput., 2008

2007
Anonymity Protocol with Identity Escrow and Analysis in the Applied n-Calculus.
Proceedings of the Trustworthy Global Computing, Third Symposium, 2007

Improved Multi-party Contract Signing.
Proceedings of the Financial Cryptography and Data Security, 2007

2006
Resolve-Impossibility for a Contract-Signing Protocol.
Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005
On Anonymity with Identity Escrow.
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.
Proceedings of the Financial Cryptography and Data Security, 2005


  Loading...