Nicolas Marti

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2013
Towards formal verification of TLS network packet processing written in C.
Proceedings of the 7th Workshop on Programming languages meets program verification, 2013

2009
A Certified Verifier for a Fragment of Separation Logic.
Inf. Media Technol., 2009

2007
Formal Proof of Provable Security by Game-Playing in a Proof Assistant.
Proceedings of the Provable Security, 2007

2006
Formal Verification of the Heap Manager of an Operating System Using Separation Logic.
Proceedings of the Formal Methods and Software Engineering, 2006

An Approach to Formal Verification of Arithmetic Functions in Assembly.
Proceedings of the Advances in Computer Science, 2006


  Loading...