JEREMYDUBREIL.FREE.FR

Formal Methods for the analysis of security properties. Model-checking, Model-Based Testing, Supervisory Control and quantitative analysis for information flow properties. Modal Logic and Games for the design of secure systems.

Primary location: Palaiseau France