Arnaud Fontaine

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 1

Top Topics

Resource Constrained

Security Mechanisms

Top Venues

Lille University of Science and Technology, France (PHD)

Education History

Lille University of Science and Technology, France

PHD

Publications

Matthieu Baty, Pierre Wilke, Guillaume Hiet, Arnaud Fontaine, Alix Trieu
A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity. CSF (2023)
Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl
On-Device Control Flow Verification for Java Programs. ESSoS (2011)
Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl
Verifiable Control Flow Policies for Java Bytecode. Formal Aspects in Security and Trust (2011)
Arnaud Fontaine, Hélène Touzet
Computational identification of protein-coding sequences by comparative analysis. Int. J. Data Min. Bioinform. 3 (2) (2009)
Arnaud Fontaine, Antoine de Monte, Hélène Touzet
MAGNOLIA: multiple alignment of protein-coding and structural RNA sequences. Nucleic Acids Res. 36 (Web-Server-Issue) (2008)
Ségolène Caboche, Maude Pupin, Valérie Leclère, Arnaud Fontaine, Philippe Jacques, Gregory Kucherov
NORINE: a database of nonribosomal peptides. Nucleic Acids Res. 36 (Database-Issue) (2008)
Arnaud Fontaine, Hélène Touzet
Computational Identification of Protein-Coding Sequences by Comparative Analysis. BIBM (2007)