A formal analysis of the Norwegian E-voting protocol

VĂ©ronique Cortier, Cyrille Wiedling. A formal analysis of the Norwegian E-voting protocol. Journal of Computer Security, 25(1):21-57, 2017. [doi]

Abstract

Abstract is missing.