Researcher for item 6
Head of Research and Development
Katsuyuki Takashima
Head of Research and Development
Waseda University
Katsuyuki Takashima
Security Evaluation of Advanced Cryptography
This project aims to comprehensively evaluate the security of advanced cryptography from multiple perspectives.We conduct security proofs based on computational complexity analysis and apply formal verification techniques to assess security. In addition, we will work on security analysis based on mathematical algorithms, focusing on quantum resistance and security grounded in discrete mathematics.
This project aims to comprehensively evaluate the security of advanced cryptography from multiple perspectives.We conduct security proofs based on computational complexity analysis and apply formal verification techniques to assess security. In addition, we will work on security analysis based on mathematical algorithms, focusing on quantum resistance and security grounded in discrete mathematics.
MEMBER
- Responsible Researchers Faculty of Education and Integrated Arts and Sciences Professor Katsuyuki Takashima
- Faculty of Education and Integrated Arts and Sciences Professor Seiichiro Tani
- Faculty of Science and Engineering Professor Tsuyoshi Miezaki
- Faculty of Education and Integrated Arts and Sciences Assistant Professor Satoshi Kura