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