HACCLE: Metaprogramming for Secure Multi-Party Computation -- Extended Version (original) (raw)
Related papers
HACCLE: metaprogramming for secure multi-party computation
Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences
HACCLE: An Ecosystem for Building Secure Multi-Party Computations
ArXiv, 2020
A High-Assurance Evaluator for Machine-Checked Secure Multiparty Computation
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
SCAPI: The Secure Computation Application Programming Interface
IACR Cryptology ePrint Archive, 2012
IACR Cryptol. ePrint Arch., 2019
Efficient and Secure Multi-party Computation for Heterogeneous Environment
IJRASET, 2021
MISC: Multi-Input Secure Two-Party Computation
The ISC International Journal of Information Security, 2023
Automatic Generation of Two-Party Computations (Extended Abstract
L1 - An Intermediate Language for Mixed-Protocol Secure Computation
2011 IEEE 35th Annual Computer Software and Applications Conference, 2011
Summary Report on Secure Computation Protocols
2008
Automatic generation of two-party computations
2003
Systematizing Secure Computation for Research and Decision Support
9th Conference on Security and Cryptography for Networks, 2014
Computer Science & Information Technology (CS & IT) Computer Science Conference Proceedings (CSCP)
Mix and Match: Secure Function Evaluation via Ciphertexts
Lecture Notes in Computer Science, 2000
Charm: A Framework for Rapidly Prototyping Cryptosystems
Fairplay — A Secure Two-Party Computation System
2000
Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, 2021
Secure Multi-Party Computation for Collaborative Data Analysis
E3S Web of Conferences
Semi-trusted Collaborative Framework for Multi-party Computation
KSII Transactions on Internet and Information Systems, 2010
Secure Multiparty Computation between Distrusted Networks Terminals
2007
Sound and fine-grain specification of cryptographic tasks
IACR ePrint Archive, 2008
A composable cryptographic library with nested operations
Proceedings of the 10th ACM conference on Computer and communication security - CCS '03, 2003
$$\mathsf {Rabbit}$$: Efficient Comparison for Secure Multi-Party Computation
Financial Cryptography and Data Security, 2021
L1 - Faster Development and Benchmarking of Cryptographic Protocols
2009
Frigate: A Validated, Extensible, and Efficient Compiler and Interpreter for Secure Computation
Knowledge-oriented secure multiparty computation
2012
Efficient, Constant-Round and Actively Secure MPC
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security
The Oz-E Project: Design Guidelines for a Secure Multiparadigm Programming Language
2004
Security and Composition of Multiparty Cryptographic Protocols
Journal of Cryptology, 2000
“Pseudorandom Intermixing”: A Tool for Shared Cryptography
Lecture Notes in Computer Science, 2000