An Approach to Formalize Information-Theoretic Security of Multiparty Computation Protocols. - Cheng-Hui Weng; Reynald Affeldt; Jacques Garrigue; Takafumi Saikawa (FORTE, 2025)