An Approach to Formal Verification of Arithmetic Functions in Assembly. - Reynald Affeldt; Nicolas Marti (ASIAN, 2006)

Formal Verification of the Heap Manager of an Operating System Using Separation Logic. - Nicolas Marti; Reynald Affeldt; Akinori Yonezawa (ICFEM, 2006)

Formal Proof of Provable Security by Game-Playing in a Proof Assistant. - Reynald Affeldt; Miki Tanaka; Nicolas Marti (ProvSec, 2007)

A Certified Verifier for a Fragment of Separation Logic. - Nicolas Marti; Reynald Affeldt (Inf. Media Technol., 2009)

Towards formal verification of TLS network packet processing written in C. - Reynald Affeldt; Nicolas Marti (PLPV, 2013)