Portfolio 1
Posts by Collection
portfolio
publications
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
Tests and Proofs. TAP 2022. Lecture Notes in Computer Science, vol 13361. Springer, Cham., 2022
This paper proposes a method for improving the efficiency of symbolic execution and detecting heap overflow vulnerability in executable codes using the combination of symbolic execution and machine learning techniques.
Recommended citation: 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
International Journal of Information Security, 2023
This paper proposes a method for restricting the scope of symbolic analysis and combining it with ML techniques to detect memory corruption vulnerabilities in executable codes.
Recommended citation: 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
Cluster Computing (Recently Accepted), 2025
In this paper, we share our findings, accompanied by a comprehensive online codebase, about the best practice of using different open-source projects in order to realize a flexible testbed for academia and industrial Research and Development (R&D) activities on the future generation of cellular networks.
Recommended citation: 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
talks
Fault Localization Through Probabilistic Models of Program Execution
Published:
Presented at 19th SoCal PLS: Programming Languages and Systems
teaching
Teaching Assistant - Fall 2018
C Programming Lab, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2018
Course Instructor: Dr. Elham Mahmoudzadeh
Teaching Assistant - Spring 2019
Discrete Mathematical Structures, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2019
Course Instructor: Dr. Akbar Davoodi Zavareh
Teaching Assistant - Spring 2019
C Programming Lab, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2019
Course Instructor: Dr. Elham Mahmoudzadeh
Teaching Assistant - Spring 2020
Algorithm Design and Analysis, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2020
Course Instructor: Dr. Mohammad Reza Heidarpour
Teaching Assistant - Spring 2020
Compiler Design, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2020
Course Instructor: Dr. Zeinab Zali
Teaching Assistant - Fall 2020
Compiler Design, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2020
Course Instructor: Dr. Maryam Mouzarani
Teaching Assistant - Spring 2021
Fundamentals of Computer Security, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2021
Course Instructor: Dr. Maryam Mouzarani
Teaching Assistant - Fall 2021
Operating System Lab, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2021
Course Instructor: Dr. Mohammad Reza Heidarpour & Dr. Zeinab Zali
Teaching Assistant - Spring 2022
Algorithm Design and Analysis, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2022
Course Instructor: Dr. Mohammad Reza Heidarpour
Teaching Assistant - Spring 2022
Compiler Design, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2022
Course Instructor: Dr. Zeinab Zali
Teaching Assistant - Fall 2022
Operating System Lab, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2022
Course Instructor: Dr. Mohammad Reza Heidarpour & Dr. Zeinab Zali
Teaching Assistant - Spring 2023
Advanced Programming Lab, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2023
Course Instructor: Dr. Zeinab Zali
Teaching Assistant - Fall 2024
Security Systems, University of Southern California, Thomas Lord Department of Computer Science, 2024
Course Instructor: Dr. Clifford Neuman
Teaching Assistant - Spring 2025
Introduction to Operating Systems, University of Southern California, Thomas Lord Department of Computer Science, 2025
Course Instructor: Dr. Tatyana Ryutov