Eléments de l'association

	Spécification formelle	39
	Véronique Cortier	11
	Spécification formelle *Sauf* Véronique Cortier"	37
	Véronique Cortier *Sauf* Spécification formelle"	9
	Spécification formelle Et Véronique Cortier	2
	Spécification formelle Ou Véronique Cortier	48
	*Corpus*	1389

List of bibliographic references

Number of relevant bibliographic references: 2.

Ident.	Authors (with country if any)	Title
000073	Véronique Cortier [France] ; Ben Smyth [France]	Attacking and fixing Helios: An analysis of ballot secrecy
000508	Mathieu Baudet [France] ; Véronique Cortier [France] ; Steve Kremer [France]	Computationally sound implementations of equational theories against passive adversaries

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