Explore the landscape of general-purpose frameworks for secure multi-party computation (MPC) in this comprehensive IEEE conference talk. Delve into the capabilities and limitations of eleven cutting-edge MPC systems, including EMP-toolkit, Obliv-C, ObliVM, and SCALE-MAMBA. Gain insights into language expressibility, cryptographic back-ends, and developer accessibility for each framework. Learn about the challenges of implementing MPC and the importance of improved documentation and standardization in the field. Discover recommendations for future compiler development and access virtual environments with pre-installed dependencies for hands-on experimentation with these powerful tools.
Overview
Syllabus
Intro
Background
Overview
Results
Frameworks
Protocols
Hybrid Protocols
HighLevel Languages
Limitations
CBMGC
Wisteria
Documentation
Conclusion
Taught by
IEEE Symposium on Security and Privacy