Automatic Protocol Selection in Secure Two-Party Computations.
Florian KerschbaumThomas SchneiderAxel SchröpferPublished in: NDSS (2013)
Keyphrases
- key agreement protocol
- cryptographic protocols
- covert channel
- authentication protocol
- lightweight
- group communication
- security analysis
- security model
- semi honest
- secure routing
- security protocols
- key exchange protocol
- scalar product
- cryptographic algorithms
- privacy preserving
- homomorphic encryption
- key exchange
- authenticated key agreement
- authentication scheme
- multi party
- provably secure
- mutual authentication
- diffie hellman
- electronic voting
- security properties
- key agreement
- communication protocol
- formal analysis
- security requirements
- secure multi party
- fully automatic