JST CREST Project “Mathematical Modelling for Next-Generation Cryptography” focuses on developing foundations for the mathematical modelling of the next-generation cryptographic systems, hereby addressing the risk brought by recent advances in cryptanalysis, in particular, by quantum computation and the physical attacks on the cryptographic devices (such as the power analysis). JST CRESTプロジェクト「次世代暗号に向けたセキュリティ危殆化回避数理モ デリング」