DOI,IST REx ID,Title of publication
10.1109/ISSA.2011.6027533,2977,cPLC - A Cryptographic Programming Language and Compiler