Formal verification of tamper-evident storage for e-voting.

Dominique Cansell, J. Paul Gibson, Dominique Mry

Browse the full SEFM paper archive.