Formal Methods & Security

The Formal Methods & Security currently offer as a minor, is run by the IT Faculty at Université de Rennes 1. Students enrolled for this option complete a Master in Computer Science as part of the Cybersecurity track.

Cryptography

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 major 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

Curriculum

4 SEMESTERS :

  • Semester 1 : core training course.
  • Semesters 2 and 3 : series of options to help select a major and minor discipline.
  • Semester 4 : internship
Consult the curriculum – EN/FR

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.

Do you need more information ?

Contact us
This site uses cookies to improve your user experience and to achieve audience statistics.
I acceptI refuseKnow more