Research output per year
Research output per year
Accepting PhD Students
Prospective PhD students should send an email to firstname.lastname@example.org providing their CV and an explanation of their research interests in the area of security and privacy. Please contact me early so the appropriate scholarship or industrial partnership may be identified. A PhD student can expect to seek under my guidance security and privacy problems that appear in emerging systems, and to use those problems to drive better methodologies for identifying and eliminating threats. See, for example, the thesis of my former PhD student Semen Yurkov, who considered privacy-preserving smartcard-based payments.
Students with strong mathematical and computer science skills are suited to topics in security. I can also propose software engineering problems, e.g., prototyping and evaluating emerging privacy-preserving technology. Students with an entrepreneurial streak are also welcome. See my personalised homepage for a selection of topics, across several domains (logic, space systems, ePassports, ePayments, personal data, concurrency theory, proof theory, API composition, threat modelling, etc.):
My security & privacy research concerns protocols used to connect devices and people in our digital society. I work to mitigate challenging threats where it is not obvious whether or not attackers can manipulate protocols so that they may, for instance, masquerade using someone elses identity or profile activities. A threat model precisely specifies the capabilities of attackers in such a way that logical methods may be employed to show the presence or absence of attack vectors.
I have a broad interest in interdisciplinary thinking that is required to solve real problems, for which we need to combine multiple methodologies in order to understand cyber threats and measures.
My personal website lays down several research directions in more detail. Notably it also explains my research in concurrency theory, which is important for understanding how to reason precisely about computing involving two or more parties, with protocols being a prime example.
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Doctor of Philosophy, Programming Languages and Principles for Read-Write Linked Data, University of Southampton
Award Date: 23 Feb 2012
Bachelor of Arts, Computable Cyclic Functions, Oxford University
Award Date: 30 Sept 2005
research fellow, University of Luxembourg
1 Sept 2018 → 31 Aug 2023
senior research fellow, Nanyang Technological University
1 Nov 2015 → 31 Aug 2018
associate professor, Kazakh-British Technical University
1 Sept 2012 → 31 Oct 2015
research associate, Romanian Academy
1 Feb 2012 → 31 Aug 2012
Select a country/territory to view shared publications and projects
Research output: Working paper › Working Paper/Preprint
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book