AcVerifier: Cross-Domain Access Control Verification via Hybrid Static and Dynamic Analysis.

Jie Zhang, Yuanyuan He, Miao Hu, Xinwei Yu, Tingting Guo, Xiangyu Gao, Jiaqi Ma

Browse the full ISPA paper archive.