CV - Home

Research experience

Aug 2023 - Present: Research Assistant at the University of Southern California

Project Title: Probabilistic fault localization using Bayesian inference and counterfactual execution reasoning

Nov 2022 - Feb 2023: Research Assistant at Isfahan University of Technology

Project Title: Design and implementation of a testbed for emerging intelligent 5G networks

Dec 2020 - Oct 2022: Research Assistant at Isfahan University of Technology

Project Title: Automatic detection of software vulnerabilities using binary analysis and ML techniques

Summer 2021: Research & Development Intern at 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

Sara Baradaran

CV

Education