Isabelle Simplot-Ryl's Home Page

Isabelle Simplot-Ryl

Professor

Erdös number=3
I. Ryl/I. Stojmenovic/P. Valtr/P. Erdös

	Research Lab of Lille LIFL (Laboratoire d'Informatique Fondamentale de Lille)
	INRIA Lille - Nord Europe
	IUT-A, Université Lille 1
	Université Lille 1 (Sciences et Technologies)

Research

CNRS UMR 8022, LIFL, Univ. Lille 1, INRIA Lille - Nord Europe
IRCICA (Bureau 131)
Parc Scientifique de la Haute Borne
50, avenue Halley - BP 70478
59658 Villeneuve d'Ascq Cedex, FRANCE

e-mail: Isabelle.Ryl at lifl.fr
IRCICA : +33/(0)3.62.53.15.63
INRIA : +33/(0)3.59.57.79.64
fax : +33/(0)3.59.57.78.50
Anne Rejl (Assitant) : +33/(0)3.62.53.15.53

Research interests

Safety and security in embedded and mobile systems

Verification of security properties of ubiquitous systems
Information flow
Safe optimization for small embedded systems
Security for sensor networks

STAN tool

Research groups and projects

Member of POPS joint project of the INRIA/LIFL/Univ. Lille 1

SecureChange (Security Engineering for lifelong Evolvable Systems) FP7-ICT
SFINCS (Securing Flow of INformation for Computing pervasive Systems), selected by the 2007 ANR SESUR (with LIF, Norsys, SI3SI, Trusted Logic, Verimag)
Guest Scientist of EMERGENCY (Mobile decision support in emergency situations) funded by the Research Council of Norway under the VERDIKT research program (2008--2012)

Past activities. Associate member of ADAPT-FT project (Univ. Oslo, Norway, 1999-2001), Scientific leader of STAC project (CNRS ATIP, Univ. Lille, France, 2001-2002), Member of the SPOPS project (ACI Sécurité, INRIA Sophia-Antipolis, Univ. Lille, Supélec Rennes, 2003--2006), Collaborator in CREOL project (Univ. Oslo, Norway, 2004--2008)

Recent publications

A. M. Hoole, I. Traoré, I. Simplot-Ryl. Application of Contract-based Security Assertion Monitoring Framework for Telecommunications Software Engineering. Accepted for publication in Mathematical and Computer Modelling.
D. Ghindici, I. Simplot-Ryl, and J.-M. Talbot. A sound analysis for secure information flow using abstract memory graphs. 3rd IPM International Conference on Fundamentals of Software Engineering, FSEN 2009, Revised Selected Papers, Kish Island, Iran, April 15-17, 2010, vol. 5961 of LNCS, pp. 355--370.
X. Li, N. Mitton, I. Ryl, and D. Simplot. Localized Sensor Self-Deployment with Coverage Guarantee in Complex Environment. 8th International Conference on Ad-Hoc Networks & Wireless (AdHoc-Now 2009), Murcia, Spain, 2009, vol. 5793 of LNCS, pp. 138--151.
X. Li, N. Mitton, I. Ryl, and D. Simplot. A Novel Sensor Localization Scheme by Mobile Actors [Poster abstract]. 10th ACM International Symposium on Mobile Ad Hoc Networking and Computing (MobiHoc 2009), New orleans, USA, 2009, ACM, pp. 339-340.
I. Simplot-Ryl, I. Traoré, P. Everaere. Distributed Architectures for Electronic Cash Schemes: A Survey . International Journal of Parallel, Emergent and Distributed Systems (IJPEDS) 24, 3(2009), pp. 243-271.

Complete list of publications

Current PhD students

Donia El Kateb, "Évolution des propriétés de sécurité dans les systèmes autonomes", co-directed with Dr. Samuel Hym (may 2009).
Jovan Radak, "Analysis of program for energy consumption optimization -- Application to the memory" (sept. 2008).
Alia Ghaddar, "Apports de l'analyse de données dans les protocoles de réseaux de capteurs", cotutorial thesis with Lebanese University (dec. 2008).
Nicolas Boulenguez, "Formalisation de la sémantique de processeurs et applications à la sécurité", co-directed with Dr. Samuel Hym (feb. 2010).

Former PhD students

Dorina Ghindici, "Information flow analysis for embedded systems: from practical to theoretical aspects" (2008) co-directed with Dr. Gilles Grimaud, Lecturer.
Yann Hodique, "Sûreté et optimisation par les systèmes de types en contexte ouvert et contraint" (2007) co-directed with Dr. Gilles Grimaud. Sr QA Engineer at VMware.
Arnaud Bailly, "Test et Validation de Composants Logiciels" (2005) co-directed with Pr. Mireille Clerbout. Consultant at OQube.

Events

IEEE GC10 - AHSN (PC member). The IEEE Globecom 2010 - Ad-hoc and Sensor Networking Symposium, Miami, USA, December, 2010.
UIC2010 (PC member). The 7th International Conference on Ubiquitous Intelligence and Computing, Xi'an, China, October 26-29, 2010.
PST2010 (PC member). The 8th Annual Conference on Privacy, Security and Trust, Ottawa, Canada, August 17-19, 2010.
IEEE LCN 2010 (PC member). The 35th IEEE Conference on Local Computer Networks, Denver, Colorado, U.S.A., October 11-14, 2010.
HumanCom 2010 (PC member). The 3rd International Conference on Human-centric Computing, Cebu, Philippines, August 11-13, 2010.
DEPEND 2010 (PC member). The Third International Conference on Dependability, Venice, Italy, July 2010.
FTfJP 2010 (PC member). The 12th Workshop on Formal Techniques for Java-like Programs, workshop of ECOOP 2010, Maribor, Slovenia, June, 2010.
MobiSec 2010 (PC member). The 2nd International ICST Conference on Security and Privacy in Mobile Information and Communication Systems, Catania, Sicily, May 26-28, 2010.
IEEE ICC 2010 - AHS (PC member). The IEEE ICC 2010 Ad-hoc, Sensor and Mesh Networking Symposium, Cape Town, South Africa, 23-27 May, 2010.
SAR-SSI 2010 (PC member). 5th Conf. on Network Architectures and Information Systems Security, Menton, France, May 18-21, 2010.
IMIS 2010 (PC member). The 4th International Workshop on Intelligent, Mobile and Internet Services in Ubiquitous Computing, Kralow, Poland, February 15-18, 2010.

Past events. CSA 2009, MPIS 2009, LCN 2009, UIC-09, SH'09, SARSSI 2009, DEPEND 2009, ICC'2009-AHSNET, MUE'09, IMIS 2009, JDIR'09, SH'08, MPIS'08, LCN 2008, CARDIS 2008, UIC-08, IMIS 2008, SH'07, LCN 2007, IMIS 2007, Applied Computing 2007, MSN'06, e-Commerce 2006, LOCAN 2006, LCN 2006, WWASN2006, Applied Computing 2006, LOCAN 2005, SaNSO 2005, MSN05.

Teaching

Département Informatique de l'IUT-A
Univ. Lille 1
B.P. 179
59653 Villeneuve d'Ascq Cedex, FRANCE

Informations 2009-2010

Licence pro DA2I : planning.
Master Professionnel TIIR : Sécurité des systèmes, planning.

e-mail: Isabelle.Ryl at lifl.fr
Bureau : 2A.24
téléphone : +33/(0)3.59.63.22.20
fax : +33/(0)3.59.63.22.22

last update: February 1, 2010