@article{CTT100653262, author = {Shigeki Hagihara and Hiroaki Oguro and Naoki Yonezaki}, title = {Kripke semantics for Epistemic Logic of Relational Information between Ciphertexts}, journal = {Philippine Computing Journal}, year = 2012, } @article{CTT100593455, author = {小黒博昭 and 萩原茂樹 and 米崎直樹}, title = {記号論的暗号解析を用いたOblivious Transferプロトコルの解析}, journal = {電子情報通信学会論文誌 D}, year = 2009, } @inproceedings{CTT100629737, author = {Shigeki Hagihara and Hiroaki Oguro and Naoki Yonezaki}, title = {Completeness of a Deduction System for Relational Information between Ciphertexts based on Probabilistic Computational Semantics}, booktitle = {Theory and Practice of Computation, Proceedings in Information and Communications Technology}, year = 2012, } @inproceedings{CTT100619273, author = {萩原茂樹 and 小黒博昭 and 米崎直樹}, title = {暗号文間の関係情報認知可能性に関する論理体系}, booktitle = {情報処理学会第73回全国大会講演論文集}, year = 2011, } @inproceedings{CTT100619277, author = {小黒博昭 and 萩原茂樹 and 米崎直樹}, title = {紛失通信プロトコルの解析のための可能世界意味論に基づく形式体系}, booktitle = {情報処理学会第73回全国大会講演論文集}, year = 2011, } @inproceedings{CTT100613646, author = {萩原茂樹 and 小黒博昭 and 米崎直樹}, title = {暗号文間の関係情報を推論する体系に対する可能世界意味論}, booktitle = {日本ソフトウェア科学会第27回大会講演論文集}, year = 2010, } @inproceedings{CTT100613647, author = {小黒博昭 and 萩原茂樹 and 米崎直樹}, title = {紛失通信プロトコルを解析する形式体系の意味論}, booktitle = {日本ソフトウェア科学会第27回大会講演論文集}, year = 2010, } @inproceedings{CTT100593529, author = {Hiroaki Oguro and Shigeki Hagihara and Naoki Yonezaki}, title = {A Formal System for Analysis of an Oblivious Transfer Protocol}, booktitle = {}, year = 2008, } @inproceedings{CTT100566209, author = {小黒博昭 and 萩原茂樹 and 米崎直樹}, title = {記号論的暗号解析を用いた Oblivious Transfer プロトコルの解析}, booktitle = {日本ソフトウェア科学会第25回大会講演論文集}, year = 2008, } @inproceedings{CTT100548466, author = {小黒博昭 and 萩原茂樹 and 米崎直樹}, title = {記号論的暗号解析を用いた Oblivious Transfer プロトコルの解析}, booktitle = {コンピュータセキュリティシンポジウム2007 (CSS2007) 論文集, 情報処理学会シンポジウムシリーズ}, year = 2007, } @inproceedings{CTT100548465, author = {萩原茂樹 and 小黒博昭 and 米崎直樹}, title = {暗号文から得られる部分情報に関する推論体系とその計算論に基づく意味}, booktitle = {日本ソフトウェア科学会第24回大会講演論文集}, year = 2007, }