Symphony: Expressive Secure Multiparty Computation with Coordination

Computer Science

• Formalization 100%
• Single Instruction Multiple Data 100%
• secure multiparty computation 100%
• Open Source 50%
• Case Study 50%
• Programming Language 50%
• Expressive Power 50%
• Superior Performance 50%
• Benchmark Program 50%
• Formal Language 50%
• Distributed Programming 50%
• Interpreter 50%
• Cryptographic Technique 50%
• Output Function 50%

Keyphrases

• Secure multi-party Computation 100%
• Symphony 100%
• Multi-party Computation 40%
• Programmer 20%
• First-in-class 20%
• Single Instruction multiple Data 20%
• Language Level 20%
• Cryptographic 20%
• High Efficiency 10%
• Protocol Optimization 10%
• Computational Framework 10%
• Interpreter 10%
• Superior Performance 10%
• Increased Demand 10%
• Prototype Implementation 10%
• Two-party 10%
• Coordination Pattern 10%
• Cryptographic Techniques 10%
• Expressive Power 10%
• Benchmark Program 10%
• Formal Proof 10%
• Formal Languages 10%
• Distributed Programming 10%
• Private Input 10%
• Data Semantics 10%
• Data View 10%
• Functional Programming Languages 10%
• Distributed Semantic Model 10%
• Share Classes 10%
• Cryptographer 10%