print

Publications

Poster / Demo

Apvrille, Ludovic; Roudier, Yves; Tanzi, Tullio J; Guarnieri, Franck

SysML-Sec: Capturing and formally proving safety and security properties

Colloque de l'Institut Mines-Télécom, "Numérique : Grande échelle et complexité", March 2014, Paris, France
Detail
HAL
BIBTEX

Poster / Demo

Pietrzyk, Marcin;Urvoy-Keller, Guillaume;Costeux, Jean-Laurent

Digging into KAD users' shared folders

SIGCOMM 2008, ACM annual conference of the Special Interest Group on Data Communications, August 18-22, 2008, Seattle, USA
Detail
Document
BIBTEX