@inproceedings{CTT100863312,
  author = {Daiki Hiraga and Keisuke Hara and Masayuki Tezuka and Yusuke Yoshida and Keisuke Tanaka},
  title = {Security Definitions on Time-Lock Puzzles},
  booktitle = {Information Security and Cryptology – ICISC 2020},
  year = 2021,
}

@inproceedings{CTT100836406,
  author = {田中圭介 and 平賀大揮 and 手塚真徹 and 原啓祐 and 吉田雄祐},
  title = {タイムロックパズルに対する安全性定義の考察},
  booktitle = {},
  year = 2020,
}