pllmR09: HyCC: Compilation of Hybrid Protocols for Practical Secure Computation
HyCC compiles high-level programs into hybrid secure-computation protocols. PLLM status: tracked.
Status: tracked
Year: 2018
Authors: Niklas Büscher, Daniel Demmler, Stefan Katzenbeisser, David Kretzmer, Thomas Schneider
External source: HyCC: Compilation of Hybrid Protocols for Practical Secure Computation
Source contribution
HyCC compiles high-level programs into hybrid secure-computation protocols.
PLLM perspective
Reproduce a fixed published hybrid-selection benchmark. Separate its original frontend and backend assumptions from PLLM region planning, protected-state effects and generative workloads.
Prior architecture cites HyCC; original artifact not run. Canonical DOI verified via author-source metadata; full text must be locked.
This paper remains tracked. Named modules below are implementation targets, not finished PLLM components; no reproduction, integration, assurance, or matched benchmark is claimed.
The source's boundary remains binding: A cost optimizer cannot trade away a privacy contract or numeric semantics. Type-correct composition is not an automatic security theorem.
PLLM modules and documentation
Target module identifiers: compiler.region_selection, compiler.conversion_costs. These identifiers describe scoped work unless this page explicitly links an implementation source. Dependencies: R03, R04.
Backlog
This source is assigned to reimplementation priority 6, Decision structures and regional selection. Its source-registry order is 9. Follow current gates and unfinished work in the research backlog.
R08: Slalom at the Carnival: Privacy-preserving Inference with Masks from Public Knowledge
Carnival uses subset-sum-based masks to accelerate preprocessing for linear outsourcing. PLLM status: tracked.
R10: Oblivious decision program evaluation
Oblivious decision-program protocols evaluate protected decision structures using OT-based reductions. PLLM status: tracked.