EPSRC logo


Panel Name: EPSRC Research Institute APA & V
Date of Panel: 23 January 2013
Panel Contact: Hulkes, Alex

Panel Rank Ordered List:  Main List

RankGrant ReferencePrincipal InvestigatorHolding OrganisationGrant TitleValue (£)
1.
EP/K031929/1
King, Professor AUniversity of KentCompositional Security Analysis for Binaries228,823
1.
EP/K032011/1
Malacaria, Professor PQueen Mary University of LondonCompositional Security Analysis for Binaries270,982
1.
EP/K032038/1
Cook, Professor BUCLCompositional Security Analysis for Binaries289,852
2.
EP/K032666/1
Aspinall, Professor DUniversity of EdinburghApp Guarden: Resilient Application Stores588,377
3.
EP/K032089/1
Gardner, Professor PImperial College LondonCertified Verification of Client-Side Web Programs893,923
4.
EP/K032542/1
Karp, Professor BNUCLProgram Verification Techniques for Understanding Security Properties of Software876,542
5.
EP/K032585/1
King, Professor AUniversity of KentSe-Ma-Match: Semantic Malware Matching245,525
5.
EP/K032623/1
Clark, Dr DJUCLSeMaMatch: Semantic Malware Matching309,013
6.
EP/K032674/1
Voronkov, Professor AUniversity of Manchester, TheREVES: REasoning in VErification and Security747,290
7.
EP/K032135/1
  Not Funded 
7.
EP/K032194/1
  Not Funded 
8.
EP/K032151/1
  Not Funded 
9.
EP/K032143/1
  Not Funded 
10.
EP/K02809X/1
  Not Funded 
10.
EP/K029673/1
  Not Funded 
11.
EP/K031899/1
  Not Funded 
12.
EP/K032178/1
  Not Funded 

Notes:

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