Showing cs.CRShow all
2 papers · 1 filter
cs.CR2025
Learning to Locate: GNN-Powered Vulnerability Path Discovery in Open Source Code
Nima Atashin, Behrouz Tork Ladani, Mohammadreza Sharbaf
Detecting security vulnerabilities in open-source software is a critical task that is highly regarded in the related research communities. Several approaches have been proposed in…
cs.CR2022
Towards a Formal Approach for Detection of Vulnerabilities in the Android Permissions System
Amirhosein Sayyadabdi, Behrouz Tork Ladani, Bahman Zamani
Android is a widely used operating system that employs a permission-based access control model. The Android Permissions System (APS) is responsible for mediating application resour…