A Security Verification Framework of Cryptographic Protocols Using Machine Learning

Kentaro Ohno, Misato Nakabayashi

We propose a security verification framework for cryptographic protocols using machine learning. In recent years, as cryptographic protocols have become more complex, research on a…