Login / Signup

Type-Based Verification of Electronic Voting Protocols.

Véronique CortierFabienne EignerSteve KremerMatteo MaffeiCyrille Wiedling
Published in: IACR Cryptol. ePrint Arch. (2015)
Keyphrases