Mehran S. Fallah

According to our database, Mehran S. Fallah authored at least 29 papers between 2002 and 2022.

Collaborative distances:

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

2022

Monitorable hyperproperties of nonterminating systems.

Morteza Damanafshan, Mehran S. Fallah

J. Log. Algebraic Methods Program., 2022

2019

On the Properties of Epistemic and Temporal Epistemic Logics of Authentication.

Sharar Ahmadi, Mehran S. Fallah, Massoud Pourmahdian

Informatica (Slovenia), 2019

2018

On transparent value-sensitive run-time monitoring for information flow policies.

Fatemeh Imani-Mehr, Mehran S. Fallah

Comput. Lang. Syst. Struct., 2018

A Reactive Defense Against Bandwidth Attacks Using Learning Automata.

Nafiseh Kahani, Mehran S. Fallah

Proceedings of the 13th International Conference on Availability, Reliability and Security, 2018

2017

Static Checking for Multiple Start of Threads in a Type-Safe Multithreaded Java.

Zeinab Iranmanesh, Mehran S. Fallah

J. Object Technol., 2017

S-Restricted Compositions Revisited.

Behrouz Zolfaghari, Mehran S. Fallah, Mehdi Sedighi

Discret. Math. Theor. Comput. Sci., 2017

A Bayesian Game of Whitewashing in Reputation Systems.

Shabnam Seradji, Mehran S. Fallah

Comput. J., 2017

Run-Time Verification for Observational Determinism Using Dynamic Program Slicing.

Mohammad Ghorbani, Mehran S. Fallah

Proceedings of the Information Security - 20th International Conference, 2017

2016

Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values.

Afshin Lamei, Mehran S. Fallah

J. Univers. Comput. Sci., 2016

Specification and static enforcement of scheduler-independent noninterference in a middleweight Java.

Zeinab Iranmanesh, Mehran S. Fallah

Comput. Lang. Syst. Struct., 2016

How Powerful Are Run-Time Monitors with Static Information?

Fatemeh Imani-Mehr, Mehran S. Fallah

Comput. J., 2016

A Type System for Quantified Information-Flow Security in Java-Like Languages.

Gohar Shakoori, Mehran S. Fallah, Zeinab Iranmanesh

Proceedings of the 11th International Conference on Availability, Reliability and Security, 2016

2015

A nonmonotonic modal authorization logic for pervasive computing.

Ali Noorollahi Ravari, Mehran S. Fallah

Secur. Commun. Networks, 2015

Automated type-based analysis of injective agreement in the presence of compromised principals.

Behnam Sattarzadeh, Mehran S. Fallah

J. Log. Algebraic Methods Program., 2015

2014

Typing secure implementation of authentication protocols in environments with compromised principals.

Behnam Sattarzadeh, Mehran S. Fallah

Secur. Commun. Networks, 2014

TDPF: a traceback-based distributed packet filter to mitigate spoofed DDoS attacks.

Mehran S. Fallah, Nafiseh Kahani

Secur. Commun. Networks, 2014

2013

Noninterference in a predicative polymorphic calculus for access control.

Sepehr Amir-Mohammadian, Mehran S. Fallah

Comput. Lang. Syst. Struct., 2013

2011

A Game-based Sybil-resistant Strategy for Reputation Systems in Self-organizing MANETs.

Mehran S. Fallah, Maryam Mouzarani

Comput. J., 2011

A Logical View of Nonmonotonicity in Access Control.

Ali Noorollahi Ravari, Mehran S. Fallah

Proceedings of the SECRYPT 2011 - Proceedings of the International Conference on Security and Cryptography, Seville, Spain, 18, 2011

A distributed client-puzzle mechanism to mitigate bandwidth attacks.

Mazdak Alimadadi, Mehran S. Fallah

Proceedings of the 5th International Conference on Network and System Security, 2011

Reconstructing security types for automated policy enforcement in FABLE.

Arash Afshar, Mehran S. Fallah

Proceedings of the 5th International Conference on Network and System Security, 2011

Is Cryptyc Able to Detect Insider Attacks?

Behnam Sattarzadeh, Mehran S. Fallah

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

2010

A Puzzle-Based Defense Strategy Against Flooding Attacks Using Game Theory.

Mehran S. Fallah

IEEE Trans. Dependable Secur. Comput., 2010

2009

A secure credit-based cooperation stimulating mechanism for MANETs using hash chains.

Hamed Janzadeh, Kaveh Fayazbakhsh, Mehdi Dehghan, Mehran S. Fallah

Future Gener. Comput. Syst., 2009

2007

Service Availability in Concurrent Systems - Part II: Analysis and Case Studies Using HSIP.

Mehran S. Fallah, Ahmad R. Sharafat

Comput. J., 2007

Service Availability in Concurrent Systems - Part I: A Theory of Hierarchical Services of Interacting Processes.

Mehran S. Fallah, Ahmad R. Sharafat

Comput. J., 2007

Stimulating Cooperation in MANETs Using Game Theory.

Azadeh Omrani, Mehran S. Fallah

Proceedings of the World Congress on Engineering, 2007

2004

A Framework for the Analysis of Denial of Service Attacks.

Ahmad R. Sharafat, Mehran S. Fallah

Comput. J., 2004

2002

A measure of resilience against denial of service attacks in computer networks.

Ahmad R. Sharafat, Mehran S. Fallah

Comput. Syst. Sci. Eng., 2002