Arnaud Fontaine
IRCICA - Bureau 132
Parc Scientifique de la Haute Borne
50, avenue Halley - BP 70478
59658 Villeneuve d'Ascq Cedex
FRANCE
Téléphone: +33 3 62 53 15 57
Courriel: arnaud.fontaine@inria.fr
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
Octobre 2005 - Septembre 2008
Doctorat en informatique à l'Université Lille 1 (manuscrit)
Publications
Conférences internationales
Verifiable control flow properties for Java bytecode
FAST2011, to appear in Springer LNCS vol. 7140
ESSoS 2011, IEEE Computer Society, ACM SIGSAC and SIGSOFT, Springer LNCS
BIBM 2007, IEEE Computer Society
Journaux internationaux
International Journal of Data Mining and Bioinformatics, Vol. 3, No. 2, 2009
Nucleic Acids Research, Web server issue, 2008
Nucleic Acids Research, Database issue, 2008
Autres
Rapport de recherche INRIA, Avril 2011
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
Séminaire AReNa 2008
Application bio-informatique: gènes à protéines et gènes à ARN
RNA comparative analysis
Classification d'ARN: codant/non-codant
Séminaire AReNa 2005
Enseignement
Sécurité des systèmes
Reponsable de l'Unité d'Enseignement
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