An Empirical Study and Some Improvements of the MiniMac Protocol for Secure Computation.
Ivan DamgårdRasmus LauritsenTomas ToftPublished in: SCN (2014)
Keyphrases
- scalar product
- secure multi party computation
- cryptographic protocols
- covert channel
- authentication protocol
- privacy preserving
- security protocols
- lightweight
- group communication
- secure routing
- multi party
- key agreement protocol
- key distribution
- vertically partitioned data
- secure multi party
- password authentication
- dot product
- security analysis
- rfid systems
- security properties
- provably secure
- sensitive data
- secure multiparty computation
- security model
- homomorphic encryption
- tcp ip
- electronic voting
- key exchange protocol
- key exchange
- key establishment
- cryptographic algorithms
- mutual authentication
- semi honest
- standard model
- trusted third party
- mobile agent system
- formal analysis