Type-Based Verification of Electronic Voting Protocols

Cortier, Véronique and Eigner, Fabienne and Kremer, Steve and Maffei, Matteo and Wiedling, Cyrille
(2015) Type-Based Verification of Electronic Voting Protocols.
UNSPECIFIED
.

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item