Reynald Affeldt

	2012
12		Reynald Affeldt, David Nowak, Yutaka Oiwa: Formal network packet processing with minimal fuss: invertible syntax descriptions at work. PLPV 2012: 27-36
	2009
11		Reynald Affeldt, Hubert Comon-Lundh: Verification of Security Protocols with a Bounded Number of Sessions Based on Resolution for Rigid Variables. Formal to Practical Security 2009: 1-20
10		Reynald Affeldt, David Nowak, Kiyoshi Yamada: Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS. ECEASST 23: (2009)
9		Reynald Affeldt, David Nowak, Kiyoshi Yamada: Certifying Assembly with Formal Cryptographic Proofs: the Case of BBS. IACR Cryptology ePrint Archive 2009: 322 (2009)
	2008
8		Reynald Affeldt, Naoki Kobayashi: A Coq Library for Verification of Concurrent Programs. Electr. Notes Theor. Comput. Sci. 199: 17-32 (2008)
	2007
7		Reynald Affeldt, Miki Tanaka, Nicolas Marti: Formal Proof of Provable Security by Game-Playing in a Proof Assistant. ProvSec 2007: 151-168
	2006
6		Reynald Affeldt, Nicolas Marti: An Approach to Formal Verification of Arithmetic Functions in Assembly. ASIAN 2006: 346-360
5		Nicolas Marti, Reynald Affeldt, Akinori Yonezawa: Formal Verification of the Heap Manager of an Operating System Using Separation Logic. ICFEM 2006: 400-419
	2005
4		Reynald Affeldt, Naoki Kobayashi: Partial Order Reduction for Verification of Spatial Properties of Pi-Calculus Processes. Electr. Notes Theor. Comput. Sci. 128(2): 151-168 (2005)
	2004
3		Frédéric Peschanski, Reynald Affeldt, Jean-Pierre Briot: Les espaces d'interaction Vers une géométrie des systèmes d'agents mobiles. L'OBJET 10(2-3): 31-45 (2004)
	2002
2		Reynald Affeldt, Hidehiko Masuhara, Eijiro Sumii, Akinori Yonezawa: Supporting objects in run-time bytecode specialization. ASIA-PEPM 2002: 50-60
1		Reynald Affeldt, Naoki Kobayashi: Formalization and Verification of a Mail Server in Coq. ISSS 2002: 217-233

Coauthor Index

1	Jean-Pierre Briot	[3]
2	Hubert Comon-Lundh (Hubert Comon)	[11]
3	Naoki Kobayashi	[1] [4] [8]
4	Nicolas Marti	[5] [6] [7]
5	Hidehiko Masuhara	[2]
6	David Nowak	[9] [10] [12]
7	Yutaka Oiwa	[12]
8	Frédéric Peschanski	[3]
9	Eijiro Sumii	[2]
10	Miki Tanaka	[7]
11	Kiyoshi Yamada	[9] [10]
12	Akinori Yonezawa	[2] [5]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page