Back to Results
First PageMeta Content



Type-Based Verification of Electronic Voting Protocols VĂ©ronique Cortier1 , Fabienne Eigner2 , Steve Kremer1 , Matteo Maffei2 , and Cyrille Wiedling3 1 LORIA, CNRS & INRIA & University of Lorraine, France
Add to Reading List

Document Date: 2015-01-15 13:48:11


Open Document

File Size: 342,86 KB

Share Result on Facebook
UPDATE