Search results

• Finished

  Fernandez, Leverhulme Visiting Professorship

  Fernandez, M.

  Leverhulme Trust

  15/05/2022 → 31/07/2023

  Project: Research

• Category Based Access Controls and Data Collection

  Fernandez, M.

  University of Texas at Dallas

  1/03/2018 → 28/02/2019

  Project: Research

• ZENOVER

  Chockler, H. & Fernandez, M.

  1/01/2016 → 31/12/2018

  Project: Research

• Graph-based Models for the Analysis of Policies for Access Control (GRANPA)

  Fernandez, M.

  1/06/2015 → 31/05/2017

  Project: Research

• GRANPA - Graph-based Models for the Analysis of Policies for Access-Control

  Fernandez, M.

  1/06/2015 → 31/05/2017

  Project: Research

• Secure information sharing for dynamic coalitions in the cloud

  Fernandez, M.

  1/03/2015 → 28/02/2017

  Project: Research

• Domain Specific Graph-Based Modelling Languages

  Fernandez, M.

  1/09/2014 → 31/08/2016

  Project: Research

• Modelling languages and verification techniques for SOA systems based on portgraph rewriting

  Fernandez, M.

  1/09/2013 → 31/08/2015

  Project: Research

• Modelling, simulation and analysis of complex systems via graph rewriting

  Fernandez, M. & Lano, K.

  1/01/2013 → 31/12/2014

  Project: Research

• Analysis of rewrite-based programs

  Fernandez, M.

  1/05/2011 → 30/04/2013

  Project: Research

• Rule-based specifications of distributed access control models

  Fernandez, M.

  1/01/2011 → 31/12/2012

  Project: Research

• Unified flow based implementations of function application

  Fernandez, M.

  1/12/2009 → 30/11/2010

  Project: Research

• Rewriting frameworks for defining security policies

  Fernandez, M.

  1/06/2009 → 31/01/2010

  Project: Research

• Dependent types for nominal terms

  Fernandez, M., Szasz, N. & Tasistro, A.

  Royal Society

  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

  Fernandez, M. & Barker, S.

  1/01/2008 → 31/12/2011

  Project: Research

• Typed Nominal Techniques

  Fernandez, M.

  1/01/2008 → 31/12/2011

  Project: Research

• Marie Curie Intra-European Fellowship Structuring the European Research Area

  Fernandez, M. & academic, A.

  EC European Commission

  1/05/2007 → 31/10/2008

  Project: Research

• Computational Applications of Nominal Sets

  Fernandez, M. & Mackie, I.

  EPSRC Engineering and Physical Sciences Research Council

  1/10/2005 → 30/09/2009

  Project: Research

• Rewriting frameworks

  Fernandez, M.

  EPSRC Engineering and Physical Sciences Research Council

  1/10/2004 → 30/09/2005

  Project: Research