Static analysis for blinding

MaRDI QIDQ3431409zbMATH OpenFDO

Authors Christoffer Rosenkilde Nielsen, Hanne Riis Nielson

Publication date 10 April 2007

zbMATH Keywords

asymmetric encryptionkey distribution protocols

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Recommendations

• Static validation of a voting protocol
• Three systems for cryptographic protocol analysis
• scientific article; zbMATH DE number 1088232
• Blinding for unanticipated signatures
• scientific article; zbMATH DE number 1088904

Cited in

(1)

• Static validation of a voting protocol

This page was built for publication: Static analysis for blinding

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3431409)