How to Prove KDM Security of BHHO.

Hayato Tada, Akinaga Ueda, Kaoru Kurosawa

Browse the full IWSEC paper archive.