Mehran S. Fallah

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