Progress in Cryptology - INDOCRYPT 2012 - Ohjelmoinnin teoria ja kryptologia - nidottu(9783642349300)