The Two Sheriffs Problem: Cryptographic Formalization and Generalization. - Kota Sugimoto; Takeshi Nakai; Yohei Watanabe 001; Mitsugu Iwamoto (COCOA (1), 2023)