Behnam Sattarzadeh
According to our database1,
Behnam Sattarzadeh
authored at least 6 papers
between 2006 and 2015.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2015
Automated type-based analysis of injective agreement in the presence of compromised principals.
J. Log. Algebraic Methods Program., 2015
2014
Typing secure implementation of authentication protocols in environments with compromised principals.
Secur. Commun. Networks, 2014
2011
Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011
2008
2007
Proceedings of the Fourth European Conference on Universal Multiservice Networks (ECUMN 2007), 2007
2006
Security Enhancement for a Low Computation Cost User Authentication Scheme.
Proceedings of the SECRYPT 2006, 2006