Arnaud Fontaine
IRCICA - Office 132
Parc Scientifique de la Haute Borne
50, avenue Halley - BP 70478
59658 Villeneuve d'Ascq Cedex
FRANCE
Phone: +33 3 62 53 15 57
EMail: arnaud.fontaine@inria.fr
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
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
FAST2011, to appear in Springer LNCS vol. 7140
ESSoS 2011, IEEE Computer Society, ACM SIGSAC and SIGSOFT, Springer LNCS
BIBM 2007, IEEE Computer Society
International journals
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
Other publications
Research report, April 2011
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
Seminar AReNa 2008
Application bio-informatique: gènes à protéines et gènes à ARN
RNA comparative analysis
Classification d'ARN: codant/non-codant
Seminar AReNa 2005
Teachine
Systems security
Lecturer
2011-2012, 2010-2011
Master TiiR (remote training) at Telecom Lille 1
2011-2012, 2010-2011
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