@phdthesis{oai:repository.dl.itc.u-tokyo.ac.jp:00007174,
 author = {久保田, 貴大},
 month = {Mar},
 note = {学位の種別:課程博士, 審査委員会委員 : （主査）東京大学講師 蓮尾 一郎, 東京大学教授 小林 直樹, 東京大学特任准教授 ルガル フランソワ, 京都大学教授 長谷川 真人, シドニー工科大学・清華大学教授 Ying Mingsheng},
 school = {東京大学, University of Tokyo},
 title = {APPLICATION OF FORMAL METHODS TO QUANTUM CRYPTOGRAPHY},
 year = {2014}
}