Automated proof for computational security of cryptography

Explanation

There have been extensive studies over several years on the formal verification of the cryptographic protocol. Recently, approaches to provide computationally sound proof of security have been proposed. The purpose of this research is to develop a theory to extend the coverage of such approaches and to develop an experimental system based on the theory. The field of research is expected to cover that represented by conferences such as CRYPTO, EUROCRYPT, ASIACRYPT, CSF and FCC.

Knowledge and Skills required

Candidates are required to have knowledge of cryptology and formal verification, as well as programming skills in C, ML, etc.