The Protocols Virtual Lab coordinates research in cryptographic protocols. Cryptographic protocols are inherent in almost any application of cryptography. Such protocols involve interaction between two or more agents, who can be humans or machines. The goal of a protocol can be of technical nature, such as agreeing on a secret key for subsequent secure communication, secure identification of agents or reliable broadcast. But the goal can also be of more application-oriented nature, such as secure payment systems, fair exchange of information, secure electronic voting or secure auctions and contract bidding. Secure protocols must reach their goals despite attacks, even from agents who participate in the protocol.
More particularly this virtual lab aims to co-ordinate and facilitate research in the following areas.
- Models and definitions
- Secure computation protocols
- Rational cryptographic protocols
Please check the upcoming events of the PROVILAB.