Showing cs.CRShow all
2 papers · 1 filter
cs.CR2023
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…
cs.CR2021
On the Effectiveness of Clone Detection for Detecting IoT-related Vulnerable Clones
Kentaro Ohno, Norihiro Yoshida, Wenqing Zhu +1
Since IoT systems provide services over the Internet, they must continue to operate safely even if malicious users attack them. Since the computational resources of edge devices co…