Search for persons
X
?
Proceedings of the 2024 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems ,
1
Automated Generation and Update of Structured ABAC Policies:
, In:
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
2
From Static to Dynamic Access Control Policies via Attribut..:
, In:
?
Proceedings of the 28th ACM Symposium on Access Control Models and Technologies ,
4
The Category-Based Approach to Access Control, Obligations ..:
, In:
?
6
Graph Transformation: 16th International Conference, ICGT 2..
Lecture Notes in Computer Science, 13961
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
7
Unification Modulo Equational Theories in Languages with Bi..:
, In:
?
Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming ,
10
Nominal Matching Logic:
, In:
?
Proceedings of the Twelveth ACM Conference on Data and Application Security and Privacy ,
11
Session details: Keynote Talk 2:
, In:
?
Proceedings of the Twelveth ACM Conference on Data and Application Security and Privacy ,
12
Session details: Session 2: Privacy:
, In:
?
Proceedings of the 27th ACM on Symposium on Access Control Models and Technologies ,
13
Modular Composition of Access Control Policies: A Framework..:
, In:
?
15
Logic-Based Program Synthesis and Transformation: 30th Inte..
Theoretical Computer Science and General Issues, 12561