VMCAI, Cortesi, Agostino
Springer
|
International Workshop on Logic Program Synthesis and Transformation, Leuschel, Michael
Springer
|
ACNS, Jakobsson, Markus, Yung, Moti, Zhou, Jianying
Springer
|
Abdalla, Michel, Barreto, Paulo S.L.M., LATINCRYPT
Springer
|
Masami Ito, Masafumi Toyama
Springer
|
International Conference on Financial Cryptography, Juels, Ari
Springer
|
Rajarajan, Muttukrishnan., Piper, Fred., Wang, Haining., Kesidis, George., SpringerLink (Online service)
Springer Berlin Heidelberg : Imprint: Springer
|
International Conference of Z Users, Bowen, J. P. (Jonathan Peter), 1956-, Fett, Andreas, Hinchey, Michael G. (Michael …
Springer
|
ACNS, Zhou, Jianying, Yung, Moti, Han, Yongfei
Springer
|
International Conference on Financial Cryptography, Blaze, Matt
Springer
|
International Conference on Information and Communications Security, Qing, Sihan, Gollmann, Dieter, Zhou, Jianying
Springer
|
International Conference on Theorem Proving in Higher Order Logics, Grundy, J. (Jim), 1968-, Newey, Malcolm Charles
Springer
|