Arnaud Fontaine

IRCICA - Bureau 132
Parc Scientifique de la Haute Borne
50, avenue Halley - BP 70478
59658 Villeneuve d'Ascq Cedex
FRANCE
Voir le profil de Arnaud Fontaine sur LinkedIn
Téléphone: +33 3 62 53 15 57
Courriel:
ENGLISH

Recherche

Je m'intéresse de manière générale à la sécurité des systèmes. Mes dernières activités de recherche portent sur les méthodes formelles pour la sécurité du logiciel, et plus particulièrement sur l'analyse statique de code pour la confidentialité (politiques de flot de contrôle, politiques de flot d'information).

Parcours

Octobre 2010 - maintenant
Post-doctorat chez INRIA Lille - Nord Europe au sein de l'équipe FUN dans le cadre du projet européen FP7-ICT SecureChange
Avril 2009 - Septembre 2010
Post-doctorat au LIFL au sein de l'équipe RD2P/POPS dans le cadre du projet ANR SFINCS
Octobre 2005 - Septembre 2008
Doctorat en informatique à l'Université Lille 1 (manuscrit)

Publications

Conférences internationales

Verifiable control flow properties for Java bytecode
Arnaud Fontaine, Samuel Hym et Isabelle Simplot-Ryl
FAST2011, to appear in Springer LNCS vol. 7140
Arnaud Fontaine, Samuel Hym et Isabelle Simplot-Ryl
ESSoS 2011, IEEE Computer Society, ACM SIGSAC and SIGSOFT, Springer LNCS

Journaux internationaux

Arnaud Fontaine et Hélène Touzet
International Journal of Data Mining and Bioinformatics, Vol. 3, No. 2, 2009
Arnaud Fontaine, Antoine de Monte et Hélène Touzet
Nucleic Acids Research, Web server issue, 2008
Ségolène Caboche, Maude Pupin, Valérie Leclere, Arnaud Fontaine, Philippe Jacques et Grégory Kucherov
Nucleic Acids Research, Database issue, 2008

Autres

Arnaud Fontaine
Rapport technique INRIA, Août 2010
Cryptography-based declassification for secure information flow analysis of Java bytecode
Prédiction de structure avec caRNAc, existant et développements en cours
Arnaud Fontaine et Hélène Touzet
Séminaire AReNa 2008
Application bio-informatique: gènes à protéines et gènes à ARN
Arnaud Fontaine et Hélène Touzet
RNA comparative analysis
Arnaud Fontaine et Hélène Touzet
Classification d'ARN: codant/non-codant
Arnaud Fontaine et Hélène Touzet
Séminaire AReNa 2005

Enseignement

Sécurité des systèmes

Reponsable de l'Unité d'Enseignement
Master TiiR de l'Université Lille 1
2011-2012, 2010-2011
Master TiiR à distance de Telecom Lille 1
2011-2012, 2010-2011

Systèmes d'exploitation

Responsable de l'Unité d'Enseignement
Licence informatique S6 de l'Université de Provence - Aix Marseille 1
2008-2009

Conception orientée objets (AP5)

Intervenant de TD
DUT informatique S3 et S4 de l'IUT A de l'Université Lille 1
2007-2008

Architecture des ordinateurs (ASR2)

Intervenant de TD et de TP
DUT informatique S1 et S2 de l'IUT A de l'Université Lille 1
2007-2008, 2005-2006

Réseaux (ASR5)

Intervenant de TD et de TP
DUT informatique S1 et S2 de l'IUT A de l'Université Lille 1
2006-2007

Algorithmique (AP1, AP2, AP3)

Intervenant de TP
DUT informatique S1 et S2 de l'IUT A de l'Université Lille 1
2006-2007, 2005-2006
Valid XHTML 1.0