Get started
Author

Arnaud Fontaine

On-Device Control Flow Verification for Java Programs
2011 · Arnaud Fontaine, Samuel Hym, et al. · Lecture notes in computer science · 5
A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity
2023 · Matthieu Baty, Pierre Wilke, et al. · IEEE Computer Security Foundations Workshop (CSFW) · 4
PDF
A Bottom-Up Formal Verification Approach for Common Criteria Certification: Application to JavaCard Virtual Machine
2022 · Djoudi, Adel, Hana, Martin, et al. · HAL · 4
Requirements on the Use of Coq in the Context of Common Criteria Evaluations
2020 · Bertot, Yves, Dénès, Maxime, et al. · HAL · 2
Verifiable Control Flow Policies for Java Bytecode
2012 · Arnaud Fontaine, Samuel Hym, et al. · Lecture notes in computer science · 1
SecureChange public project deliverable D6.6: Development-time and on-device interplay
2012 · Arnaud Fontaine, Olga Gadyatskaya, et al. · Lirias (KU Leuven)
PDF
Lightweight verification of control flow policies on Java bytecode
2011 · Arnaud Fontaine, Samuel Hym, et al. · HAL
New Results - Data collection and management
2011 · Thierry Delot, Geoffroy Cogniaux, et al.
Integration of XML streams in information flow analysis for Java
2010 · Arnaud Fontaine · HAL
New Results - Sound Information Flow
2009 · Arnaud Fontaine, Dorina Ghindici, et al.
Contracts and Grants with Industry - ANR SESUR 2007 “Securing Flow of INformation for Computing pervasive Systems” (SFINCS) (2008-2010)
2009 · Arnaud Fontaine, Dorina Ghindici, et al.
Software - STatic Alias aNalyser
2009 · Arnaud Fontaine, Samuel Hym, et al.
Works count: 22
Citation count: 16
H-index: 3
I10-index:
Year
Topic
Type