Type-based verification of electronic voting protocols

被引：15
|
作者：
Cortier, Véronique [1 ]
Eigner, Fabienne [2 ]
Kremer, Steve [1 ]
Maffei, Matteo [2 ]
Wiedling, Cyrille [3 ]
机构：
[1] LORIA, CNRS and INRIA and University of Lorraine, France
[2] CISPA, Saarland University, Germany
[3] Université Catholique de Louvain, Belgium
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2015年 / 9036卷
关键词：
D O I：
10.1007/978-3-662-46666-7_16
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：303 / 323
相关论文
共 50 条
  • [21] Electronic Protocols for Voting and Bidding Based on Secure Multi-party Proof
    Xie, Dongqing
    Tang, Chunming
    ACHIEVEMENTS IN ENGINEERING MATERIALS, ENERGY, MANAGEMENT AND CONTROL BASED ON INFORMATION TECHNOLOGY, PTS 1 AND 2, 2011, 171-172 : 305 - +
  • [22] Type-based derivational morphology
    Susanne Z. Riehemann
    The Journal of Comparative Germanic Linguistics, 1998, 2 (1) : 49 - 77
  • [23] Type-based analysis and applications
    Palsberg, J
    ACM SIGPLAN NOTICES, 2001, : 20 - 27
  • [24] Type-based alias analysis
    Stanford Univ, Stanford, CA, United States
    Proc ACM SIGPLAN Conf Program Lang Des Implementation PLDI, 1600, (106-117):
  • [25] Type-based alias analysis
    Diwan, A
    McKinley, KS
    Moss, JEB
    ACM SIGPLAN NOTICES, 1998, 33 (05) : 106 - 117
  • [26] Type-based alias analysis
    Mitchell, M
    DR DOBBS JOURNAL, 2000, 25 (10): : 54 - +
  • [27] A Tutorial on Type-Based Termination
    Barthe, Gilles
    Gregoire, Benjamin
    Riba, Colin
    LANGUAGE ENGINEERING AND RIGOROUS SOFTWARE DEVELOPMENT, 2009, 5520 : 100 - +
  • [28] On Application of Elliptic Curves in Some Electronic Voting Protocols
    Ratseev, S. M.
    Cherevatenko, O. I.
    IZVESTIYA SARATOVSKOGO UNIVERSITETA NOVAYA SERIYA-MATEMATIKA MEKHANIKA INFORMATIKA, 2018, 18 (01): : 62 - 68
  • [29] Cryptographic Protocol Security Verification of the Electronic Voting System Based on Blinded Intermediaries
    Babenko, Liudmila
    Pisarev, Ilya
    PROCEEDINGS OF THE THIRD INTERNATIONAL SCIENTIFIC CONFERENCE INTELLIGENT INFORMATION TECHNOLOGIES FOR INDUSTRY (IITI'18), VOL 2, 2019, 875 : 49 - 57
  • [30] FIowCFL: Generalized Type-Based Reachability Analysis Graph Reduction and Equivalence of CFL-Based and Type-Based Reachability
    Milanova, Ana
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (OOPSLA):
12345