Mehran S. Fallah

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 14

Top Topics

Learning Automata

Information Flows

Temporal Epistemic

Top Venues

Comput. Lang. Syst. Struct.

Secur. Commun. Networks

J. Log. Algebraic Methods Program.

Publications

Morteza Damanafshan, Mehran S. Fallah
Monitorable hyperproperties of nonterminating systems. J. Log. Algebraic Methods Program. 128 (2022)
Sharar Ahmadi, Mehran S. Fallah, Massoud Pourmahdian
On the Properties of Epistemic and Temporal Epistemic Logics of Authentication. Informatica (Slovenia) 43 (2) (2019)
Nafiseh Kahani, Mehran S. Fallah
A Reactive Defense Against Bandwidth Attacks Using Learning Automata. ARES (2018)
Fatemeh Imani-Mehr, Mehran S. Fallah
On transparent value-sensitive run-time monitoring for information flow policies. Comput. Lang. Syst. Struct. 54 (2018)
Shabnam Seradji, Mehran S. Fallah
A Bayesian Game of Whitewashing in Reputation Systems. Comput. J. 60 (8) (2017)
Behrouz Zolfaghari, Mehran S. Fallah, Mehdi Sedighi
S-Restricted Compositions Revisited. Discret. Math. Theor. Comput. Sci. 19 (1) (2017)
Zeinab Iranmanesh, Mehran S. Fallah
Static Checking for Multiple Start of Threads in a Type-Safe Multithreaded Java. J. Object Technol. 16 (3) (2017)
Mohammad Ghorbani, Mehran S. Fallah
Run-Time Verification for Observational Determinism Using Dynamic Program Slicing. ISC (2017)
Zeinab Iranmanesh, Mehran S. Fallah
Specification and static enforcement of scheduler-independent noninterference in a middleweight Java. Comput. Lang. Syst. Struct. 46 (2016)
Fatemeh Imani-Mehr, Mehran S. Fallah
How Powerful Are Run-Time Monitors with Static Information? Comput. J. 59 (11) (2016)
Gohar Shakoori, Mehran S. Fallah, Zeinab Iranmanesh
A Type System for Quantified Information-Flow Security in Java-Like Languages. ARES (2016)
Afshin Lamei, Mehran S. Fallah
Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values. J. Univers. Comput. Sci. 22 (7) (2016)
Ali Noorollahi Ravari, Mehran S. Fallah
A nonmonotonic modal authorization logic for pervasive computing. Secur. Commun. Networks 8 (6) (2015)
Behnam Sattarzadeh, Mehran S. Fallah
Automated type-based analysis of injective agreement in the presence of compromised principals. J. Log. Algebraic Methods Program. 84 (5) (2015)
Behnam Sattarzadeh, Mehran S. Fallah
Typing secure implementation of authentication protocols in environments with compromised principals. Secur. Commun. Networks 7 (11) (2014)
Mehran S. Fallah, Nafiseh Kahani
TDPF: a traceback-based distributed packet filter to mitigate spoofed DDoS attacks. Secur. Commun. Networks 7 (2) (2014)
Sepehr Amir-Mohammadian, Mehran S. Fallah
Noninterference in a predicative polymorphic calculus for access control. Comput. Lang. Syst. Struct. 39 (3) (2013)
Mehran S. Fallah, Maryam Mouzarani
A Game-based Sybil-resistant Strategy for Reputation Systems in Self-organizing MANETs. Comput. J. 54 (4) (2011)
Ali Noorollahi Ravari, Mehran S. Fallah
A Logical View of Nonmonotonicity in Access Control. SECRYPT (2011)
Mazdak Alimadadi, Mehran S. Fallah
A distributed client-puzzle mechanism to mitigate bandwidth attacks. NSS (2011)
Arash Afshar, Mehran S. Fallah
Reconstructing security types for automated policy enforcement in FABLE. NSS (2011)
Behnam Sattarzadeh, Mehran S. Fallah
Is Cryptyc Able to Detect Insider Attacks? Formal Aspects in Security and Trust (2011)
Mehran S. Fallah
A Puzzle-Based Defense Strategy Against Flooding Attacks Using Game Theory. IEEE Trans. Dependable Secur. Comput. 7 (1) (2010)
Hamed Janzadeh, Kaveh Fayazbakhsh, Mehdi Dehghan, Mehran S. Fallah
A secure credit-based cooperation stimulating mechanism for MANETs using hash chains. Future Gener. Comput. Syst. 25 (8) (2009)
Mehran S. Fallah, Ahmad R. Sharafat
Service Availability in Concurrent Systems - Part I: A Theory of Hierarchical Services of Interacting Processes. Comput. J. 50 (5) (2007)
Mehran S. Fallah, Ahmad R. Sharafat
Service Availability in Concurrent Systems - Part II: Analysis and Case Studies Using HSIP. Comput. J. 50 (5) (2007)
Azadeh Omrani, Mehran S. Fallah
Stimulating Cooperation in MANETs Using Game Theory. World Congress on Engineering (2007)
Ahmad R. Sharafat, Mehran S. Fallah
A Framework for the Analysis of Denial of Service Attacks. Comput. J. 47 (2) (2004)
Ahmad R. Sharafat, Mehran S. Fallah
A measure of resilience against denial of service attacks in computer networks. Comput. Syst. Sci. Eng. 17 (4/5) (2002)