Personal information

Activities

Collapse all

Education and qualifications (1)

Isfahan University of Technology: Isfahan , IR

Bachelor's Degree (Department of Electrical and Computer Engineering)
Education
Source: Self-asserted source
Sara Baradaran

Works (2)

A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes

International Journal of Information Security
2023-10 | Journal article
DOI: 10.1007/s10207-023-00691-1
Contributors: Sara Baradaran; Mahdi Heidari; Ali Kamali; Maryam Mouzarani
Source: check_circle
Crossref

A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes

2022 | Book chapter
DOI: 10.1007/978-3-031-09827-7_6
Contributors: Maryam Mouzarani; Ali Kamali; Sara Baradaran; Mahdi Heidari
Source: check_circle
Crossref
How many people are using ORCID?