Mathilde Arnaud

	2007
1		Mathilde Arnaud, Véronique Cortier, Stéphanie Delaune: Combining Algorithms for Deciding Knowledge in Security Protocols. FroCos 2007: 103-117

Coauthor Index

1	Véronique Cortier	[1]
2	Stéphanie Delaune	[1]