Automatic Protocol Selection in Secure Two-Party Computations.
Florian KerschbaumThomas SchneiderAxel SchröpferPublished in: ACNS (2014)
Keyphrases
- key agreement protocol
- cryptographic protocols
- covert channel
- semi honest
- secure routing
- privacy preserving
- scalar product
- group communication
- authentication protocol
- security model
- key distribution
- lightweight
- semi automatic
- security protocols
- rfid systems
- multi party
- provably secure
- key exchange protocol
- password authentication
- diffie hellman
- cryptographic algorithms
- formal analysis
- electronic voting
- homomorphic encryption
- blind signature
- key agreement
- security services
- security properties
- secure multiparty computation
- security analysis
- digital signature scheme