Portfolio 1
Posts by Collection
portfolio
publications
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
Published in 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
Published in International Journal of Information Security, 2023
This paper proposes a method for restricting the scope of symbolic analysis and combining it with ML techniques for detecting 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
Published in 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 Asistant - Fall 2018
C Programming Lab, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2018
Course Instructor: Dr. Elham Mahmoudzadeh
Teaching Asistant - Spring 2019
Discrete Mathematical Structures, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2019
Course Instructor: Dr. Akbar Davoodi Zavareh
Teaching Asistant - Spring 2019
C Programming Lab, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2019
Course Instructor: Dr. Elham Mahmoudzadeh
Teaching Asistant - Spring 2020
Algorithm Design and Analysis, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2020
Course Instructor: Dr. Mohammad Reza Heidarpour
Teaching Asistant - Spring 2020
Compiler Design, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2020
Course Instructor: Dr. Zeinab Zali
Teaching Asistant - Fall 2020
Compiler Design, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2020
Course Instructor: Dr. Maryam Mouzarani
Teaching Asistant - Spring 2021
Fundamentals of Computer Security, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2021
Course Instructor: Dr. Maryam Mouzarani
Teaching Asistant - 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 Asistant - Spring 2022
Algorithm Design and Analysis, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2022
Course Instructor: Dr. Mohammad Reza Heidarpour
Teaching Asistant - Spring 2022
Compiler Design, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2022
Course Instructor: Dr. Zeinab Zali
Teaching Asistant - 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 Asistant - Spring 2023
Advanced Programming Lab, Isfahan University of Technology, Department of Electrical and Computer Engineering, 2023
Course Instructor: Dr. Zeinab Zali
Teaching Asistant - Fall 2024
Security Systems, University of Southern California, Thomas Lord Department of Computer Science, 2024
Course Instructor: Dr. Clifford Neuman
Teaching Asistant - Spring 2025
Introduction to Operating Systems, University of Southern California, Thomas Lord Department of Computer Science, 2025
Course Instructor: Dr. Tatyana Ryutov