Colas Le Guernic

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 8

Top Venues

CRiSIS

HSCC

CoRR

Tech. Sci. Informatiques

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

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

Colas Le Guernic.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Colas Le Guernic