Vladislav Dubrovenski

According to our database, Vladislav Dubrovenski authored at least 8 papers between 2021 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Detecting Obligation Races in NGAC Systems.

Vladislav Dubrovenski, Dianxiang Xu

IEEE Trans. Dependable Secur. Comput., 2026

2025

Detecting Errors in NGAC Policies via Fault-Based Testing.

Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu

IEEE Trans. Dependable Secur. Comput., 2025

Analyzing Action Interference of Administrative Obligations for SMT-Based Verification.

Vladislav Dubrovenski, Leo Chen, Dianxiang Xu

J. Cybersecur. Priv., 2025

Security of LLM Agents: A Case Study Approach.

Casey Fan, Diyana Tial, Vladislav Dubrovenski, Mengtao Zhang, Yugyung Lee, Dianxiang Xu

Proceedings of the 24th IEEE International Conference on Trust, 2025

2023

Coverage-Based Testing of Obligations in NGAC Systems.

Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu

Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

Dynamic Access Control with Administrative Obligations: A Case Study.

Vladislav Dubrovenski, Md Nazmul Karim, Erzhuo Chen, Dianxiang Xu

Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

SMT-Based Verification of NGAC Policies.

Vladislav Dubrovenski, Erzhuo Chen, Dianxiang Xu

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2021

Mutation Analysis of NGAC Policies.

Erzhuo Chen, Vladislav Dubrovenski, Dianxiang Xu

Proceedings of the SACMAT '21: The 26th ACM Symposium on Access Control Models and Technologies, 2021