CoRReCt: Compute, Record, Replay, Compare to Secure Computations on Untrusted Systems. - Felix Dörre; Marco Liebel; Jeremias Mechler; Jörn Müller-Quade (IACR Cryptol. ePrint Arch., 2025)