Infoscience
The 9th International Conference on Provable Security (ProvSec 2015)
November 24-26, 2015
Kanazawa, Japan