Hi! This is Mohammad#, a PhD student in Information Security under the supervision of Andrei Sabelfeld and Daniel Hedin at Chalmers in Sweden, started in September 2019. Prior to that, I lived at Tehran Polytechnic (AUT) for 8 years (BSc in Software Engineering, MSc in Information Security, and PhD candidate in Software Engineering), 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
- Securing Software in the Presence of Third-Party Modules, Licentiate thesis, 2021 [pdf] [video]
Supervisor: Andrei Sabelfeld - Securing Node-RED Applications, Protocols, Strands, and Logic: Festschrift in honor of Joshua Guttman’21 [pdf]
Mohammad M. Ahmadpanah, Musard Balliu, Daniel Hedin, Lars Eric Olsson, and Andrei Sabelfeld - Nontransitive Policies Transpiled, EuroS&P’21 [pdf]
Mohammad M. Ahmadpanah, Aslan Askarov, and Andrei Sabelfeld - SandTrap: Securing JavaScript-driven Trigger-Action Platforms, USENIX Security’21 [pdf]
Mohammad M. Ahmadpanah, Daniel Hedin, Musard Balliu, Lars Eric Olsson, and Andrei Sabelfeld - Improving Multi-Execution-based Mechanisms for Enforcing Information Flow Policies, Master’s thesis, 2017 [pdf]
Supervisor: Mehran S. Fallah - Dynamic Enforcement of Security Hyperproperties: A Survey, Technical report, 2016 [pdf]
Supervisor: Mehran S. Fallah - A Tool for Rewriting-Based Enforcement of Noninterference in While Programs, Bachelor’s thesis, 2015 [pdf]
Supervisor: Mehran S. Fallah
Teaching
Chalmers:
- Language-Based Security (Graduate)
- Finite Automata and Formal Languages
- Programming Language Technology (Graduate)
Tehran Polytechnic:
- 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
- External Reviewer of the conference flagships CSF’22, EuroS&P’22, S&P’21, CSF’20, EuroS&P’20, CCS’19
- Session chair and speaker at SWITS’22
- Recipient of the Adlerbert Foreign Student Hospitality Foundation scholarship, 2021 and 2022
- Fellow of Student Activities committee (2022-2025) and Member of The Iranian Society of Engineering Education, since 2020
- Member of WebSec Project and Chalmers Security Lab, Chalmers, since September 2019
- The 2nd place among PhD students of the department, Tehran Polytechnic, 2018 and 2019
- The Best Teaching Assistant and Lab Instructor of the department, Tehran Polytechnic, 2016, 2017 and 2019
- Scientific Talent by the National Elite Foundation of Iran, 2018
- Top 3% among Course Responsibles, Tehran Polytechnic, Spring 2018
- The 1st place among Master’s students in Information Security, 2016 and 2017
- Recipient of the Outstanding Graduate Student Scholarship, Tehran Polytechnic, 2016
- Direct Admission for Master and PhD studies, Tehran Polytechnic, 2015 and 2017
- The Youngest Course Responsible (at age 22), Lab Instructor (at age 20) and Teaching Assistant (at age 16), Tehran Polytechnic
- Member of Formal Security Lab, Tehran Polytechnic, 2015 - 2019
- Member of the university team for the National Scientific Olympiad in Computer Engineering, Tehran Polytechnic, 2014
- Skipped Three grades of Elementary School as an Exceptional Talent, 2002