Dylan Marinho
Dylan Marinho
Home
Research
Publications
Teaching
Education
Responsibilities
Contact
Light
Dark
Automatic
English
Français
Tags
IMITATOR
opacity
parameter synthesis
timed automata
Detection
Malware
Mirai
SCDG
Security
frequent sub-graph
»
Cite
×