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 |
EnCoRe: Ensuring 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 |