In this talk we are reviewing a number of cryptographic primitives that fit nicely together for building high-level cryptographic protocols. The primitives we will discussing include particular proofs of knowledge, signature, and encryption scheme.
We will explain these schemes and then give a couple of examples of high-level schemes and how they can be realized with these primitives.