Security Research Group
Welcome to the home page of the security research group within the Department of Computer Science.
Security is a commonly used word these days, but most applications of security are informal and exploits in seemingly secure systems can be discovered years later. The research group is interested in providing a more formal grounding for security and the work carried out here is directed towards two main areas: provable security and information flow. Much of the research conducted here is linked closely to the concurrency research group.