Login / Signup
Sara Baradaran
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 4
Top Topics
Optimization Method
Database
Symbolic Execution
Error Rate
Top Venues
CoRR
TAP@STAF
Int. J. Inf. Sec.
</>
Publications
</>
Sara Baradaran
,
Mahdi Heidari
,
Ali Kamali
,
Maryam Mouzarani
A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes.
Int. J. Inf. Sec.
22 (5) (2023)
Sepehr Ganji
,
Shirin Behnaminia
,
Ali Ahangarpour
,
Erfan Mazaheri
,
Sara Baradaran
,
Zeinab Zali
,
Mohammad Reza Heidarpour
,
Ali Rakhshan
,
Mahsa Faraji Shoyari
CN2F: A Cloud-Native Cellular Network Framework.
CoRR
(2023)
Sara Baradaran
,
Mahdi Heidari
,
Ali Kamali
,
Maryam Mouzarani
A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes.
CoRR
(2022)
Maryam Mouzarani
,
Ali Kamali
,
Sara Baradaran
,
Mahdi Heidari
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes.
TAP@STAF
(2022)