|
John A Clark
|
AI and security. Threat modelling. Intrusion detection. Social engineering. Security protrocols. Cryptography. Malware.
|
|
John A McDermid
|
Safety and security. Risk and givernance.
|
|
Jeremy L Jacob
|
Formal techniques in security. Formal modelling of security properties
|
|
Sam Braunstein
|
Quantum information processing (particularly quantum cryptography)
|
|
Stefano Pirandola
|
Quantum information processing (particularly quantum cryptography)
|
|
Rob Alexander
|
Security of autonomous systems. Security argumentation
|
|
Tim Kelly
|
Security argumentation.
|
