1
Publications
13
Citations
1
H-Index
2019
Active since
Affiliations
Mathilde Ollivier is an author at Laboratoire d'Intégration des Systèmes et des Technologies specializing in information security, engineering, and data security.
Top concepts
EngineeringData SecurityFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisSoftware SecurityFormal VerificationInformation SecuritySoftware Engineering
Publications per year
2019–2019
1
1
Mathilde Ollivier, Sébastien Bardin, Richard Bonichon et al. · 2019 · 13 citations
Rows per page
1–1 of 1