# R09: HyCC: Compilation of Hybrid Protocols for Practical Secure Computation

HyCC compiles high-level programs into hybrid secure-computation protocols. PLLM status: tracked.

[View canonical HTML](https://pllm.run/research/papers/r09-hycc/)

Document ID: `pllm.docs.research.papers.r09-hycc`  
Release: `0.1.0`

**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](https://doi.org/10.1145/3243734.3243786)

## 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.

- [Research backlog](/research/backlog/)
- [Reimplementation backlog](/research/backlog/)
- [Clean-room workflow](/research/clean-room/)

## 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](/research/backlog/).