|
Research Grants
- TYPDSEC: Type-based information declassification and its secure compilation
PI, EPSRC, ~£160K, 2023-2025
- ML4CI: Machine Learning based Causal Inference for Cybersecurity
PI, DSTL, Marek Grzes (Co-I), ~£81K, 2023 (6 months)
- COVERT: Safe and Secure Concurrent Programming for Advanced Architectures
Co-I, EPSRC, Mark Batty (PI), ~£374K, 2023-2026
|