Formal Methods & Security (available soon)
The Minor Formal Methods & Security is under development. It will be led by the IT Faculty at Université de Rennes 1. Students enrolled in this option will complete a Master in Computer Science as part of the Cybersecurity track.
Presentation
Formal methods are used to think from logical or mathematical specifications, IT behaviours, devices or processes, and provide concrete proof that all system behaviours comply to a desired characteristic. They are, therefore, used to demonstrate that a system is immune to a certain type of attack.
Special attention is given to students with a leaning towards research so that they can continue their studies with a PhD in a cybersecurity speciality of their choice.
Training programme objectives
This minor teaches students how to modelise all or part of an IT system and apply checking algorithms (static analysis and model checking). Students are trained to apply a rigorous and mathematical approach to remove certain system vulnerabilities.
During the programme, students will learn how to:
- Identify formal methods of attack
- Carry out software verification using programme proof assistants and/or automatic solvers
- Check protocol security
- Specify security policies (integrity, privacy, access checks, authentication, personal data protection)
- Design and use software static analysis at source and binary levels
Acquired skills
- Identify formal methods of attack
- Carry out software verification using programme proof assistants and/or automatic solvers
- Check protocol security
- Specify security policies (integrity, privacy, access checks, authentication, personal data protection)
- Design and use software static analysis at source and binary levels
Employment opportunities
Specialist fast track to PhD and further research studies.
Who can apply
You will need a Bachelor in Mathématiques or in Computer Science if you wish to apply for this programme.
Reasonable knowledge in Mathematics and basic IT and communications science and technology is required. Please note that relevant work experience may compensate for a baccalauréat which is not strictly related to the field. Please outline your work experience in your cover letter or CV. Once your application has been submitted, the selection committee will make the final decision as to whether your baccalauréat and work experience are an appropriate pre-requisite for the programme you wish to study.
Partnerships
Université de Rennes 1 is unique in that it offers programmes in all cybersecurity subjects with its partners in Rennes and the Breton Pôle d’excellence cyber.