Sara Baradaran
Orcid: 0000-0002-9148-6493
According to our database1,
Sara Baradaran
authored at least 4 papers
between 2022 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2022
2023
2024
0
1
2
3
1
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Reusing Legacy Code in WebAssembly: Key Challenges of Cross-Compilation and Code Semantics Preservation.
CoRR, 2024
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