Research

• analysing programs and specifications for information flow
  
• verifying security properties for programs and specifications
• security related applications of data mining
  
• automatic analysis of programs and specifications
• semantics of state based models
  
• slicing for state based models
  
• malware detection

My publications

• CREST Platform Grant (2009-2014) (EPSRC)
  
• Slicing State Based Models (2008-2011) (EPSRC)
  
• Quantified Information Flow for Process Algebras 2007-2009 (Royal Society)
  
• Quantified Information Flow 2006-2009 (EPSRC)
• An Operational Approach to the Measurement of Information Flow Quantity 2005 (EPSRC)
  

current

• Temitope Onunkun
  
• Chunyan Mu
• Khalid Alzarouni
  

former

• Kelly Androutsopoulos [completed 2004] (second supervisor)
• Laurence Tratt [completed 2005] (second supervisor)
• Arlene Ong [completed 2006]
• Huzam al_Subaie [completed 2007] (second supervisor)
• Roshan Sembarcuttiaratchy [did not complete]
  

Service

Inspiration