Deducibility constraints and blind signatures

Sergiu Bursuc, Hubert Comon-Lundh, Stephanie Delaune

Research output: Contribution to journal › Article (Academic Journal) › peer-review

2 Citations (Scopus)

Original language	English
Pages (from-to)	106-127
Journal	Information and Computation
Volume	238
Early online date	16 Jul 2014
DOIs	https://doi.org/10.1016/j.ic.2014.07.006
Publication status	Published - Nov 2014

Keywords

Formal verification, Cryptographic primitives, Decision procedures, Intruder models

@article{0ab28fdcf2004dce9f2ab381dffa38c5,

title = "Deducibility constraints and blind signatures",

keywords = "Formal verification, Cryptographic primitives, Decision procedures, Intruder models",

author = "Sergiu Bursuc and Hubert Comon-Lundh and Stephanie Delaune",

year = "2014",

month = nov,

doi = "10.1016/j.ic.2014.07.006",

language = "English",

volume = "238",

pages = "106--127",

journal = "Information and Computation",

issn = "0890-5401",

publisher = "Elsevier Inc.",

}

TY - JOUR

T1 - Deducibility constraints and blind signatures

AU - Bursuc, Sergiu

AU - Comon-Lundh, Hubert

AU - Delaune, Stephanie

PY - 2014/11

Y1 - 2014/11

KW - Formal verification, Cryptographic primitives, Decision procedures, Intruder models

U2 - 10.1016/j.ic.2014.07.006

DO - 10.1016/j.ic.2014.07.006

M3 - Article (Academic Journal)

SN - 0890-5401

VL - 238

SP - 106

EP - 127

JO - Information and Computation

JF - Information and Computation

ER -