👋Welcome to my Page!
I'm Vladislav, PhD Candidate at the University of Missouri-Kansas City, from Kansas, USA
📝 Title | 📑 Citation |
SMT-Based Verification of NGAC Policies | Dubrovenski, V., Chen, E., & Xu, D. (2023, June). SMT-Based Verification of NGAC Policies. 2023 IEEE 47th Annual International Computer Software and Applications Conference (COMPSAC 2023), Torino, Italy. |
Dynamic Access Control with Administrative Obligations: A Case Study | Dubrovenski, V., Karim, N., Erzhuo, C., & Xu, D. (2023). Dynamic Access Control with Administrative Obligations: A Case Study. 2023 IEEE 23nd International Conference on Software Quality, Reliability and Security Companion(QRS-C 2023), Chiang Mai, Thailand. |
Detecting Errors in NGAC Policies Via Fault-Based Testing | E. Chen, V. Dubrovenski and D. Xu, "Detecting Errors in NGAC Policies Via Fault-Based Testing," in IEEE Transactions on Dependable and Secure Computing. |
Coverage-Based Testing of Obligations in NGAC Systems | Chen, E., Dubrovenski, V., & Xu, D. (2023, June). Coverage-Based Testing of Obligations in NGAC Systems. The ACM Symposium on Access Control Models and Technologies (SACMAT 2023), Barcelona, Spain. |
Mutation Analysis of NGAC Policies | Chen, E., Dubrovenski, V., & Xu, D. (2021, June). Mutation Analysis of NGAC Policies. The ACM Symposium on Access Control Models and Technologies (SACMAT 2021), Barcelona, Spain. |
🎁 Projects | 📰 Description |
GPMS-NGAC | Proposal Workflow Management System - A web-based application for automating the approval process of grant submissions at an academic institution. GPMC-NGAC is the first real-world open-source Next Generation Access Control system. |
Policy Machine Analyzer(POMA) | Policy Machine Analyzer: a tool for testing and verifying NGAC (Next Generation Access Control) policies |
Drone Video Recognition | Angular/nodejs project for tello drone with computer vision concepts |
Case Tracking System | Case tracking system implemented with Angular and Google Firebase |
Twitter Analytics with SparkSQL | Scala-based project performing sentiment analysis of a large number of tweets. UI is ScalaFX |
TCP Multicast Chat | C-based TCP multicast chat |
📜 Microsoft Certified: Azure Developer Associate(AZ-204) & Azure Administrator Associate(AZ-104)