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
CN2F: A Cloud-Native Cellular Network Framework
Published in arXive, 2023
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
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
talks
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