An Approach to Formalize Information-Theoretic Security of Multiparty Computation Protocols.

Cheng-Hui Weng, Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa

Browse the full FORTE paper archive.