Provable Security - 9783642332715

Benyoucef - E-Technologies 6th International Conference MCETECH 201 - X555z

Bartocci - Runtime Verification 6th International Conference RV 201 - X555z

Smith - Information Theoretic Security 6th International Conference - X555z

Podelski - Networked Systems 6th International Conference NETYS 201 - X555z

Provable Security : 6th International Conference, Provsec 2012, Chengdu, Chin...

Bao - Cryptology and Network Security 6th International Conference - X555z

Provable Security : 6th International Conference, Provsec 2012, Chengdu, Chin...