Eléments de l'association

	France	1232
	Laurent Vigneron	6
	France *Sauf* Laurent Vigneron"	1226
	Laurent Vigneron *Sauf* France"	0
	France Et Laurent Vigneron	6
	France Ou Laurent Vigneron	1232
	*Corpus*	1389

List of bibliographic references

Number of relevant bibliographic references: 6.

Ident.	Authors (with country if any)	Title
000304	MOHAMED SALAH BOUASSIDA [France] ; Najah Chridi [France] ; Isabelle Chrisment [France] ; Olivier Festor [France] ; Laurent Vigneron [France]	Automated Verification of a Key Management Architecture for Hierarchical Group Protocols : Sécurité des réseaux et des systèmes d'information
000335	Florent Jacquemard [France] ; Michael Rusinowitch [France] ; Laurent Vigneron [France]	Tree automata with equality constraints modulo equational theories
000706	Yannick Chevalier [France] ; Ralf Küsters [États-Unis] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France] ; Laurent Vigneron [France]	Extending the Dolev-Yao intruder for analyzing an unbounded number of sessions
000768	Alessandro Armando [Italie] ; David Basin [Allemagne] ; Mehdi Bouallagui [France] ; Yannick Chevalier [Allemagne] ; Luca Compagna [Italie] ; Sebastian Mödersheim [France] ; Michael Rusinowitch [France] ; Mathieu Turuani [France] ; Luca Vigano [Allemagne] ; Laurent Vigneron [France]	The AVISS security protocol analysis tool
000829	Yannick Chevalier [France] ; Laurent Vigneron [France]	Automated unbounded verification of security protocols
000A18	Florent Jacquemard [France] ; Michaël Rusinowitch [France] ; Laurent Vigneron [France]	Compiling and verifying security protocols

Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022