I agree that this site is using cookies. You can find further informations here.
X
FERNÁNDEZ, MARIBEL
1386  results:
Search for persons X
?
1

Automated Generation and Update of Structured ABAC Policies:

, In: Proceedings of the 2024 ACM Workshop on Secure and Trustworthy Cyber-Physical Systems,
Bamberger, Anna ; Fernández, Maribel - p. 31-40 , 2024
Link: https://dl.acm.org/doi/1..
 
?
2

From Static to Dynamic Access Control Policies via Attribut..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Bamberger, Anna ; Fernández, Maribel - p. 188-197 , 2023
Link: https://doi.org/10.1007/..
 
?
3

Proceedings of the Thirteenth ACM Conference on Data and Ap..:

Shehab, Mohamed ; Fernandez, Maribel ; Li, Ninghui , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

The Category-Based Approach to Access Control, Obligations ..:

, In: Proceedings of the 28th ACM Symposium on Access Control Models and Technologies,
Fernández, Maribel - p. 1-2 , 2023
Link: https://dl.acm.org/doi/1..
 
?
5

Nominal AC-Matching:

, In: Lecture Notes in Computer Science; Intelligent Computer Mathematics,
Ayala-Rincón, Mauricio ; Fernández, Maribel ; Silva, Gabriel Ferreira.. - p. 53-68 , 2023
Link: https://doi.org/10.1007/..
 
?
6

Graph Transformation: 16th International Conference, ICGT 2.. 

Lecture Notes in Computer Science, 13961
Fernández, Maribel ; Poskitt, Christopher M - 1st ed. 2023 . , 2023
Link: https://doi.org/10.1007/..
 
?
7

Unification Modulo Equational Theories in Languages with Bi..:

, In: Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science,
Fernández, Maribel - p. 3-6 , 2023
Link: https://doi.org/10.1007/..
 
?
8

A Privacy-Preserving Architecture and Data-Sharing Model fo..:

Fernández, Maribel ; Jaimunk, Jenjira ; Thuraisingham, Bhavani
IEEE Transactions on Dependable and Secure Computing.  20 (2023)  4 - p. 3495-3507 , 2023
Link: https://doi.org/10.1109/..
 
?
9

Proceedings of the Twelveth ACM Conference on Data and Appl..:

Joshi, Anupam ; Fernandez, Maribel ; Verma, Rakesh M. , 2022
Link: https://dl.acm.org/doi/1..
 
?
10

Nominal Matching Logic:

, In: Proceedings of the 24th International Symposium on Principles and Practice of Declarative Programming,
Cheney, James ; Fernandez, Maribel - p. 1-15 , 2022
Link: https://dl.acm.org/doi/1..
 
?
11

Session details: Keynote Talk 2:

, In: Proceedings of the Twelveth ACM Conference on Data and Application Security and Privacy,
Fernandez, Maribel , 2022
Link: https://dl.acm.org/doi/1..
 
?
12

Session details: Session 2: Privacy:

, In: Proceedings of the Twelveth ACM Conference on Data and Application Security and Privacy,
Fernandez, Maribel , 2022
Link: https://dl.acm.org/doi/1..
 
?
13

Modular Composition of Access Control Policies: A Framework..:

, In: Proceedings of the 27th ACM on Symposium on Access Control Models and Technologies,
Bertolissi, Clara ; Fernández, Maribel - p. 7-18 , 2022
Link: https://dl.acm.org/doi/1..
 
?
14

Formalising nominal C-unification generalised with protecte..:

Ayala-Rincón, Mauricio ; de Carvalho-Segundo, Washington ; Fernández, Maribel..
Mathematical Structures in Computer Science.  31 (2021)  3 - p. 286-311 , 2021
Link: https://doi.org/10.1017/..
 
?
15

Logic-Based Program Synthesis and Transformation: 30th Inte.. 

Theoretical Computer Science and General Issues, 12561
Fernández, Maribel - 1st ed. 2021 . , 2021
Link: https://doi.org/10.1007/..
 
1-15