Arnaud Fontaine

According to our database, Arnaud Fontaine authored at least 7 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity.

Matthieu Baty, Pierre Wilke, Guillaume Hiet, Arnaud Fontaine, Alix Trieu

Proceedings of the 36th IEEE Computer Security Foundations Symposium, 2023

2011

Verifiable Control Flow Policies for Java Bytecode.

Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl

Proceedings of the Formal Aspects of Security and Trust - 8th International Workshop, 2011

On-Device Control Flow Verification for Java Programs.

Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl

Proceedings of the Engineering Secure Software and Systems - Third International Symposium, 2011

2009

Classification d'ARN codants et d'ARN non-codants.

Arnaud Fontaine

PhD thesis, 2009

Computational identification of protein-coding sequences by comparative analysis.

Arnaud Fontaine, Hélène Touzet

Int. J. Data Min. Bioinform., 2009

2008

MAGNOLIA: multiple alignment of protein-coding and structural RNA sequences.

Arnaud Fontaine, Antoine de Monte, Hélène Touzet

Nucleic Acids Res., 2008

NORINE: a database of nonribosomal peptides.

Ségolène Caboche, Maude Pupin, Valérie Leclère, Arnaud Fontaine, Philippe Jacques, Gregory Kucherov

Nucleic Acids Res., 2008