Sara Baradaran
Orcid: 0000-0002-9148-6493
According to our database1,
Sara Baradaran
authored at least 3 papers
between 2022 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes.
Int. J. Inf. Sec., October, 2023
2022
A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes.
Proceedings of the Tests and Proofs - 16th International Conference, 2022