Deducibility constraints and blind signatures

Sergiu Bursuc, Hubert Comon-Lundh, Stephanie Delaune

Research output: Contribution to journalArticle (Academic Journal)peer-review

Original languageEnglish
Pages (from-to)106-127
JournalInformation and Computation
Volume238
Early online date16 Jul 2014
DOIs
Publication statusPublished - Nov 2014

Keywords

  • Formal verification, Cryptographic primitives, Decision procedures, Intruder models

Cite this