Selected projects
Our research is characterised by bringing together colleagues from diverse fields to develop multidisciplinary approaches to address cutting edge problems in cyber security.
Current projects
Responsible Data Science by Design (2019–2022): York Maastricht Partnership Investment Fund, D. Kolovos (PI), M. Dumontier (PI), D. Kahrobaei (Co-I), (EUR 956,754)
Algebraic Techniques for Quantum Security (2019-2021): Delaram Kahrobaei, with University of Ottawa A. Broadbent (PI), M. Nevins, H. Salmasian, New Frontiers in Research Fund (Exploration, Canadian Government), $250,000
CV-QKD Flagship (CiViQ) (2019-2021): Stefano Pirandola, funded by the European Commission. Read more on the CiViQ website
Assured Mission-Critical Applications for Teams of Unmanned Vehicles (2019): Radu Calinescu, funded by Defence Science and Technology Laboratory grant (£89,695).
Confident safety integration for Cobots (2019-2020): Radu Calinescu, funded by Lloyd’s Register Foundation/Assuring Autonomy International Programme (York grant £151,676/overall grant £449,870).
Safety of shared control in autonomous driving (2019-2020): Radu Calinescu, funded by Lloyd’s Register Foundation/Assuring Autonomy International Programme, £381,036 (York grant £84,934/overall grant £381,036).
Safety of Deep-Learning AI Techniques (2018-2021): Radu Calinescu, funded by Lloyd’s Register Foundation Assuring Autonomy International Programme grant (£381,443).
Safe Multi-Agent Reinforcement Learning Applied to the Engineering of Trustworthy Autonomous Robotic Teams (2018-2021): Radu Calinescu, funded by Defence Science and Technology Laboratory grant (£116,226).
Integrated correctness analysis and performance evaluation of software (2017-2020): Radu Calinescu, funded by Microsoft Research grant (£71,650).
DAN-Q-CRYPT: Field Implementation of Measurement Device Independent Quantum Cryptography (2016-2020): Stefano Pirandola, funded by the Innovation Fund, Denmark.
Practical Fully Homomorphic Encryption and Applications (2015-2019): Delaram Kahrobaei (PI), with V. Shpilrain, ONR Research Grant, Office of Naval Research ($448,000).
Completed projects
SEEV: Verifiable E-Voting For the Real World (2018-2019): Siamak F Shahandashti, in collaboration with Newcastle and Warwick Universities, Funded by Innovate UK under the Cyber Security Academic Startup (CyberASAP) Programme.
A Fully Homomorphic Encryption Scheme with noise Using Rings (2018): Delaram Kahrobaei (PI), with J-C. Faugere, K. Horan, L. Perret, Institut Henri Poincare, IHP, Research in Paris Grant (RiP).
INdAM-GNSAGA Research Grant (2018): Delaram Kahrobaei (PI), with A. Tortora, Instituto Nazionale di Alta Matematica, Gruppo Nazionale per le Strutture Algebriche, Geometriche e le loro Applicazioni, Italy.
ISSAC (2018): Delaram Kahrobaei with PI: A. Ovchinikov, A. Hulpke, National Security Agency (NSA) grant, support for International Symposium of Symbolic and Algebraic Computation ($20,096).
VeTSS: Mechanised Assume-Guarantee (2017-2018): Jim Woodcock, funded by UK Government.
Newton Research Collaboration Programme (Travel Fund Brazil) (2017-2018): Jim Woodcock, funded by the Royal Academy of Engineering.
Continuous Planning of Operational Processes Applied to Non-combatant Evacuation Operations (2017-2018): Radu Calinescu, funded by Defence Science and Technology Laboratory grant (£89,910).
Learning & Teaching in Cyber Security (2015-2017): Howard Chivers, funded by the Higher Education Academy
Integrated Tool chain for model-based design of CPSs (INTO-CPS) (2015-2017): Jim Woodcock, funded by the European Commission.
Moving Target (2015-2016): Javier Cámara, funded by CMU Software Engineering Institute – Department of Defense (SEI-DoD), US.
Secure and efficient outsourcing of computation on private data (2014): Delaram Kahrobaei (PI), with H. Lam, K. Ramaswamy, V. Shpilrain. National Science Foundation, NSF, I-Corps, Principal Investigator ($50,000).
Continual Analysis of Operational Process Dependability (2014-2018): Radu Calinescu, funded by Defence Science and Technology Laboratory grant (£155,777).
Lablet: Scalability and Usability (2014-2017): Javier Cámara, funded by National Security Agency (NSA), US.
Weapon Integration UK Team Plug & Play Exploitation De-Risking (2014): Jim Woodcock, funded by BAE Systems (Operations) Ltd.
New Approaches to Information Security Based on Group Theory (2012-2015): Delaram Kahrobaei (PI), with V. Shpilrain, ONR Research Grant, Office of Naval Research ($448,962).
Dynamic Adaptive Automated Software Engineering (2012-2018): John A Clark, EPSRC grant EP/J017515/1.
COMPASS (2011-2014): Jim Woodcock, funded by the European Commission.