Formal Methods and Security
The focus of the Formal Methods and Security group is the development of new techniques and technologies, and their application in a range of security and safety-critical domains. Our activities range from digital watermarking, information hiding, and the design and implementation of secure electronic voting systems, through to the integration of formal modelling techniques for software systems development, and their application to critical systems.
There are three overlapping strands of research activity within the group: Watermarking and Multimedia Security; Secure Electronic Voting; and Integrated Formal Methods. Formal and mathematically well-founded techniques underpin our approach. Our Security Technologies and Applications MSc is strongly informed by our security research, and the majority of the MSc is taught by members of the group.
Contact
Formal Methods: Steve Schneider
Watermarking: Anthony Ho
Research Themes
Watermarking and Multimedia Security
8th International Workshop on Digital Watermarking
This year's IWDW will be hosted by the Department of Computing at the University of Surrey, in August 2009. The conference website including the call for papers can be found here
