CV

Education

• Ph.D. in Computer Science, University of Southern California, 2023 - Present
• B.Sc. in Computer Engineering, Isfahan University of Technology [GPA: 19.49/20], 2017 - 2022
• Dimploma in Mathematics & Physics, National Organization for Development of Exceptional Talents, 2013 - 2017

Work experience

Aug 2023 - Present: Research Assistant

• University of Southern California
• Supervisor: Dr. Mukund Raghothaman

Nov 2022 - Feb 2023: Research Assistant

• Isfahan University of Technology
• Project Title: Design and implementation of a testbed for emerging intelligent 5G networks
• Supervisor: Dr. Mohammad Reza Heidarpour & Dr. Zeinab Zali

Dec 2020 - Oct 2022: Research Assistant

• Isfahan University of Technology
• Project Title: Automatic detection of software vulnerabilities using binary analysis and ML techniques
• Supervisor: Dr. Maryam Mouzarani

Summer 2021: Research & Development Internship

• Chavoosh ICT Company
• Project Title: Network logs analysis for detecting users behaviours and domains classification

Publications

A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes

Mouzarani, M., Kamali, A., Baradaran, S., Heidari, M. (2022). A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes. In: Kovács, L., Meinke, K. (eds) Tests and Proofs. TAP 2022. Lecture Notes in Computer Science, vol 13361. Springer, Cham. https://doi.org/10.1007/978-3-031-09827-7_6

CN2F: A Cloud-Native Cellular Network Framework

Ganji, S., Behnaminia, S., Ahangarpour, A., Mazaheri, E., Baradaran, S., Zali, Z., Heidarpour, M.R., Rakhshan, A. and Shoyari, M.F., 2023. CN2F: A Cloud-Native Cellular Network Framework. arXiv preprint arXiv:2305.18778

A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes

Baradaran, S., Heidari, M., Kamali, A. et al. A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes. Int. J. Inf. Secur. 22, 1277–1290 (2023). https://doi.org/10.1007/s10207-023-00691-1

Teaching experience

Spring 2023: Teaching Asistant

• Isfahan University of Technology
• Advanced Programming Lab
• Duties included: Designed curriculum, students’ manual and prepared the laboratory course materials
• Supervisor: Dr. Zeinab Zali

Fall 2022: Teaching Asistant

• Isfahan University of Technology
• Operating System Lab
• Duties included: Designed curriculum, students’ manual and prepared the laboratory course materials
• Supervisor: Dr. Mohammad Reza Heidarpour & Dr. Zeinab Zali

Spring 2022: Teaching Asistant

• Isfahan University of Technology
• Compiler Design
• Duties included: Designed, prepared, and marked projects, senior and coordinator of other assistants
• Supervisor: Dr. Zeinab Zali

Spring 2022: Teaching Asistant

• Isfahan University of Technology
• Algorithm Design and Analysis
• Duties included: Designed, prepared, and marked assignments, senior and coordinator of other assistants
• Supervisor: Dr. Mohammad Reza Heidarpour

Fall 2021: Teaching Asistant

• Isfahan University of Technology
• Operating System Lab
• Duties included: Designed curriculum, students’ manual and prepared the laboratory course materials
• Supervisor: Dr. Mohammad Reza Heidarpour & Dr. Zeinab Zali

Spring 2021: Teaching Asistant

• Isfahan University of Technology
• Fundamentals of Computer Security
• Duties included: Designed, prepared, and marked assignments, projects, and quizzes, held Q&A sessions
• Supervisor: Dr. Maryam Mouzarani

Fall 2020: Teaching Asistant

• Isfahan University of Technology
• Compiler Design
• Duties included: Designed, prepared, and marked assignments, projects, and quizzes, held Q&A sessions
• Supervisor: Dr. Maryam Mouzarani

Spring 2020: Teaching Asistant

• Isfahan University of Technology
• Compiler Design
• Duties included: Designed, prepared, and marked assignments and projects, held Q&A sessions
• Supervisor: Dr. Zeinab Zali

Spring 2020: Teaching Asistant

• Isfahan University of Technology
• Algorithm Design and Analysis
• Duties included: Designed, prepared, and marked assignments and quizzes
• Supervisor: Dr. Mohammad Reza Heidarpour

Spring 2019: Teaching Asistant

• Isfahan University of Technology
• C Programming Lab
• Duties included: Designed curriculum, students’ manual and prepared the laboratory course materials
• Supervisor: Dr. Elham Mahmoudzadeh

Spring 2019: Teaching Asistant

• Isfahan University of Technology
• Discrete Mathematical Structures
• Duties included: Marked assignments, held Q&A sessions
• Supervisor: Dr. Akbar Davoodi Zavareh

Fall 2018: Teaching Asistant

• Isfahan University of Technology
• C Programming Lab
• Duties included: Designed curriculum, students’ manual and prepared the laboratory course materials
• Supervisor: Dr. Elham Mahmoudzadeh

Skills

• Operating Systems: Linux, Windows
• Programming Languages: Python, C/C++, Java, JavaScript, MATLAB, MIPS/x86/AVR Assembly
• Frameworks and Libraries: Angr, Qt, BeautifulSoup, Soot, Cryptography, Scapy, Requests, Selenuim, Sikit, Pandas, NumPy
• Tools & Technologies: LLVM, Burp Suite, WebAssembly, Wireshark, Microsoft SQL Server, Flex, Bison, MiniZinc, OR-Tools, Mininet

Language

• English: Upper intermediate
• Persian: Native