1. |
| Boureanu, Dr IC | University of Surrey | AutoPaSS: Automatic Verification of Complex Privacy Requirements in Unbounded-Size Secure Systems | 303,951 |
2. |
| Chapman, Professor A | University of Southampton | Infer<Proven>ence: Capturing Provenance Information with Minimal Intrusion | 222,788 |
3. |
| Wu, Dr N | Imperial College London | SCOPE: Scoped Contextual Operations and Effects. | 262,413 |
4. |
| | | Not Funded | |
5. |
| | | Not Funded | |
6. |
| | | Not Funded | |
7. |
| | | Not Funded | |
|