Infoscience
The Eighth International Conference on Provable Security (ProvSec 2014)
October 9-10, 2014
Hong Kong, China