PhD Formal analysis of security protocols Radboud University

October 20, 2017

The Digital Security group at the Raboud University, Nijmegen has a PhD position in automated formal analysis of security protocols, with a focus on privacy-friendly systems.
 

*Project information*

Currently privacy-friendly systems are becoming more and more important. One reason for this is the upcoming European General Data Protection Regulation (GDPR), which introduces the requirement of applying the privacy by design paradigm and under which data leaks can lead to hefty fines. It is important to rigorously verify the privacy claims of these privacy-friendly systems and, most critically, the protocols they use. The goal of this project is to develop techniques and tools to provide guarantees about real-world privacy-friendly systems. This will be done by developing a framework to perform automated formal verification of privacy properties of the protocols used for realistic parameters. The development will be guided based on real-world systems. First, it will need to be defined what it means to provide privacy in these real-world applications. There are many definitions of privacy, and it is not always immediately clear what is meant exactly and how this should be verified. Next, techniques will be developed to verify the defined properties in realistic settings, and, finally, they are applied to real-world scenarios to verify their security and privacy claims.
 

*Requirements*

Candidates should have a Master’s degree (or be close to getting one) in computer science or applied mathematics with a strong interest in security protocols and formal methods. Prior experience in formal analysis of security protocols is an asset.
 

*General information*

The Digital Security group in Nijmegen is a leading research group into computer security in the Netherlands. Research in the group covers a range of topics including security of software, smartcards and RFIDs, design and analysis of security protocols, applied crypto, privacy and anonymity, quantum logic and computing. Members of the group are also active in the broader societal issues surrounding security & privacy, and regularly carry out commercial contract research to apply and inspire high quality academic research.
 

*Conditions of employment*

The position is for 4 years, the position could start from January 1, 2018 or in the months that follow. Salary is 2.222-2.840 euro/month. Candidates moving to the Netherlands from abroad may qualify for a tax incentive scheme, where 30% of your income is tax free.
 

*Application*

For more information you can also contact Joeri de Ruiter (joeri@cs.ru.nl). To apply, please send a motivation letter and your CV to Joeri de Ruiter. The deadline for the application is *November 12, 2017*.