@inproceedings{oai:shizuoka.repo.nii.ac.jp:00013940,
 author = {神農, 泰圭 and 兼子, 拓弥 and 高橋, 健太 and 尾形, わかは and 西垣, 正勝},
 book = {2016年暗号と情報セキュリティシンポジウム(SCIS2016), 2016 Symposium on Cryptography and Information Security},
 month = {Jan},
 note = {2016年 暗号と情報セキュリティシンポジウム(SCIS2016)
開催場所：ANAクラウンプラザホテル熊本ニュースカイ
開催期間：2016年1月19日（火）～ 1月22日（金）
セッション番号：3E2-5, application/pdf},
 pages = {1--8},
 publisher = {電子情報通信学会},
 title = {計算機援用計算量的安全性の定式化に関する一検討},
 year = {2016}
}