Proof overview
¶
Vertical dimension
¶
Horizontal dimension
¶
LangSMC
Navigation
Contents:
Proof overview
Vertical dimension
Horizontal dimension
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:
LangSMC documentation
Next:
Abstract components
Quick search