Skip to content

Research facility · founded 2022

EPICURE: Analyse sémantique et compilation pour la sécurité des environnements d'exécution

Rennes, France · team.inria.fr/epicure

Part of Centre National de la Recherche Scientifique

Manage this page

Citations, last 5 years: 16
Works, last 5 years: 40
h-index: 2
Scientists listed: 0
Grants since 2016: 0

Strongest research topics

Logic, programming, and type systems32Computer Science
Formal Methods in Verification21Computer Science
Software Testing and Debugging Techniques12Computer Science
Syntax, Semantics, Linguistic Variation7Arts and Humanities
Security and Verification in Computing7Computer Science
semigroups and automata theory7Computer Science