According to our database1, Behnam Sattarzadeh authored at least 6 papers between 2006 and 2015.
Legend:Book In proceedings Article PhD thesis Other
Automated type-based analysis of injective agreement in the presence of compromised principals.
J. Log. Algebr. Meth. Program., 2015
Typing secure implementation of authentication protocols in environments with compromised principals.
Security and Communication Networks, 2014
Is Cryptyc Able to Detect Insider Attacks?
Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011
Anonymous authentication protocol for GSM networks.
Improved User Identity Confidentiality for UMTS Mobile Networks.
Proceedings of the Fourth European Conference on Universal Multiservice Networks (ECUMN 2007), 2007
Security Enhancement for a Low Computation Cost User Authentication Scheme.
Proceedings of the SECRYPT 2006, 2006