Single-program secure computation
ΒΆ
LangSMC
Navigation
Contents:
Proof overview
Abstract components
Single-party semantics
Multi-party semantics
Secure computation API
Single-party API semantics
Multi-party API semantics
Protocol API
Single-party protocol API semantics
Multi-party protocol API semantics
Single-program secure computation
Multi-program secure computation
Related Topics
Documentation overview
Previous:
Multi-party protocol API semantics
Next:
Multi-program secure computation
Quick search