Colas Le Guernic

20 papers A* 3A 2B 1C 2Journal 4Unranked 6
YearRankTypeTitle / Venue / Authors
2018 A conf
Specification-Based Protocol Obfuscation.
DSN
Julien Duchêne, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Colas Le Guernic
2018 J jnl
Specification-Based Protocol Obfuscation.
CoRR
Julien Duchêne, Eric Alata, Vincent Nicomette, Mohamed Kaâniche, Colas Le Guernic
2018 J jnl
State of the art of network protocol reverse engineering tools.
J. Comput. Virol. Hacking Tech.
Julien Duchêne, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
2017 — conf
Data Aware Defense (DaD): Towards a Generic and Practical Ransomware Countermeasure.
NordSec
Aurélien Palisse, Antoine Durand, Hélène Le Bouder, Colas Le Guernic, Jean-Louis Lanet
2017 B conf
Toward a Sound Analysis of Guarded LTI Loops with Inputs by Abstract Acceleration.
SAS
Colas Le Guernic
2016 J jnl
Outils pour la rétro-conception de protocoles. Analyse et classification.
Tech. Sci. Informatiques
Eric Alata, Vincent Nicomette, Julien Duchêne, Colas Le Guernic, Mohamed Kaâniche
2016 C conf
Protocol Reverse Engineering: Challenges and Obfuscation.
CRiSIS
Julien Duchêne, Colas Le Guernic, Eric Alata, Vincent Nicomette, Mohamed Kaâniche
2016 C conf
Ransomware and the Legacy Crypto API.
CRiSIS
Aurélien Palisse, Hélène Le Bouder, Jean-Louis Lanet, Colas Le Guernic, Axel Legay
2013 — conf
Flowpipe approximation and clustering in space-time.
HSCC
Goran Frehse, Rajat Kateja, Colas Le Guernic
2013 — ch.
Tools for the Analysis of Hybrid Models.
Communicating Embedded Systems
Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic
2011 J jnl
Computing reachable states for nonlinear biological models.
Theor. Comput. Sci.
Thao Dang, Colas Le Guernic, Oded Maler
2011 A* conf
From Cardiac Cells to Genetic Regulatory Networks.
CAV
Radu Grosu, Grégory Batt, Flavio H. Fenton, James Glimm, Colas Le Guernic, Scott A. Smolka, Ezio Bartocci
2011 — conf
Reachable set computation for uncertain time-varying linear systems.
HSCC
Matthias Althoff, Colas Le Guernic, Bruce H. Krogh
2011 A* conf
SpaceEx: Scalable Verification of Hybrid Systems.
CAV
Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
2010 A conf
Approximating the Pareto Front of Multi-criteria Optimization Problems.
TACAS
Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler
2009 — conf
Computing Reachable States for Nonlinear Biological Models.
CMSB
Thao Dang, Colas Le Guernic, Oded Maler
2009 A* conf
Reachability Analysis of Hybrid Systems Using Support Functions.
CAV
Colas Le Guernic, Antoine Girard
2009 — —
Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics. (Calcul d'Atteignabilité des Systèmes Hybrides à Partie Continue Linéaire).
Colas Le Guernic
2008 — conf
Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis.
HSCC
Antoine Girard, Colas Le Guernic
2006 — conf
Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs.
HSCC
Antoine Girard, Colas Le Guernic, Oded Maler