Projects per year
Projects
- 38 Finished
Search results
-
Finished
Dijkstra's Pipe: Timing-Secure Processors by Design
Nagarajan, V., Ainsworth, S., Aspinall, D. & Grosser, T.
1/07/21 → 30/06/24
Project: Research
-
Copy of Securing IoT implementations with Robust Malware Classifiers via Semantic Modelling
1/12/20 → 30/11/24
Project: Research
-
Securing IoT implementations with Robust Malware Classifiers via Semantic Modelling
1/12/20 → 30/11/24
Project: Research
-
-
Verification of machine learning algorithms using symbolic logic
Engineering and Physical Sciences Research Council
2/09/20 → 1/05/24
Project: Research
-
AISEC: AI Secure and Explainable by Construction
Engineering and Physical Sciences Research Council
1/09/20 → 31/12/24
Project: Research
-
-
Adaptive Anomaly Discovery by Learning Software Models
UK industry, commerce and public corporations
1/04/18 → 30/09/21
Project: Research
-
-
-
-
Confidential: Academic Centre of Excellence in Cyber Security Research Support Fund
1/07/17 → 30/06/23
Project: Research
-
GCHQ - RFA15088
Aspinall, D., Cheney, J., Gascon Caro, A., Grot, B., Sarkar, R., Vaniea, K. & Wolters, M.
UK central government bodies/local authorities, health and hospital authorities
1/11/16 → 31/03/17
Project: Research
-
GCHQ - RFA15088
Aspinall, D., Cheney, J., Gascon Caro, A., Grot, B., Sarkar, R., Vaniea, K. & Wolters, M.
UK central government bodies/local authorities, health and hospital authorities
1/11/16 → 30/07/17
Project: Research
-
ATI PhD Studentship: Foundations of Computer Science, Databases, Software and Systems Modelling
1/10/16 → 31/03/20
Project: Research
-
-
GCHQ App Guarden 2 Research Project
UK central government bodies/local authorities, health and hospital authorities
1/09/16 → 31/03/17
Project: Research
-
The integration and interaction of multiple mathematical Reasoning Processes
Bundy, A., Aspinall, D., Colton, S., Fleuriot, J., Gow, J., Grov, G., Ireland, A., Jackson, P., Mcneill, F., Michaelson, G. & Smaill, A.
1/11/15 → 31/10/19
Project: Research
-
Robustness-as-evolvability: building a dynamic control plane with Software-Defined Networking
Aspinall, D. & Lee, M.
1/04/15 → 31/03/18
Project: Research
-
-
App Guarden: Resilient Application Stores
Aspinall, D., Franke, B., Gordon, A., Sannella, D., Stark, I. & Sutton, C.
1/09/13 → 31/08/16
Project: Research
-
Bayesian Probabilistic Programming for Security
UK industry, commerce and public corporations
1/09/13 → 31/07/18
Project: Research
-
The integration and interaction of multiple mathematical reasoning processes
Bundy, A., Aspinall, D., Fleuriot, J., Jackson, P., Smaill, A., Colton, S., Ireland, A. & Michaelson, G.
1/08/11 → 31/07/15
Project: Research
-
The potential of automated reasoning tools to assist the working mathematician
Bundy, A., Aspinall, D. & Dixon, L.
1/10/10 → 31/12/10
Project: Research
-
-
KBA: Knowledge-based Authentication; Evaluating and Improving
Aspinall, D. & Just, M.
1/10/08 → 30/04/10
Project: Research
-
Postgraduate Research Studentship - Eliot Setzer
UK industry, commerce and public corporations
1/10/07 → 31/07/14
Project: Research
-
Integration and Interaction of multiple mathematical reasoning processes
Bundy, A., Colton, S., Aspinall, D., Dennis, L., Fleuriot, J., Georgieva, L., Ireland, A., Jackson, P. & Smaill, A.
1/04/07 → 31/03/11
Project: Research
-
MOBIUS: MOBIUS-Mobility, Ubiquity and Security for Small Devices.
Stark, I., Aspinall, D. & Sannella, D.
1/09/05 → 31/08/09
Project: Research
-
MOBIUS: MOBIUS-Mobility, Ubiquity and Security for Small Devices
Stark, I., Aspinall, D. & Sannella, D.
1/09/05 → 31/08/09
Project: Research
-
MOBIUS: MOBIUS-Mobility, Ubiqity and Security for Small Devices
Stark, I., Aspinall, D. & Sannella, D.
1/09/05 → 31/08/09
Project: Research
-
ReQueST: ReQueST:Resource Quantification in e-science Technologies.
Sannella, D., Aspinall, D., Gilmore, S. & Stark, I.
1/05/05 → 31/01/09
Project: Research
-
EXLIPSE PROOF GENERAL:INTERACTIVE PROOF
UK industry, commerce and public corporations
1/01/04 → 31/03/05
Project: Research
-