L1 - An Intermediate Language for Mixed-Protocol Secure Computation.
Axel SchröpferFlorian KerschbaumGünter MüllerPublished in: IACR Cryptol. ePrint Arch. (2010)
Keyphrases
- scalar product
- secure multi party computation
- cryptographic protocols
- covert channel
- lightweight
- security protocols
- authentication protocol
- homomorphic encryption
- security analysis
- key exchange protocol
- group communication
- programming language
- language learning
- privacy preserving
- key distribution
- security properties
- multi party
- vertically partitioned data
- key exchange
- secure routing
- secure multi party
- trusted third party
- diffie hellman
- key agreement protocol
- electronic voting
- provably secure
- key establishment
- secure communication
- rfid systems
- cryptographic algorithms
- user authentication
- private information retrieval
- intermediate level
- security model