Two PhD student positions in computer science specializing in cybersecurity at Linköping University.
Your work assignments
Your task as a PhD student will be to conduct world-class research in cybersecurity specializing in protocol security and automated proof reasoning. The PhD student positions are funded by two related research projects:
(1) The WASP-funded SOURCE project investigates secure orchestration principles, using generative AI methods for resource protocol design including automatic verification of the protocol designs. New models and principles will be verified performing experimental research with open data. We will be working with state-of-the-art dynamic resource allocation techniques as well as Trusted Execution Environments (TEEs).
(2) The project “Protocol security verification using dynamic key structures” is funded by the ELLIIT strategic research initiative. The aim of the project is to tackle the inherent computational complexity of protocol security analysis by providing the means and the tools to leverage inherent structures (e.g., dynamic key dependencies) in models of security mechanisms and to use these structures to automate security analysis.
As a doctoral student, you devote most of your time to doctoral studies and the research projects of which you are part. Your work may also include teaching or other departmental duties, up to a maximum of 20% of full-time.