Working Groups
There are three Working Groups within PROVILAB working groups. These working groups coordinate research in the following areas:
- PROVI1 Models and definitions
- Authentication and key agreement protocols, their combination
- Zero-knowledge proofs (concurrent composition)
- Identification protocols
- PROVI2 Secure computation protocols
- Efficient multiparty computation (MPC)
- Provable security for practical protocols
– Voting
– Secure auctions and bidding
– Threshold cryptography
– Asynchronous agreement protocols - Unconditionally Secure Protocols
- PROVI3 Rational cryptographic protocols
- Rational behavior, economic and game-theoretic models
- Multiparty computation with rational participants