Nicolas Marti

Publication Activity (10 Years)

Years Active: 2006-2013
Publications (10 Years): 0

Top Topics

Formal Verification

Packet Filtering

Top Venues

Publications

Reynald Affeldt, Nicolas Marti
Towards formal verification of TLS network packet processing written in C. PLPV (2013)
Reynald Affeldt, Miki Tanaka, Nicolas Marti
Formal Proof of Provable Security by Game-Playing in a Proof Assistant. ProvSec (2007)
Reynald Affeldt, Nicolas Marti
An Approach to Formal Verification of Arithmetic Functions in Assembly. ASIAN (2006)
Nicolas Marti, Reynald Affeldt, Akinori Yonezawa
Formal Verification of the Heap Manager of an Operating System Using Separation Logic. ICFEM (2006)