Provable Security 9th International Conference ProvSec 2015 Kanaz

Provable Security - 9783319260587

Blanchette - Tests and Proofs 9th International Conference TAP 2015 - X555z

Provable Security : 9th International Conference, Provsec 2015, Kanazawa, Jap...

Qiu - Network and System Security 9th International Conference NSS - X555z

Pieprzyk - Provable Security Third International Conference Provsec - X555z

Bagchi - Information Systems Security 9th International Conference - X555z