Project Ideas

I am open to any project ideas in areas related to formal modelling of computer security, requirements engineering, digital forensics and data analysis.  Below are some indicative project ideas at both the undergraduate and Masters levels.


      Formal modelling and verification of complex protocols

      Security analysis of open data

      Security modelling and analysis in the Internet of Things networks

      Software-Defined Networks

      Steganography and Steganalysis algorithms and tool testing

      Requirements engineering using goal-oriented methodologies (e.g. KAOS)

      Test case generation using genetic programming

      Specification and analysis of digital forensic algorithms

      Risk metrics