Provable Security 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings Au Man-Ho Heftet / 2015 / Engelsk
Provable Security 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings Okamoto Tatsuaki Heftet / 2017 / Engelsk