2015

Sound and quasi-Complete Detection of Infeasible Test Requirements

Sébastien Bardin, Mickaël Delahaye, Robin David, Nickolaï Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion

2015

ICST

Sound and quasi-Complete Detection of Infeasible Test Requirements

Sébastien Bardin, Mickaël Delahaye, Robin David, Nickolaï Kosmatov, Mike Papadakis, Yves Le Traon, Jean-Yves Marion




2013

UCC

Flying Over Mobile Clouds with Security Planes: Select your Class of SLA for End-to-End Security

Marc Lacoste, Aurélien Wailly, Aymeric Tabourin, Loïc Habermacher, Xavier Le Guillou and Jean-Philippe Wary



2013

HIP

Malware vs Virtualization : The endless cat and mouse play

Aurélien Wailly



2010

Stage

Utilisation d'un nouveau type de matériel de sécurité avec IPsec/IKEv2

Aurélien Wailly