3. FORENSIC SCIENCES
» Digital forensics
4. HORIZONTAL ACTIVITIES
» Policy development
» Testing and validation
6. INFORMATION & COMMUNICATION TECHNOLOGIES
» Electronic authentication
» Cyber security
» Software, Data Processing
» Network technologies
7. SOCIO-ECONOMIC SCIENCES AND THE HUMANITIES
» Human Sciences
Foundations of computer security (rigorous and mathematical) and applications (e.g. designing
cryptographic protocols, access control systems).
Software security, including foundations for secure programming and automatic program analysis
tools for security. In particular, new research on digital evidence, a mechanism for equipping a
program together with evidence (non-cryptographic) that it satisfies security and safety properties.
Security for mobile devices, applications and app stores.
Mechanisms and security analysis for human authentication, including improved password
authentication and similar mechanisms.
[ These are core competencies of myself and researchers in my group at University of Edinburgh, see