MEHRANS. FALLAH - Amirkabir University of Technology

Supervised PhD Theses

#

Thesis title

By

Date

1

Runtime Verification for Hyperproperties in Reactive Systems

Morteza Damanafshan & Mehrans. Fallah

2024 Jan

Supervised MSc Theses

#

Thesis title

By

Date

1

Enhancing Behavioral Annomaly Detection in Microservice-Based Systems

Sobhan Kiani & Ahmad Abdollahzadehbarforoush
Other Supervisor: Mehrans. Fallah

2024 Dec

2

Reducing False Positives in Concolic Testing of Smart Contracts

Mohammad Ali Movahed Rad & Mehrans. Fallah

2024 Jul

3

Differential Privacy for mapreduce on adversarial cloud

Hadi Sedaghat Zadehgan Esfahani & Mehrans. Fallah

2024 Feb

4

Local Differential Privacy for Correlated Edge Information in Social Networks

Vajiheh Tarahomi & Mehrans. Fallah

2022 Jul

5

Directed Fuzzing Based on Vulnerability Specification

Amir Abas Kabiri Zamani & Mehrans. Fallah

2022 Feb

6

Concolic testing smart contract for detecting Vulnerabilities

Maryam Sadat Tabatabaei & Mehrans. Fallah

2021 Sep

7

Program Rewriting for Enforcing Probabilistic Privacy Policies in JavaScript Programs

Mahdieh Hejazi & Mehrans. Fallah

2020 Sep

8

Verifying Secure Web Applications Using Aspect-Oriented Hierarchical Colored Petri Nets

Zeinab Banayazdi & Mehrans. Fallah

2019 Sep

9

Model-Based Security Testing of Real-time Systems Using Time Petri net

Tannaz Zameni & Mehrans. Fallah

2019 Feb

10

A Provably Secure Scheme for Data Deduplication in Cloud

Faezeh Nasrabadi & Mehrans. Fallah

2019 Jan

11

Improving Multi-Execution-based Mechanisms for Enforcing Information Flow Policies

Seyed Mohammad Mehdi Ahmadpanah & Mehrans. Fallah

2017 Sep

12

Improving Haskell Programming Language to Enforce the Security Policies Expressed in the Decentralized Label Model

Muhammad Hussein Nasrollahpour & Mehrans. Fallah

2017 Jul

13

Monitoring Information Flow Security in Smartphones

Keywan Karimi & Mehrans. Fallah

2017 Feb

14

A mechanism to mitigate cooperative gray hole attacks in MANETs

Nahal Shahini & Mehrans. Fallah

2016 Jul

15

Dynamic Slicing to Verify Information-Flow Security in Concurrent Programs

Mohammad Ghorbani & Mehrans. Fallah

2016 Feb

16

Abstract Interpretation for the Verification of Information Flow Security in Languages with Function Calls

Siamak Hatami & Mehrans. Fallah

2016 Feb

17

Trust management in social networks using game theory

Mansoore Soltani Margani & Mehrans. Fallah

2015 Sep

18

Language-based verification of zero-knowledge proof in e-voting protocols

Jamile Khalili Shahrooz & Mehrans. Fallah

2015 Feb

19

A type system for discretionary access control with capability revocation and changing ownership

Masoud Ghaffarinia & Mehrans. Fallah

2014 Dec

20

A language- based approach to prevent data races

Ali Ghanbari & Mehrans. Fallah

2014 Oct

21

Trust management in mobile ad hoc networks using game theory

Shabnam Seraji & Mehrans. Fallah

2014 Oct

22

A hybrid method for vulnerability analsis of web applications using static,dynamic,and run-time monitoring techniques

Mehdi Azvary Gahroei & Mehrans. Fallah

2014 Sep

23

Compositional Security in a model language for Java using language-based techniques

Kooshan Abedian & Mehrans. Fallah

2014 Sep

24

Automatic enforcement of user-defined security policies in object-orinted programming

Seyedmahdi Fadaee & Mehrans. Fallah

2014 Feb

25

Enforcing flow-insensitive noninterference through program rewriting in a model language for java

Alireza Siadat & Mehrans. Fallah

2014 Feb

26

the modeling of learning in adversarial environments using dynamic games

Abbas Tehrani Far & Mehrans. Fallah

2013 Jul

27

static enforcement of noninterference in concurrent lambda-calculus

Soroosh Sardari & Mehrans. Fallah

2013 Feb

28

static enforcement of quantified information flow security in middleweight java

Gohar Shakouri Gare Kani & Mehrans. Fallah

2013 Feb

29

inlined control-flow integrity enfocement for java bytecode

Mahdieh Karbalaie Hadi & Mehrans. Fallah

2012 Feb

30

a labeled transition semantics for probabilistic applied pi calculus

Mitra Joz Nazemian & Mehrans. Fallah

2012 Feb

31

enhancing reputation mechanisms using markov model for detecting application layer denial-of-service attacks

Armin Imani & Mehrans. Fallah

2012 Feb

32

state-space reduction in CTLx model checking by combining partial order reduction and bounded model checking

Hassan Arfaeinia & Mehrans. Fallah

2012 Feb

33

denotational semantics for access control in polymorphic dependency calculi

Sepehr Amir-mohammadian & Mehrans. Fallah

2011 Oct

34

an extention of XCAP for verifying the assembly codes containing I/O

Zohreh Hamidi & Mehrans. Fallah

2011 Jun

35

improving access control in pervasive environment using semantic approaches

Zahra Eslami & Mehrans. Fallah

2011 Jun

36

a type system for lambda -calculus for static verification of security policies

Arash Afshar & Mehrans. Fallah

2011 Feb

37

Proposing an Extension of the ?-Calculus for Modeling and Verification of Cryptographic Protocols

Ali Lahijani & Mehrans. Fallah

2010 Sep

38

Improving Reputation Systems for Trust Management in MANETs Using game theory

Maryam Mouzerani & Mehrans. Fallah

2010 Jul

39

mechanism design for prevention of malicious and selfish nodes collusion in routing and packet forwarding in mobile ad hoc networks using game theory

Saeedeh Alimohammadi & Mehrans. Fallah

2010 Jul

40

puzzle-based defense against bandwidth attacks using game theory

Mazdak Ali Madadi & Mehrans. Fallah

2009 Jul

41

Improvement of cooperation stimulating mechanisms in MANET using game theory

Ebrahim Khalilzadeh & Mehrans. Fallah

2009 Jul

42

a reactive defense against bandwidth attacks utilizing learning techniques in distributed packet filtering

Nafiseh Kahani & Mehrans. Fallah

2009 Jul

43

A CALCULUS FOR TRUST MANAGEMENT IN SEMANTIC WEB

Azadeh Nematzadeh Chekuvar & Mehrans. Fallah

2008 Apr

44

MODELING AND IMPROVING PUBLIC KEY CERTIFICATE REVOCATION SCHEMES IN MOBILE AD-HOC NETWORKS

Afshin Lamei & Mehrans. Fallah

2008 Jan

45

ENFORCING COPPERATION AMONG NODES AND IMPROVING SERVICE AVAILABILITY IN MANETS USING GAME THEORY

Azadeh Omrani & Mehrans. Fallah

2007 Apr

46

COMPARISON OF THE INTEGRATION OF DIFFERENT IP TRACEBACK MECHANISMS INTO THE FILTERING MECHANISM TO DEFEAT DOS ATTACKS

Kobra Khanmohammadi & Mehrans. Fallah

2007 Mar

47

A locally differentially private mechanism for k-triangle counting in social networks

Mohammadjavad Mohammadpour & Mehrans. Fallah

2026 Jun

48

Improving the utility of locally differentially-private recommender systems based on collaborative filtering

Reyhaneh Hassanrahimi & Mehrans. Fallah

2025 Sep

49

Improving the utility of differentially private local mechanisms for processing social networks

Azardokht Tayaranirad & Mehrans. Fallah

2025 Sep

50

Detecting Illegal Transactions on Blockchain Using Machine Learning

Ali Laghary Firozjaei & Mehrans. Fallah
Other Supervisor: Mohammad Reza Meybodi

2025 Sep

51

A Decentralized Recommender System Using Smart Contracts

Ali Zal & Mehrans. Fallah
Other Supervisor: Mohammad Reza Meybodi

2025 Mar

52

Creating a framework for an Internet of Things System in the Defined Ecosystem to Improve Quality

Zahra Tavasolizaneyane & Ahmad Abdollahzadehbarforoush
Other Supervisor: Mehrans. Fallah

2025 Apr

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

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.

8

S. Seraji, M. Fallah, "A Bayesian Game of Whitewashing in Reputation Systems", Computer Journal, 2017 Apr vol. 0, no. 0, pp.1-15, 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

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

2

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

3

Program Specification and Verification

این درس دانشجویان را با فنون و مهارتهایی از تحلیل برنامه آشنا می سازد که به طور گسترده به منظور بهبود بهره وری، اتکاپذیری، و امنیت در ابزا�

4042

4

Discrete Mathematics

آشنا نمودن دانشجویان با ساختمانهای ریاضی و کاربرد آنها در مهندسی و علوم کامپیوتر

4042

5

Programming Languages

4041

6

(Algorithmic Game Theory)

4041

7

Discrete Mathematics TA

4032

8

Discrete Mathematics TA

4032

9

Discrete Mathematics

4032

10

Discrete Mathematics

4032