Security Enhancement for a Low Computation Cost User Authentication Scheme. - Behnam Sattarzadeh; Mahdi Asadpour; Rasool Jalili (SECRYPT, 2006)

Improved User Identity Confidentiality for UMTS Mobile Networks. - Behnam Sattarzadeh; Mahdi Asadpour; Rasool Jalili (ECUMN, 2007)

Anonymous authentication protocol for GSM networks. - Mahdi Asadpour; Behnam Sattarzadeh; Ali Movaghar 001 (Int. J. Secur. Networks, 2008)

Is Cryptyc Able to Detect Insider Attacks? - Behnam Sattarzadeh; Mehran S. Fallah (Formal Aspects in Security and Trust, 2011)

Typing secure implementation of authentication protocols in environments with compromised principals. - Behnam Sattarzadeh; Mehran S. Fallah (Secur. Commun. Networks, 2014)

Automated type-based analysis of injective agreement in the presence of compromised principals. - Behnam Sattarzadeh; Mehran S. Fallah (J. Log. Algebraic Methods Program., 2015)