Arnaud Fontaine

IRCICA - Office 132
Parc Scientifique de la Haute Borne
50, avenue Halley - BP 70478
59658 Villeneuve d'Ascq Cedex
FRANCE
See the profile of Arnaud Fontaine on LinkedIn
Phone: +33 3 62 53 15 57
EMail:
FRENCH

Research

I am interested in systems security in general. My last research activites focus on formal aspects of software security, and especially on static code analysis for information protection (control flow policies, informationflow policies).

Parcours

October 2010 - now
Post-doc at INRIA Lille - Nord Europe in the FUN research group for the european project FP7-ICT SecureChange
April 2009 - September 2010
Post-doct at LIFL in the RD2P/POPS research group for the french project ANR SFINCS
October 2005 - September 2008
PhD in computer science at University Lille 1 (manuscript in french)

Publications

International conferences

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

International journals

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

Other publications

Arnaud Fontaine
Technical report, August 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 and Hélène Touzet
Seminar AReNa 2008
Application bio-informatique: gènes à protéines et gènes à ARN
Arnaud Fontaine and Hélène Touzet
RNA comparative analysis
Arnaud Fontaine and Hélène Touzet
Classification d'ARN: codant/non-codant
Arnaud Fontaine and Hélène Touzet
Seminar AReNa 2005

Teachine

Systems security

Lecturer
Master TiiR at University Lille 1
2011-2012, 2010-2011
Master TiiR (remote training) at Telecom Lille 1
2011-2012, 2010-2011

Operating systems

Lecturer
Undergraduates at University Aix Marseille 1
2008-2009

Object oriented programming

Assistant lecturer
Undergraduates at IUT A of University Lille 1
2007-2008

Computers architecture

Assistant lecturer
Undergraduates at IUT A of University Lille 1
2007-2008, 2005-2006

Computer networks

Assistant lecturer
Undergraduates at IUT A of University Lille 1
2006-2007

Algorithms

Assistant lecturer
Undergraduates at IUT A of University Lille 1
2006-2007, 2005-2006
Valid XHTML 1.0