Advances in cryptology – CRYPTO 2012 : 32nd Annual Cryptology Conference Santa Barbara, CA, USA, August 19-23, 2012. Proceedings
editors, Reihaneh Safavi-Naini, Ran Canetti
Springer, 2012
eBooks
Sarfraz Khurshid, editor
Runtime verification : second international conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011 : revised selected papers
[, Springer-Verlag], 2012
eBooks
Yukiko Nakano, editor
Intelligent virtual agents : 12th international conference, IVA 2012, Santa Cruz, CA, USA, September, 12-14, 2012 : proceedings
[, Springer-Verlag], 2012
eBooks
P. Madhusudan, editor
Computer aided verification : 24th international conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 : proceedings
[Springer-Verlag, ], 2012
eBooks
Progress in cryptology-AFRICACRYPT 2012 : 5th International Conference on Cryptology in Africa, Ifrane, Morocco, July 10-12, 2012 : proceedings
edited by Aikaterini Mitrokotsa, Serge Vaudenay
Springer-Verlag, 2012
eBooks