I do research and teaching in computer science. Relevant events.

Modules I am teaching in 2006/7

• Computer Security (semester 1)
  
• Network Security (semester 2)
• Advice to MSc Computer Security students seeking project supervisors
  

Research Interests

• My work broadly concerns reasoning about computer systems, in order to verify their properties.
  Currently, I am working on computer security systems, addressing problems such as
  
  Verification of protocols
  
  • Verification of electronic voting protocols
  • Verification of contract signing protocols
  • Verification of protocols used in biometric authentication
  • Verifying anonymity and privacy properties of protocols
    
    
  Validation of ubiquitous computing applications
  
  Access control systems
  • how to design and verify flexible systems of access control
  • how users can safely run untrusted software
  • Security of peer-to-peer systems
    
    
  Features of software systems
  • Modelling and analysing software features
  • Minimal refinement of specifications in order to add a feature

• I'm also interested in other aspects of specifying and verifying systems, including how to design languages and tools to model and check systems, and other aspects of logic in computer science and artificial intelligence. More ...

Research coordination activitites

• EPSRC College member, 2006-2009.
• Programme Committee member: SecCo'07, ICFI'07, FCS-ARSPA'07, WOTE'07, ICALP'07 (track C), ICSOFT'07, ICSEA'07, FMSE'06, WOTE'06, CSFW'06, MoChArt'06.
  
• More...
  

Books

Other publications