Common Criteria. High-confidence software systems. Automatic generation of security-critical code for multilevel secure classified information processing. Formal methods. Z notation. Tools. SPARK Ada. Counterexample finding. Certification and Accreditation.
I am a doctoral student in the Computing Laboratory reading for a DPhil in Computer Science; my research supervisor is Dr Andrew Martin. The topic of my research is an automated method for Common Criteria security evaluation of existing systems at assurance levels above EAL4. My day job is Information Assurance Engineer (Staff) in the IS&GS Defence (C4ISR Systems Division), Maritime Tactical C2 Systems division of Lockheed Martin.
