Formal Methods and Security Projects
| Title | Investigator | Funding Source | Funding Amount |
|---|---|---|---|
| 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 |
| Trustworthy Voting Systems | James Heather, Steve Schneider | EPSRC (EP/G025797/1) |
£1,056,891 |