"Daiki Hiraga,Keisuke Hara,Masayuki Tezuka,Yusuke Yoshida,Keisuke Tanaka","Security Definitions on Time-Lock Puzzles","International Conference on Information Security and Cryptology","Information Security and Cryptology ? ICISC 2020",,,,"pp. 3-15",2021,Feb. "田中圭介,平賀大揮,手塚真徹,原啓祐,吉田雄祐","タイムロックパズルに対する安全性定義の考察","2020年暗号と情報セキュリティシンポジウム",,,,,,2020,Jan.