Author

Nicolas Marti

Institution: National Institute of Advanced Industrial Science and Technology

Observed institutions: National Institute of Advanced Industrial Science and Technology, The University of Tokyo

OpenAlex ID: A5079730775

Formal Verification of the Heap Manager of an Operating System Using Separation Logic

2006 · Nicolas Marti, Reynald Affeldt, et al. · Lecture notes in computer science · 54

Formal Proof of Provable Security by Game-Playing in a Proof Assistant

2007 · Reynald Affeldt, Miki Tanaka, et al. · Springer eBooks · 23

A Certified Verifier for a Fragment of Separation Logic

2009 · Nicolas Marti, Reynald Affeldt · 18

An Approach to Formal Verification of Arithmetic Functions in Assembly

2007 · Reynald Affeldt, Nicolas Marti · Lecture notes in computer science · 12

Towards formal verification of TLS network packet processing written in C

2013 · Reynald Affeldt, Nicolas Marti · Programming Languages meets Program Verification · 9

Towards Formal Verication of Memory Properties using Separation Logic

2005 · Nicolas Marti, Reynald Aeldt · 6

Formal verification of low-level software

2008 · Nicolas Marti · 2

Toward Verification of Memory Management property using Separation logic

2005 · Nicolas Marti, Reynald Affeldt, et al. · 1

Formal Verification of the Heap Manager of an Operating System using Separation Logic

· Nicolas Marti, Reynald Affeldt, et al.

Works count: 14

Citation count: 125

H-index: 6

I10-index: 4