Synchronous Constructive Cryptography
2020 ◽
pp. 439-472