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

Poster / Demo

Oualha, Nouha;Roudier, Yves

Securing cooperative backup for mobile systems

Programme Initiative du GET, "Réseaux autonomes et spontanés", 16- 17 Novembre 2006, Rennes, France
Detail
Document
BIBTEX

Poster / Demo

Ferrero, Diego;Urvoy-Keller, Guillaume

A size-based scheduling to improve fairness and performance in 802.11 networks

SIGCOMM 2006, ACM conference of the Special Interest Group on Data Communication, September 11-15, 2006, Pisa, Italy
Detail
Document
DOI
BIBTEX

Poster / Demo

Crosta, Stefano;Montagut, Frédéric;Pazzaglia, Jean-Christophe;Reznichenko, Yevgen;Rit,Maarten;Schaad, Andreas

A secure public sector workflow management system

ACSAC 2005, 21st Annual Computer Security Applications Conference, December 5-9, 2005, Tucson, USA
Detail
Document
BIBTEX