3 citations · 5 across the 6 of their papers we have counts for
1 paper · 2 filters
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…