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.
In: Proceedings of the 4th International Conference on Principles of Security and Trust (POST).

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item