![Blind signature / Digital signature / RSA / ProVerif / Cryptography / Public-key cryptography / Group signature Blind signature / Digital signature / RSA / ProVerif / Cryptography / Public-key cryptography / Group signature](https://www.pdfsearch.io/img/9b41a14567bcec65a7b9f57779e31c3b.jpg)
| Document Date: 2014-07-30 07:09:47 Open Document File Size: 330,33 KBShare 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 |