Nicolas Marti

	2007
3		Reynald Affeldt, Miki Tanaka, Nicolas Marti: Formal Proof of Provable Security by Game-Playing in a Proof Assistant. ProvSec 2007: 151-168
	2006
2		Reynald Affeldt, Nicolas Marti: An Approach to Formal Verification of Arithmetic Functions in Assembly. ASIAN 2006: 346-360
1		Nicolas Marti, Reynald Affeldt, Akinori Yonezawa: Formal Verification of the Heap Manager of an Operating System Using Separation Logic. ICFEM 2006: 400-419

Coauthor Index

1	Reynald Affeldt	[1] [2] [3]
2	Miki Tanaka	[3]
3	Akinori Yonezawa	[1]