Nicolas Marti

According to our database, Nicolas Marti authored at least 5 papers between 2006 and 2013.

Collaborative distances:

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

2013

Towards formal verification of TLS network packet processing written in C.

Reynald Affeldt, Nicolas Marti

Proceedings of the 7th Workshop on Programming languages meets program verification, 2013

2009

A Certified Verifier for a Fragment of Separation Logic.

Nicolas Marti, Reynald Affeldt

Inf. Media Technol., 2009

2007

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

Reynald Affeldt, Miki Tanaka, Nicolas Marti

Proceedings of the Provable Security, 2007

2006

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

Nicolas Marti, Reynald Affeldt, Akinori Yonezawa

Proceedings of the Formal Methods and Software Engineering, 2006

An Approach to Formal Verification of Arithmetic Functions in Assembly.

Reynald Affeldt, Nicolas Marti

Proceedings of the Advances in Computer Science, 2006