PhD in Information Security, Monash University, Australia

Between 2003 to 2006, I completed a PhD program at Monash University in Melbourne, Australia.

My research involved analysis of the design of a security-focused operating system, in which I identified a number of cryptographic vulnerabilities and showed how they could be leveraged into practical attacks. After resolving these vulnerabilities, I formally proved that a range of security properties held for the modified system.

My research resulted in the publication of several papers, including:

  • Semantics of the Password Capability System. D. Mossop and R. Pose.
  • Covert Channel Analysis of the Password Capability System. D. Mossop and R. Pose.
  • Security Models in the Password Capability System. D. Mossop and R. Pose.
  • Information Leakage and Capability Forgery in a Capability-Based Operating System Kernel. D. Mossop and R. Pose.
  • Security Analysis and Extensions of a Capability-Based Type Manager. D. Mossop and R. Pose.
  • Security Analysis of a Capability-Based Operating System. R. Pose and D. Mossop.

My thesis:

Let's Discuss...

Add a Comment