L1 - An Intermediate Language for Mixed-Protocol Secure Computation.
Axel SchröpferFlorian KerschbaumGünter MüllerPublished in: COMPSAC (2011)
Keyphrases
- cryptographic protocols
- scalar product
- secure multi party computation
- covert channel
- lightweight
- authentication protocol
- security protocols
- security analysis
- privacy preserving
- vertically partitioned data
- programming language
- secure routing
- natural language
- key agreement protocol
- key distribution
- group communication
- language learning
- multi party
- key exchange protocol
- provably secure
- mutual authentication
- standard model
- rfid systems
- homomorphic encryption
- diffie hellman
- key exchange
- security properties
- key management
- security services
- trusted third party
- security mechanisms
- electronic voting
- formal analysis
- security model
- security issues
- operational semantics