Dubrovenski, Vladislav, Erzhuo Chen, and Dianxiang Xu. 2023. “SMT-Based Verification of NGAC Policies”. In IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC’23).
Publications
2023
Chen, Erzhuo, Vladislav Dubrovenski, and Dianxiang Xu. 2023. “Coverage-Based Testing of Obligations in NGAC Systems”. In 28th ACM Symposium on Access Control Models and Technologies (SACMAT’23).
2022
Luo, Yu, Weifeng Xu, and Dianxiang Xu. 2022. “Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models”. In Annual Computer Security Applications Conference (ACSAC’22).
Luo, Yu, Weifeng Xu, and Dianxiang Xu. 2022. “Compact Abstract Graphs for Detecting Code Vulnerability with GNN Models”. Proceedings of the 38th Annual Computer Security Applications Conference, 497-507.
Xu, Weifeng, Lin Deng, and Dianxiang Xu. 2022. “Towards Designing Shared Digital Forensics Instructional Materials”. 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC), 117-22.
Xu, Weifeng, and Dianxiang Xu. 2022. “Visualizing and Reasoning about Presentable Digital Forensic Evidence with Knowledge Graphs”. 2022 19th Annual International Conference on Privacy, Security & Trust (PST), 1-10.
Xu, Dianxiang, Roshan Shrestha, Ning Shen, and Yunpeng Zhang. 2022. “Towards a Theory on Testing XACML Policies”. Proceedings of the 27th ACM on Symposium on Access Control Models and Technologies, 103-14.
Luo, Yu, Weifeng Xu, and Dianxiang Xu. 2022. “Predicting Integer Overflow Errors via Supervised Learning”. International Journal on Artificial Intelligence Tools.
2021
Luo, Yu, Weifeng Xu, and Dianxiang Xu. 2021. “Detecting Integer Overflow Errors in Java Source Code via Machine Learning”. 2021 IEEE 33rd International Conference on Tools With Artificial Intelligence (ICTAI), 724-28.
Chen, Erzhuo, Vladislav Dubrovenski, and Dianxiang Xu. 2021. “Mutation Analysis of NGAC Policies”. Proceedings of the 26th ACM Symposium on Access Control Models and Technologies, 71-82.