pllmR10: Oblivious decision program evaluation
Oblivious decision-program protocols evaluate protected decision structures using OT-based reductions. PLLM status: tracked.
Status: tracked
Year: 2013
Authors: Salman Niksefat, Babak Sadeghiyan, Payman Mohassel
External source: Oblivious decision program evaluation
Source contribution
Oblivious decision-program protocols evaluate protected decision structures using OT-based reductions.
PLLM perspective
Reproduce the original actor roles first. Then separately specify a model-aware garbler/offline-dealer adaptation for encoded nonlinear paths, including all input label delivery.
Weighted transducer archive uses related ideas but is not a reproduction of this protocol.
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: Role reversal and arithmetic output are adaptations. Fixed path length alone does not prove that node identities or graph topology are hidden.
PLLM modules and documentation
Target module identifiers: gate.oblivious_branching_program, convert.branching_input. These identifiers describe scoped work unless this page explicitly links an implementation source. Dependencies: R04.
Backlog
This source is assigned to reimplementation priority 6, Decision structures and regional selection. Its source-registry order is 10. Follow current gates and unfinished work in the research backlog.
R09: HyCC: Compilation of Hybrid Protocols for Practical Secure Computation
HyCC compiles high-level programs into hybrid secure-computation protocols. PLLM status: tracked.
R11: Factored Edge-Valued Binary Decision Diagrams
Factored edge-valued diagrams share subfunctions through additive and multiplicative edge normalization. PLLM status: tracked.