Hi! This is Mohammad#, a postdoctoal researcher in Information Security at Chalmers in Sweden. I obtained my PhD in the same group under the supervision of Andrei Sabelfeld and Daniel Hedin in August 2024. Prior to that, I lived at Amirkabir (Tehran Polytechnic) for 8 years (BSc in Software Engineering, MSc in Information Security, and PhD candidate in Software Engineering), all supervised by Mehran S. Fallah. Since then, I have been pursuing my passion for:

  • Language-Based Security
  • Formal Methods for Information Security
  • Information-Flow Security
  • Programming Languages

Publications

  1. Language-Based Security and Privacy in Web-driven Systems, PhD thesis, 2024 [pdf] [video] [slides]
    Supervisor: Andrei Sabelfeld, Co-supervisor: Daniel Hedin, Opponent: Deian Stefan, Examiner: David Sands, Grading committee: Benjamin Nguyen, Melek Önen, Simin Nadjm-Tehrani, and Magnus Almgren
  2. LazyTAP: On-Demand Data Minimization for Trigger-Action Applications, S&P’23 [pdf] [teaser] [flyer] [video]
    Mohammad M. Ahmadpanah, Daniel Hedin, and Andrei Sabelfeld
  3. Securing Software in the Presence of Third-Party Modules, Licentiate thesis, 2021 [pdf] [video]
    Supervisor: Andrei Sabelfeld, Co-supervisor: Daniel Hedin, Opponent: Deian Stefan, Examiner: David Sands
  4. Securing Node-RED Applications, Protocols, Strands, and Logic: Festschrift in honor of Joshua Guttman’21 [pdf] [video]
    Mohammad M. Ahmadpanah, Musard Balliu, Daniel Hedin, Lars Eric Olsson, and Andrei Sabelfeld
  5. Nontransitive Policies Transpiled, EuroS&P’21 [pdf] [short talk] [video]
    Mohammad M. Ahmadpanah, Aslan Askarov, and Andrei Sabelfeld
  6. SandTrap: Securing JavaScript-driven Trigger-Action Platforms, USENIX Security’21 [pdf] [flyer] [video]
    Mohammad M. Ahmadpanah, Daniel Hedin, Musard Balliu, Lars Eric Olsson, and Andrei Sabelfeld
  7. Improving Multi-Execution-based Mechanisms for Enforcing Information Flow Policies, Master’s thesis, 2017 [pdf]
    Supervisor: Mehran S. Fallah, Opponents: Mehdi Shajari and Ramtin Khosravi
  8. Dynamic Enforcement of Security Hyperproperties: A Survey, Technical report, 2016 [pdf]
    Supervisor: Mehran S. Fallah
  9. A Tool for Rewriting-Based Enforcement of Noninterference in While Programs, Bachelor’s thesis, 2015 [pdf]
    Supervisor: Mehran S. Fallah, Opponent: MohammadReza Razzazi

Teaching

Chalmers:

  • Master's thesis supervision (Securing Electronic Exam Environments)
  • Language-Based Security (Graduate)
  • Finite Automata and Formal Languages
  • Programming Language Technology (Graduate)

Amirkabir:

  • Advanced Programming (Course Responsible)
  • Operating Systems Lab (Course Responsible)
  • Computer Lab (Course Responsible)
  • Discrete Mathematics
  • Design of Programming Languages
  • Data Structures
  • Principles of Compiler Design
  • Computer Networks II
  • Information Storage and Retrieval
  • Software Engineering I
  • Computer Architecture

Honors and Activities