Security Definitions on Time-Lock Puzzles. - Daiki Hiraga; Keisuke Hara; Masayuki Tezuka; Yusuke Yoshida; Keisuke Tanaka (ICISC, 2020)