A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Filters
HACCLE: Metaprogramming for Secure Multi-Party Computation – Extended Version
[article]
2021
arXiv
pre-print
Preserved Fulltext
Other Versions
An important class of such cryptographic techniques is known as Secure Multi-Party Computation (MPC). ...
HACCLE contains an embedded domain-specific language Harpoon, for software developers without cryptographic expertise to write MPC-based programs, and uses Lightweight Modular Staging (LMS) for code generation ...
Acknowledgments We thank the anonymous reviewers for their helpful suggestions and comments. ...
arXiv:2009.01489v3
fatcat:bylz7yg5lzdq3na3afuzpesc2m