A Unit-Based Symbolic Execution Method for Detecting Heap Overflow Vulnerability in Executable Codes. - Maryam Mouzarani; Ali Kamali; Sara Baradaran; Mahdi Heidari (TAP@STAF, 2022)

CN2F: A Cloud-Native Cellular Network Framework. - Sepehr Ganji; Shirin Behnaminia; Ali Ahangarpour; Erfan Mazaheri; Sara Baradaran; Zeinab Zali; Mohammad Reza Heidarpour; Ali Rakhshan; Mahsa Faraji Shoyari (CoRR, 2023)

A unit-based symbolic execution method for detecting memory corruption vulnerabilities in executable codes. - Sara Baradaran; Mahdi Heidari; Ali Kamali; Maryam Mouzarani (Int. J. Inf. Sec., 2023)

Reusing Legacy Code in WebAssembly: Key Challenges of Cross-Compilation and Code Semantics Preservation. - Sara Baradaran; Liyan Huang; Mukund Raghothaman; Weihang Wang 006 (CoRR, 2024)

CN2F: a cloud-native cellular network framework. - Sepehr Ganji; Shirin Behnaminia; Ali Ahangarpour; Erfan Mazaheri; Sara Baradaran; Zeinab Zali; Mohammad Reza Heidarpour; Ali Rakhshan; Mahsa Faraji Shoyari (Clust. Comput., 2025)