Content
Pepole
CV
Email:
msfallah
aut.ac.ir
aut.ac.irPhone:
h-index (Scopus):
5.00
Citations (Scopus):
168
Journal Papers
1
M. Damanafshan, M. Fallah, "Monitorable Hyperproperties of Nonterminating Systems", Journal of Logical and Algebraic Methods In Programming, 2022 Jul
vol. 128,
no. 1,
pp.1-33,
2022.
2
S. Ahmadi, M. Fallah, M. Pourmahdian, "On the Properties of Epistemic and Temporal Epistemic Logics of Authentication", Informatica, 2019 Nov
vol. 43,
no. 0,
pp.161-175,
2019.
3
B. Zolfaghari, M. Sedighi, M. Fallah, "Designing programmable parallel LFSR using parallel prefix trees", Journal of Engineering Research, 2019 Oct
vol. 7,
no. 3,
pp.105-122,
2019.
4
F. Imanimehr, M. Fallah, "On transparent value-sensitive run-time monitoring for information flow policies", Computer Languages Systems and Structures, 2018 Dec
vol. 54,
no. 1,
pp.273-296,
2018.
5
S. Ahmadi, M. Fallah, "An omniscience-free temporal logic of knowledge for verifying authentication protocols", Bulletin of The Iranian Mathematical Society, 2017 Nov
vol. 44,
no. 1,
pp.1-23,
2017.
6
Z. Iranmanesh, M. Fallah, "Static Checking for Multiple Start of Threads in a Type-Safe Multithreaded Java", Journal of Object Technology, 2017 Jun
vol. 16,
no. 3,
pp.1-31,
2017.
7
S. Seraji, M. Fallah, "A Bayesian Game of Whitewashing in Reputation Systems", Computer Journal, 2017 Apr
vol. 0,
no. 0,
pp.1-15,
2017.
8
B. Zolfaghari, M. Fallah, M. Sedighi, "S-Restricted Compositions revisited", Discrete Mathematics and Theoretical Computer Science, 2017 Apr
vol. 19,
no. 1,
pp.1-19,
2017.
9
A. Lamei, M. Fallah, "Rewriting-Based Enforcement of Noninterference in Programs with Observable Intermediate Values", Journal of Universal Computer Science, 2016 Aug
vol. 22,
no. 7,
pp.956-991,
2016.
10
Z. Iranmanesh, M. Fallah, "Specification and Static Enforcement of Scheduler-Independent Noninterference in a Middleweight Java", Computer Languages Systems and Structures, 2016 May
vol. 46,
no. 2,
pp.1-24,
2016.
11
F. Imanimehr, M. Fallah, "How Powerful Are Run-time Monitors with Static Information?", Computer Journal, 2016 Apr
vol. 0,
no. 0,
pp.1-14,
2016.
12
B. Satarzadeh, M. Fallah, "Automated Type-Based Analysis of Injective Agreement in the Presence of Compromised Principals", Journal of Logic and Algebraic Programming, 2015 Jun
vol. 84,
no. 1,
pp.1-35,
2015.
13
A. Noorpllahi Ravari, M. Fallah, "A Nonmonotonic Modal Authorization Logic for Pervasive Computing", Security and Communication Networks, 2014 Jun
vol. 7,
no. 7,
pp.1-15,
2014.
14
B. Satarzadeh, M. Fallah, "Typing secure implementation of authentication protocols in environments with compromised principals", Security and Communication Networks, 2013 Sep
vol. 6,
no. 1,
pp.1-16,
2013.
15
S. Amir-mohammadian, M. Fallah, "Noninterference in a predicative polymorphic calculus for access control", Computer Languages Systems and Structures, 2013 Jun
vol. 39,
no. 4,
pp.1-15,
2013.
16
M. Fallah, N. Kahani, "TDPF: A Traceback-based Distributed Packet Filter to Mitigate DDoS Attacks", Security and Communication Networks, 2013 Jan
vol. 7,
no. 1,
pp.1-20,
2013.
17
M. Fallah, M. Mouzerani, "A Game?Based Sybil?Resistant Strategy for Reputation Systems in Self?Organizing MANETs", Computer Journal, 2011 Mar
vol. 0,
no. 0,
,
2011.
18
M. Fallah, "A Puzzle -Based Defense Strategy AGainst Flooding Attacks Using Game Theory", Ieee Transactions On Dependable and Secure Computing, 2009 Sep
vol. ,
no. ,
,
2009.
19
H. Janzadeh, S.K. Fayazbakhsh, M. Dehghan Takht Fooladi, M. Fallah, "A secure credit-based cooperation stimulating mechanism for MANETs using hash chains", , 2009 Sep
vol. ,
no. 25,
,
2009.
20
A. Omrani, M. Fallah, "A Game -Theoretic Cooperation Stimulus Routing Protocol in Manets", , 2008 Feb
vol. ,
no. 19,
,
2008.
21
M. Fallah, "Service Availability in Concurrent Systems-Part I:A Theory of Hierarchical Services of Interacting Processes", Computer Journal, 2007 Sep
vol. ,
no. 5,
,
2007.
22
M. Fallah, "Service Availability in Concurrent Systems-Part II:Analysis and Case Studies Using HSIP", Computer Journal, 2007 Sep
vol. ,
no. 5,
,
2007.
23
M. Fallah, "A framework for the analysis of denial of service attacks", Computer Journal, 2004 Mar
vol. ,
no. 2,
,
2004.
Taught Courses
#
Course title
Description
Headlines
Date
1
Logic Design Lab
4051
2
Logic Design Lab
4051
3
Logic Design Lab
4051
4
Logic Design Lab
4051
5
Computer Networks Lab
4051
6
Design of Programming Languages
This course acquaints students with the concepts and constituents of programming languages. It also surveys the constructs and capabilities typically found in modern programming languages with attention to design trade-offs and implementation conside
4051
7
Algorithmic Game Theory
The course acquaints the students with the classical concepts of game theory and the related algorithmic concepts. Then, it gets into the three main topics of algorithmic game theory: computing Nash equilibria, insufficiency of the equilibria, and me
4051
8
Microprocessor and Assembly Language Lab.
4051
9
Logic Design Lab
4051
10
Logic Design Lab
4051
11
Program Specification and Verification
این درس دانشجویان را با فنون و مهارتهایی از تحلیل برنامه آشنا می سازد که به طور گسترده به منظور بهبود بهره وری، اتکاپذیری، و امنیت در ابزا
4042
12
Discrete Mathematics
آشنا نمودن دانشجویان با ساختمانهای ریاضی و کاربرد آنها در مهندسی و علوم کامپیوتر
4042
13
Programming Languages
4041
14
(Algorithmic Game Theory)
4041
15
Discrete Mathematics TA
4032
16
Discrete Mathematics TA
4032
17
Discrete Mathematics
4032
18
Discrete Mathematics
4032