Search for persons
X
?
Proceedings of the 28th ACM Symposium on Access Control Models and Technologies ,
3
Coverage-Based Testing of Obligations in NGAC Systems:
, In:
?
2023 IEEE 47th Annual Computers, Software, and Applications Conference (COMPSAC) ,
4
SMT-Based Verification of NGAC Policies:
, In:
?
2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) ,
5
Dynamic Access Control with Administrative Obligations: A C..:
, In:
?
2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC) ,
6
Towards Designing Shared Digital Forensics Instructional Ma..:
, In:
?
Proceedings of the 38th Annual Computer Security Applications Conference ,
7
Compact Abstract Graphs for Detecting Code Vulnerability wi..:
, In:
?
Proceedings of the 27th ACM on Symposium on Access Control Models and Technologies ,
8
Towards a Theory on Testing XACML Policies:
, In:
?
2022 19th Annual International Conference on Privacy, Security & Trust (PST) ,
9
Visualizing and Reasoning about Presentable Digital Forensi..:
, In:
?
Proceedings of the 26th ACM Symposium on Access Control Models and Technologies ,
10
Session details: Session 3: Security Policy Testing and Enf..:
, In:
?
Proceedings of the 26th ACM Symposium on Access Control Models and Technologies ,
11
Mutation Analysis of NGAC Policies:
, In:
?
2021 IEEE 45th Annual Computers, Software, and Applications Conference (COMPSAC) ,
13
Quantifying Event Impact on the Bitcoin Blockchain:
, In:
?
2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC) ,
14