The first conference ProvSec (provable security) was successfully held on Nov. 1st-2nd, 2007 at the University of Wollongong, Australia. The proceedings is published in LNCS Vol. 4784. The second conference ProvSec 2008 will be held in Shanghai, China, Oct. 30th - Nov. 1st, 2008. The proceedings will continue to be published in Springer-Verlag’s Lecture Notes in Computer Science (LNCS) series. Besides the regular paper track, the conference also plan to host a short paper track in which the selected papers will be published in the Journal of Shanghai Jiaotong University (Science), which is currently indexed by EI.
ProvSec 2008 is in cooperation with Chinese Association for Cryptologic Research (CACR) and Natural Science Foundation of China (NSFC), sponsored by Shanghai Jiaotong University (SJTU).