placeholder image

Cansell, Dominique

Person

Positions

, Laboratoire Lorrain de Recherche en Informatique et ses Applications

selected publications

conference paper
- Formal verification of tamper-evident storage for e-voting. . 329-338. 2007

full name

Dominique Cansell

Publications in VIVO

Co-author Network