3 citations · 5 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.OC2023★ 3 cited
Linearizing Binary Optimization Problems Using Variable Posets for Ising Machines
Kentaro Ohno, Nozomu Togawa
Ising machines are next-generation computers expected to efficiently sample near-optimal solutions of combinatorial optimization problems. Combinatorial optimization problems are m…
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…