@techreport{oai:soar-ir.repo.nii.ac.jp:02001080,
 author = {岡﨑, 裕之},
 month = {},
 note = {研究種目：基盤研究(C), 研究期間：2017～2020, 課題番号：17K00182, 研究代表者：岡崎　裕之, 研究者番号：５０４３２１６７, Other, 2017～2020年度科学研究費助成事業（基盤研究(C)研究成果報告書　課題番号：17K00182　研究代表者：岡崎　裕之},
 title = {形式手法による暗号の安全性証明自動検証システムの開発},
 year = {2021}
}