A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes
https://raw.githack.com/SaraBaradaran/SaraBaradaran.github.io/master/papers/TAP.bib
CV
Education
- Ph.D. in Computer Science, University of Southern California, [GPA: 4.0/4.0], 2023 - Present
- B.Sc. in Computer Engineering, Isfahan University of Technology, [GPA: 19.49/20], 2017 - 2022
- Dimploma in Mathematics & Physics, National Organization for Development of Exceptional Talents, 2013 - 2017
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 Memory Corruption Vulnerabilities in Executable Codes
https://raw.githack.com/SaraBaradaran/SaraBaradaran.github.io/master/papers/UbSym.bib
CN2F: A Cloud-Native Cellular Network Framework
https://raw.githack.com/SaraBaradaran/SaraBaradaran.github.io/master/papers/CN2F.bib
Reusing Legacy Code in Wasm: Key Challenges of Compilation and Code Semantics Preservation
https://raw.githack.com/SaraBaradaran/SaraBaradaran.github.io/master/papers/WasmChecker.bib
Effective Minimization of Failure-Inducing Tests Using Convention-Aware Slicing
https://raw.githack.com/SaraBaradaran/SaraBaradaran.github.io/master/papers/FitSlicer.bib
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
Skills
- Operating Systems: Linux, Windows, macOS
- Programming Languages: Python, C/C++, Java, JavaScript, MATLAB, MIPS/x86/AVR Assembly, WebAssembly
- Tools & Frameworks: LLVM, Angr, Soot, Qt, BeautifulSoup, Burp Suite, Wireshark, Microsoft SQL Server, Flex, Bison, MiniZinc, OR-Tools, Mininet, Selenuim