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
Reusing Legacy Code in WebAssembly: Key Challenges of Cross-Compilation and Code Semantics Preservation
In Submission, 2024
In this paper, we inquire (1) what challenges arise when cross-compiling a high-level language codebase into WebAssembly and (2) how faithfully WebAssembly compilers preserve code semantics in this new binary.
Recommended citation: Baradaran, S., Huang, L., Raghothaman, M., & Wang, W. (2024). Reusing Legacy Code in WebAssembly: Key Challenges of Cross-Compilation and Code Semantics Preservation. ArXiv, abs/2412.20258.
CN2F: A Cloud-Native Cellular Network Framework
Cluster Computing, 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. et al. CN2F: a cloud-native cellular network framework. Cluster Comput 28, 493 (2025). https://doi.org/10.1007/s10586-025-05155-w
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