Selected Research Projects

• Mark Batty and Stephen Kell, "CapC: Capability C semantics, tools and reasoning," funded by EPSRC via the Industrial Strategy Challenge Fund (ISCF) Digital Security by Design call, value to Kent £481,258.87, 2020-2023
• Julio Hernandez-Castro, "Assurance for quantum random number generators", funded by Innovate UK, value to Kent £324,258, 2020-2023
• Farzin Deravi, Richard Guest, "Privacy Matters (PriMa) Innovative Training Networks ," funded by European Commission (H2020), value to Kent £462,858, 2020-2023
• Shujun Li, "Smart Healthcare System with Federated Learning," joint UK-France PhD studentship funded through a competitive scheme between the I-SITE ULNE and the University of Kent, total funding amount €135,000 (split between the University of Kent and the French institution ENSAIT), 2020-2023
• Julio Hernandez-Castro, Carlos Perez-Delgado, "Quantum Communications Hub 2", funded by EPSRC, value to Kent £575,345, 2019-2024
• Jason Nurse, Shujun Li, "Approaches and Technologies to Support Home Users' Engagement with Cyber Security," PhD studentship funded by NCSC, value to Kent £115,153, 2019-2023
• Stephen Kell, "Generalised static checking for type and bounds errors," PhD studentship funded by NCSC, value to Kent £75,000, 2019-2023
• Jason Nurse, "A Platform for Responsive Conversational Agents to Enhance Engagement and Disclosure (PRoCEED)," funded by EPSRC, value to Kent £163,555, 2019-2021
• Shujun Li, "PriVELT: PRIvacy-aware personal data management and Value Enhancement for Leisure Travellers," funded by EPSRC, value to Kent £429,069, 2018-2021
• Richard Guest, "An exploration of dynamic biometric performance using device interaction and wearable technologies," funded by Callsign Inc., value to Kent £65,689, 2018-2021
• Mark Batty, "Specification and Verification of C++ Data Structure Libraries," PhD studentship funded by NCSC, value to Kent £69,118, 2018-2021
• Scott Owens, "Building Verified Applications in CakeML," PhD studentship funded by NCSC, value to Kent £96,024, 2018-2021
• Richard Guest, Farzin Deravi, "A Performance Assessment Framework for Mobile Biometrics," PhD studentship funded by GCHQ, value to Kent £118,190, 2017-2021
• Jason Nurse, "Incentivising Cybersecurity through Cyber Insurance (ICCI)", funded by NCSC and the Research Institute in Sociotechnical Cyber Security (RISCS), value to Kent £20,000, 2020-2021
• Julio Hernandez-Castro, "Robust Video Watermarking," funded by Huawei Technologies, value to Kent £230,000, 2019-2020
• Mark Batty, "Compositional, dependency-aware C++ concurrency," funded by EPSRC, value to Kent £98,786, 2018-2020
• Shujun Li, "ACCEPT: Addressing Cybersecurity and Cybercrime via a co-Evolutionary aPproach to reducing human-relaTed risks," funded by EPSRC, value to Kent £162,044.34, 2017-2020
• David Chadwick, "Verifiable Credentials," funded by Innovate UK and DCMS through its Cyber Security Academic Startup Accelerator Programme (CyberASAP), value to Kent £89,934 (two phases combined), 2019-2020
• Howard Bowman, Christopher Solomon, Stuart Gibson, "Forensic Facial Identification using the Fringe P3 brain wave response (EEG-FIT)," funded by Innovate UK, value to Kent £115,281, 2019-2020
• Shujun Li, "Human-machine teaming for supporting human decision making to enhance security of cyber-physical systems," funded by Dstl, value to Kent £87,000, 2018-2021 (cancelled because of withdrawal of the named PhD applicant)
• Richard Guest, Farzin Deravi, "AMBER: Marie Sklodowska-Curie Innovative Training Network (ITN) on Mobile Biometrics," funded by European Commission (H2020), value to Kent £585,783, 2016-2020
• Andy King, "The Rise and Fall of COOP," PhD studentship funded by GCHQ, value to Kent £109,890, 2016-2020
• Richard Guest, "Hummingbird: Human-machine integration for biometric authentication," funded by EPSRC, value to Kent £143,100, 2018-2019
• Aziem Chawdhary, Andy King, "Trustworthy Software for Nuclear Arms Control," PhD studentship funded by NCSC, value to Kent £71,706, 2018-2019
• Eerke Boiten, Budi Arief, Julio Hernandez-Castro, "EMPHASIS: Economic, Psychological, and Social Aspects of Ransomware," funded by EPSRC, value to Kent £344,547, 2017-2019
• David Chadwick, Rogério De Lemos, Theo Dimitrakos, "C3ISP: Collaborative & Confidential Information Sharing and Analysis for Cyber Protection," funded by European Commission (H2020), value to Kent £448,300, 2016-2019
• Gareth Howells, "SPIRIT: Security and Privacy for the Internet of Things," funded by EPSRC (CHIST-ERA), value to Kent £174,413, 2016-2019
• Gareth Howells, "INCASE: Industry 4.0 via Networked Control Applications and Sustainable Engineering," funded by Interreg IV 2 Seas Programme (North), value to Kent £561,824, 2016-2019
• Andy King, "Vulnerability discovery using abduction and interpolation," funded by EPSRC, value to Kent £199,130, 2016-2019
• Julio Hernandez-Castro, "SEEK (Steganalytic vidEo-rEsearch frameworK)," funded by EPSRC, value to Kent £273,996, 2016-2019
• Julio Hernandez-Castro, "RAMSES: Malware analysis for digital forensics," funded by European Commission (H2020), value to Kent £305,815, 2016-2019
• Farzin Deravi, Sanaul Hoque, "Biometric Counter-spoofing by Liveness Detection for Mobile Devices," funded by Centre for Defence Enterprise (MoD), value to Kent £75,752, 2016
• Andy King, Theo Dimitrakos, David Chadwick, "NeCS (European Network for Cybersecurity) MCSA ITN," funded by European Commission (H2020), value to Kent £388,645, 2015-2019
• Stuart Gibson, Christopher Solomon, Julio Hernandez-Castro, "Improving cyber security using realistic synthetic face generation," Israel-UK Cyber Research project, UK part funded by EPSRC, value to Kent £155,087, 2015-2017
• David Chadwick, "Horizontal cloud security and network capabilities for accredited cloud application and data," funded by BT, value to Kent £170,000, 2015-2017
• Julio Hernandez-Castro, "Authenticated Self – The 'aS' Platform," funded by Innovate UK, value to Kent £115,957, 2015-2016
• Richard Guest, Gareth Howells, "PIDaaS: Private Identity as a service," funded by European Commission (FP7), value to Kent £145,103, 2014-2017
• Shujun Li, "COMMANDO-HUMANS: COMputational Modelling and Automatic Non-intrusive Detection Of HUMan behAviour based iNSecurity," Singapore-UK joint project, co-funded by EPSRC and Singapore's National Research Foundation (NRF), value to Ken £4,117 (partial transfer from the University of Surrey, total funding amount by EPSRC is £208,100), 2016-2018
• David Chadwick, "Cloud-ABFAB federation services in eduroam (CLASSe)," funded by European Commission (FP7), value to Kent £72,458, 2013-2015
• Andy King, "Se-Ma-Match: semantic malware matching," funded by EPSRC, value to Kent £245,526, 2013-2016
• Andy King, "Compositional security analysis for binaries," funded by EPSRC and GCHQ, value to Kent £261,718, 2013-2016
• Farzin Deravi, Gareth Howells, "COALAS: Cognitive Assisted Living Ambient System," funded by Interreg IV programme, value to Kent £166,877, 2013-2015
• David Chadwick, Dimitrakos, "FED4Fire: IPCS4FIRE & SCS4FIRE," funded by European Commission (FP7), value to Kent £112,610, 2013-2014
• Eerke Boiten, "Network on Formal Methods and Cryptography: CryptoForma 2," funded by EPSRC, extension of a previously funded EPSRC research network, value to Kent £90,227, 2012-2015
• David Chadwick, "Sticky policy based security APIs for the cloud," funded by EPSRC, value to Kent £117,079, 2012-2013
• Richard Guest, "SID – An exploration of 'Super-Identity'," funded by EPSRC, value to Kent £342,922, 2011-2015
• Gareth Howells, "Autonomous and intelligent healthcare system (SYSIASS)," funded by Interreg IV 2 Seas programme, value to Kent £188,979, 2010-2014
• Farzin Deravi, Gareth Howells, "NOBA: Nomadic Biometric Authentication," funded by European Commission (FP6+FP7), value to Kent £227,841, 2007-2013
• More smaller projects with a budget lower than £50k are not listed here.