How to Prove KDM Security of BHHO. - Hayato Tada; Akinaga Ueda; Kaoru Kurosawa (IWSEC, 2018)

(Short Paper) How to Solve DLOG Problem with Auxiliary Input. - Akinaga Ueda; Hayato Tada; Kaoru Kurosawa (IWSEC, 2018)