Projects per year
Search results
-
Active
-
FAME: Flexible dynamic Access control with ML-powered policies and Explanations
1/10/2021 → 31/03/2025
Project: Research
-
Finished
-
-
-
Graph-based Models for the Analysis of Policies for Access Control (GRANPA)
1/06/2015 → 31/05/2017
Project: Research
-
GRANPA - Graph-based Models for the Analysis of Policies for Access-Control
1/06/2015 → 31/05/2017
Project: Research
-
Secure information sharing for dynamic coalitions in the cloud
1/03/2015 → 28/02/2017
Project: Research
-
-
Modelling languages and verification techniques for SOA systems based on portgraph rewriting
1/09/2013 → 31/08/2015
Project: Research
-
Modelling, simulation and analysis of complex systems via graph rewriting
1/01/2013 → 31/12/2014
Project: Research
-
-
Rule-based specifications of distributed access control models
1/01/2011 → 31/12/2012
Project: Research
-
-
-
Dependent types for nominal terms
Fernandez, M., Szasz, N. & Tasistro, A.
1/04/2009 → 31/03/2011
Project: Research
-
Algebraic-functional specification of security policies in distributed systems
Fernandez, M. & Bertolissi, C.
1/01/2009 → 31/12/2010
Project: Research
-
Rewriting and Types for Mobile Code Security: Access Control and Protocol Validation
1/01/2008 → 31/12/2011
Project: Research
-
-
Marie Curie Intra-European Fellowship Structuring the European Research Area
1/05/2007 → 31/10/2008
Project: Research
-
Computational Applications of Nominal Sets
EPSRC Engineering and Physical Sciences Research Council
1/10/2005 → 30/09/2009
Project: Research
-
Rewriting frameworks
EPSRC Engineering and Physical Sciences Research Council
1/10/2004 → 30/09/2005
Project: Research