Formal Methods and Security Projects
| Title | Investigator | Funding Source | Funding Amount |
|---|---|---|---|
| A holistic experience for tourists that extends beyond that which can be seen | Chris Culnane | EPSRC MILES (EP/I000992/1) |
£9544.56 |
| Formal Meta-modelling for Tool Development | Helen Treharne, Steve Schneider | AWE plc |
£51,177 |
| Formal Methods for Digital Watermarking Systems | Anthony TS Ho, Helen Treharne | EPSRC CASE (Thales) |
£90,000 |
| GRID Computing and Nuclear Medicine | Roger Peel, Ian Wells | Royal Surrey County Hospital |
£5,500 |
| Private Multi-Party Authentication and Key Exchange (PRIMAKE) | Mark Manulis | German Research Foundation (Deutsche Forschungsgemeinschaft, DFG) |
€180,000 |
| Secure Real-world Elections | James Heather | Royal Academy of Engineering/Leverhulme Trust |
ca. £45,000 |
| Trustworthy Voting Systems | James Heather, Steve Schneider | EPSRC (EP/G025797/1) |
£1,056,891 |
