Daiki Hiraga, Keisuke Hara, Masayuki Tezuka, Yusuke Yoshida, Keisuke Tanaka. Security Definitions on Time-Lock Puzzles. In Deukjo Hong, editor, Information Security and Cryptology - ICISC 2020 - 23rd International Conference, Seoul, South Korea, December 2-4, 2020, Proceedings. Volume 12593 of Lecture Notes in Computer Science, pages 3-15, Springer, 2020. [doi]