Rank Ordered List Panel

Panel Name: ISCF Digital Security by Design Research Projects
Date of Panel: 06 April 2020
Panel Contact:

Panel Rank Ordered List: Capability enabled hardware proof and software verification - OBJECTIVE 1

Rank

Grant Reference

Principal Investigator

Holding Organisation

Grant Title

Value (£)

EP/V000489/1

Butler, Professor M

University of Southampton

Holistic Design of Secure Systems on Capability Hardware (HD-Sec)

1,030,183

EP/V000225/1

Melham, Professor T

University of Oxford

SCorCH : Secure Code for Capability Hardware

312,916

EP/V000497/1

Reger, Dr G

University of Manchester, The

SCorCH: Secure Code for Capability Hardware

1,034,990

EP/V000314/1

Not Funded

EP/V000098/1

Not Funded

EP/V000241/1

Not Funded

EP/V000438/1

Not Funded

Notes:

To maintain the anonymity of applicants, full details are available only for those proposals that have been funded.
The number shown is the rank assigned by the panel at the meeting.
Where proposals have the same number, these are joint proposals that were considered as a single application.
Proposals showing as 'Decision Awaited' are given a rank 'n/a' until the decision has been made, and then the final rank will appear.