Back to Results
First PageMeta Content
Blind signature / Digital signature / RSA / ProVerif / Cryptography / Public-key cryptography / Group signature


Automated algebraic analysis of structure-preserving signature schemes Joeri de Ruiter Institute for Computing and Information Sciences Radboud University Nijmegen P.O. Box 9010, 6500 GL Nijmegen, The Netherlands
Add to Reading List

Document Date: 2014-07-30 07:09:47

Open Document

File Size: 330,33 KB

Share Result on Facebook

City

Cambridge / New York / /

Company

SIAM Journal / Intel / Microsoft / /

Country

United States / Netherlands / /

/

Facility

Joeri de Ruiter Institute / /

IndustryTerm

communications security / invalid solutions / verification algorithm / noninteractive proof systems / verification tools / correct solutions / security protocols / /

Organization

Institute for Computing / /

Person

T. Rabin / Santiago Zanella B´eguelin / Ai / /

Product

CheckSPS / /

ProgrammingLanguage

Prolog / /

PublishedMedium

SIAM Journal on Computing / Cryptology ePrint Archive / Lecture Notes in Computer Science / /

Technology

encryption / Cryptography / RAM / signing algorithm / public-key encryption / verification algorithm / security protocols / secret key / Simulation / padding-based encryption / /

URL

http /

SocialTag