Yves LE TRAON
Professor at Telecom Bretagne

Head of the SERVAL team (Services and networks Security and Validation)

external collaborator of the Triskell project

Addresses :

Telecom Bretagne

2, rue de la Châtaigneraie
CS 17607

35576 Cesson Sévigné Cedex

IRISA
Campus universitaire de Beaulieu
35042 Rennes Cedex

Phone :

33 (0)2 99 12 70 47 (Telecom Bretagne)

33 (0)2 99 84 25 68 (IRISA)
Fax : 33 (0)2 99 84 25 32

E-mails :

Yves.LETRAON-att-telecom-bretagne.eu
 Yves.Le-Traon-att-irisa.fr

• Research activities

• Publications

• Professional services

• Teaching activities

voir cette page en français

Upcoming events:

ModeVVa 2008

1^st IEEE Workshop on Security Testing (SecTest 2008)

ISSRE 2008

Research activities

Yves Le Traon received his engineering degree and his PhD in computer science from the Institut National Polytechnique de Grenoble, France in 1997.

From 1998 to 2004, he is an assistant professor at the Univ. of Rennes.

From 2004 to 2006, he is an expert on MDA and validation at France Télécom R&D in the EXA team  (Requirements Engineering and Applications).

He is now professor at Telecom Bretagne (Ecole Nationale des Télécommunications de Bretagne) in the SERVAL team where he studies new approaches for testing security policies based on validation techniques (penetration testing, access control policies, web services security). He is an associate member of the IRISA research laboratory in the Triskell team. His research interests also include OO testing, design for testability, model-driven validation and software measurement. He is author of 60 publications in international journals and conferences.

In the Triskell team, all my research activities concern design-for-testability at different stages of the life-cycle:

-          Safe requirement engineering: requirement simulation & verification, system test derivation

-          Integration testing for OO designs

-          Testing issues in model-driven development (MDE)

-          Testability analysis and measurement of UML designs

-          Test quality estimates using mutation analysis in various application contexts (models transformation languages, OO languages).

-          Automatic fault localization

At France Télécom R&D, I specifically worked on:

• requirement simulation and validation applied to new telecom services,

• safe migration of existing telecom services

• the modernization of information system.

Model-driven development is used as the main underlying technology.

Currently, in the SERVAL team at the Telecom Bretagne, I study how validation techniques might be adapted to security testing (penetration testing).

Teaching activities

I teach several courses at post-graduate and master level since 1994, at the Université Joseph Fourier (Grenoble, France), Université de Rennes 1, ENSAI and ENST.

Some of my courses are available online (courses)..
.