New Techniques for Analyzing Fully Secure Protocols: A Case Study of Solitary Output Secure Computation. - Bar Alon; Benjamin Saldman; Eran Omri (IACR Cryptol. ePrint Arch., 2025)