Back to Results
First PageMeta Content
IP / Zero-knowledge proof / NP / Soundness / Distance-bounding protocol / Support / Commitment scheme / Alice and Bob / Interactive proof system / Cryptographic protocols / Cryptography / Applied mathematics


Proof of Proximity of Knowledge Serge Vaudenay EPFL CH-1015 Lausanne, Switzerland http://lasec.epfl.ch
Add to Reading List

Document Date: 2014-09-04 02:29:08


Open Document

File Size: 126,16 KB

Share Result on Facebook

Company

Bayer AG / /

Event

FDA Phase / /

Facility

Building Blocks Perfectly / /

IndustryTerm

secret key protocols / polynomial algorithm / distance-bounding protocol / contactless payment applications / symmetric distance-bounding protocols / secure public-key distance-bounding protocol / analyzed protocols / wireless payment systems / tamper resistant devices / bank / wireless technologies / payment device / payment systems / distance-bounding protocols / /

NaturalFeature

Bay et al. / /

Organization

PPT / /

Person

Serge Vaudenay / Ai / /

Position

dummy player / extractor / SKI model / and define the PoPoK / cashier / dummy chess player / called extractor / /

Product

Fig / /

Technology

ProProx protocol / Fiat-Shamir protocol / 2 The Bussard-Bagga protocol / distance-bounding protocol / symmetric distance-bounding protocols / PPT algorithm / public key / SKI protocol / HPO / following distance-bounding protocols / Goldreich-Levin polynomial algorithm / secret key protocols / smartphone / FischlinOnete protocol / poorly analyzed protocols / following protocol / distance-bounding protocols / wireless technologies / Goldwasser-Micali encryption / secret key / Bussard-Bagga protocol / simulation / PPT algorithms / verifying algorithm / three PPT algorithms / secure public-key distance-bounding protocol / HPO protocol / proving algorithm / B. The algorithm / /

URL

http /

SocialTag