Funded Projects

Nick is/has been involved in the following research projects.

Project Title Project Dates Source
A4Cloud: Accountability for the Cloud and Other Future Internet Services  2012- European Union Seventh Framework Programme
effectsplus: Trust and Security in the Future Internet 2010-2012 European Union Sixth Framework Programme
EnCoReEnsuring Consent and Revocation 12/2008-10/2010 Technology Strategy Board, EPSRC, ESRC
Formal Verification of Quantum Protocols 10/2004-10/2007 EPSRC grant GR/S34090/01
QNET: Network on Semantics of Quantum Computation 06/2006-05/2009 EPSRC grant EP/E006833/2
SECOQC: Secure Communication Based on Quantum Cryptography 10/2004-10/2007 European Union Sixth Framework Programme
QuantLog 2007 FCT-POCI Project FEDER POCI/MAT/55796/2004
CRUP/Treaty of Windsor grant 2007 courtesy of Paulo Mateus