Security Research Group
Welcome to the home page of the security research group within
Oxford University Computing Laboratory.
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.
