Concepedia
Statistics
Publications
8
Citations
127
H-Index
Active since
2003
Affiliations
Sorbonne Université(Current)
LIP6
Institut de Recherche en Informatique et Systèmes Aléatoires
Centre National de la Recherche Scientifique
Mathieu Jaume is an author at Sorbonne Université specializing in formal methods, engineering, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationVerificationData SecuritySystem SoftwareProgram AnalysisSoftware AnalysisAutomated Reasoning
Publications per year
2003–2022
From TTP to IoC: Advanced Persistent Graphs for Threat Hunting
Aimad Berady, Mathieu Jaume, Valérie Viêt Triêm Tông et al. · IEEE Transactions on Network and Service Management · 2021 · 35 citations · Full text
Formal definition and comparison of access control models
Lionel Habib, Mathieu Jaume, C. Morisset · HAL (Le Centre pour la Communication Scientifique Directe) · 2009 · 15 citations
A formal approach to implement access control
Mathieu Jaume, C. Morisset · HAL (Le Centre pour la Communication Scientifique Directe) · 2006 · 15 citations
Engineering, Logical Access Control, Information Security +9
Teaching Formal Methods and Discrete Mathematics
Mathieu Jaume, Théo Laurent · Electronic Proceedings in Theoretical Computer Science · 2014 · 14 citations · Full text
Engineering, Computational Literacy, Education +18
Making proofs in a hierarchy of mathematical structures
Virgile Prévosto, Mathieu Jaume · HAL (Le Centre pour la Communication Scientifique Directe) · 2003 · 13 citations
Engineering, Foc System, Automated Reasoning +14
1–5 of 8