cPLC — A cryptographic programming language and compiler | IEEE Conference Publication | IEEE Xplore