Hayato Tada, Akinaga Ueda, Kaoru Kurosawa. How to Prove KDM Security of BHHO. In Atsuo Inomata, Kan Yasuda, editors, Advances in Information and Computer Security - 13th International Workshop on Security, IWSEC 2018, Sendai, Japan, September 3-5, 2018, Proceedings. Volume 11049 of Lecture Notes in Computer Science, pages 281-296, Springer, 2018. [doi]
Abstract is missing.