岡崎研究室では暗号の研究をおこなっています．暗号はICT社会をささえるインフラの要素として重要となっています．しかし，暗号は情報理論，計算理論，あるいは数学など情報工学のさまざまな技術分野の上に成り立つ総合的な学問分野であるため，専門家以外には理解しがたい世界になっています．これからの暗号は「安全であることを誰もが納得して使える」ことを目指さないといけません．同研究室では，数理的技法を用いてコンピュータを使って暗号システムの安全性を証明するための仕組み作りを進めています． メンバー 教員 准教授岡崎 裕之
