cPLC - A Cryptographic Programming Language and Compiler. - Endre Bangerter; Stephan Krenn; Matrial Seifriz; Ulrich Ultes-Nitsche (ISSA, 2011)