Login / Signup
Hayato Tada
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 2
Top Topics
Functional Requirements
Security Systems
Intrusion Detection
High Security
Top Venues
IWSEC
</>
Publications
</>
Hayato Tada
,
Akinaga Ueda
,
Kaoru Kurosawa
How to Prove KDM Security of BHHO.
IWSEC
(2018)
Akinaga Ueda
,
Hayato Tada
,
Kaoru Kurosawa
(Short Paper) How to Solve DLOG Problem with Auxiliary Input.
IWSEC
(2018)