CV

Education

• Ph.D. in Computer Science, University of Southern California, [GPA: 4.0/4.0], 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

Research 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

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

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

Teaching experience

University of Southern California

• Introduction to Operating Systems, Spring 2025
• Security Systems, Fall 2024

Isfahan University of Technology

• Advanced Programming Lab, Spring 2023
• Operating System Lab, Fall 2021, Fall 2022
• Fundamentals of Computer Security, Spring 2021
• Compiler Design, Spring 2020, Fall 2020, Spring 2022
• Algorithm Design and Analysis, Spring 2020, Spring 2022
• Discrete Mathematical Structures, Spring 2019
• C Programming Lab, Fall 2018, Spring 2019

Skills

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