| Title: |
AcVerifier: Cross-Domain Access Control Verification via Hybrid Static and Dynamic Analysis |
| Authors: |
Zhang, Jie; He, Yuanyuan; Hu, Miao; Yu, Xinwei; Guo, Tingting; Gao, Xiangyu; Ma, Jiaqi |
| Source: |
2024 IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) ISPA Parallel and Distributed Processing with Applications (ISPA), 2024 IEEE International Symposium on. :736-742 Oct, 2024 |
| Relation: |
2024 IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) |
| Database: |
IEEE Xplore Digital Library |