20
Publications
1.9K
Citations
18
H-Index
1998
Active since
Laurent Mauborgne is an author at École Normale Supérieure specializing in computer science, engineering, and software analysis.
Top concepts
EngineeringComputer ScienceFormal MethodsStatic AnalysisSoftware AnalysisFormal VerificationProgram AnalysisVerificationSoftware TestingComputer Engineering
Publications per year
1998–2017
20
20
A static analyzer for large safety-critical software
Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · ACM SIGPLAN Notices · 2003 · 572 citations
A static analyzer for large safety-critical software
Bruno Blanchet, Patrick Cousot, Radhia Cousot et al. · 2003 · 303 citations · Full text
Goran Doychev, Boris Köpf, Laurent Mauborgne et al. · ACM Transactions on Information and System Security · 2015 · 151 citations
Cryptographic Primitive, Engineering, Information Security +16
CacheAudit: A Tool for the Static Analysis of Cache Side Channels.
Goran Doychev, Dominik Feld, Boris Köpf et al. · IACR Cryptology ePrint Archive · 2013 · 107 citations
Rows per page
1–5 of 20