Formal methods for digital watermarking systems

Start date

01 October 2007

End date

31 August 2010


This EPSRC CASE PhD Studentship is a joint collaboration between Thales Research and Technology and the university of Surrey. The main theme of the research is on the theoretical modelling, methodology and applications of formal methods to the security verification and validation of digital watermarking systems for multimedia content.


The project is developing formal methods and adapting them to a number of watermarking algorithms including robust, semi-fragile and fragile watermarking. Formal methods at various stages of the watermarking and authentication processes are being investigated for verification and validation of their security protocols.

These include the watermarking embedding, attack and detection processes, as well as the critical analysis on the role of the sender, attacker, and receiver.

David Williams is the doctoral student on this project.

Funding amount