Projects per year
Projects
- 6 Finished
Search results
-
Finished
Consensus-layer mitigations for validator ransomware attacks
O'Keeffe, D. & Hurley-Smith, D.
1/10/22 → 31/03/23
Project: Research
-
Developing Creative Methods of Sensing Air in Villa Inflamable, Argentina
Engelmann, S., Kuenzel, S., Tisan, A., Fisher, R., Lowry, D., Nisbet-Jones, P., Adey, P., Clemitshaw, K., France, J. & Johnstone, A.
1/04/20 → 31/07/21
Project: Research
-
CLeVer: Verification of Hardware Concurrency via Model Learning
Eng & Phys Sci Res Council EPSRC
6/01/20 → 30/11/23
Project: Research
-
String Constraint Solving with Real-World Regular Expressions
Eng & Phys Sci Res Council EPSRC
1/07/19 → 30/06/22
Project: Research
-
-
Verification of Concurrent and Higher-Order Recursive Programs
Eng & Phys Sci Res Council EPSRC
1/05/13 → 30/04/18
Project: Research