暗号と理論:計算機によって検証された安全性証明

Study period：2007 - 2010
Organization (1)：
Principal investigator： ( , 情報セキュリティ研究センター, 研究センター長 )

, , , ,

Research program：＞＞＞
Parent Research Project：コンピューターサイエンスを含む情報通信技術
Organization with control over the research：

Japan Science and Technology Agency

Reports ：

Return to Previous Page