C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Christophe Crochet
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 2
Top Topics
Symbolic Execution
Model Checking
Static Analysis
State Space
Top Venues
CRiSIS
EPIQ@CoNEXT
</>
Publications
</>
Charles-Henry Bertrand Van Ouytsel
,
Christophe Crochet
,
Khanh-Huu-The Dam
,
Axel Legay
Tool Paper - SEMA: Symbolic Execution Toolchain for Malware Analysis.
CRiSIS
(2022)
Christophe Crochet
,
Tom Rousseaux
,
Maxime Piraux
,
Jean-François Sambon
,
Axel Legay
Verifying QUIC implementations using Ivy.
EPIQ@CoNEXT
(2021)