{"acknowledgement":"This work was in part funded by the European Community’s Seventh Framework Programme (FP7) under grant agreement no. 216499 and the Swiss Hasler Foundation under projects no. 09037 and 10069.","date_published":"2011-08-01T00:00:00Z","extern":1,"quality_controlled":0,"year":"2011","_id":"2977","editor":[{"first_name":"Hein","full_name":"Venter, Hein S.","last_name":"Venter"},{"first_name":"Marijke","full_name":"Coetzee, Marijke","last_name":"Coetzee"},{"full_name":"Loock, Marianne","last_name":"Loock","first_name":"Marianne"}],"type":"conference","abstract":[{"lang":"eng","text":"Cryptographic two-party protocols are used ubiquitously in\n    everyday life. While some of these protocols are easy to\n    understand and implement (e.g., key exchange or transmission of\n    encrypted data), many of them are much more complex (e.g.,\n    e-banking and e-voting applications, or anonymous authentication\n    and credential systems).\n\n    For a software engineer without appropriate cryptographic skills\n    the implementation of such protocols is often difficult, time\n    consuming and error-prone. For this reason, a number of compilers\n    supporting programmers have been published in recent\n    years. However, they are either designed for very specific\n    cryptographic primitives (e.g., zero-knowledge proofs of\n    knowledge), or they only offer a very low level of abstraction and\n    thus again demand substantial mathematical and cryptographic\n    skills from the programmer. Finally, some of the existing\n    compilers do not produce executable code, but only metacode which\n    has to be instantiated with mathematical libraries, encryption\n    routines, etc. before it can actually be used.\n  \n    In this paper we present a cryptographically aware compiler which\n    is equally useful to cryptographers who want to benchmark\n    protocols designed on paper, and to programmers who want to\n    implement complex security sensitive protocols without having to\n    understand all subtleties. Our tool offers a high level of\n    abstraction and outputs well-structured and documented Java\n    code. We believe that our compiler can contribute to shortening\n    the development cycles of cryptographic applications and to\n    reducing their error-proneness."}],"author":[{"full_name":"Bangerter, Endre","last_name":"Bangerter","first_name":"Endre"},{"id":"329FCCF0-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2835-9093","full_name":"Stephan Krenn","last_name":"Krenn","first_name":"Stephan"},{"first_name":"Martial","last_name":"Seifriz","full_name":"Seifriz, Martial"},{"first_name":"Ulrich","last_name":"Ultes Nitsche","full_name":"Ultes-Nitsche, Ulrich"}],"publist_id":"3726","citation":{"mla":"Bangerter, Endre, et al. <i>CPLC - A Cryptographic Programming Language and Compiler</i>. Edited by Hein Venter et al., IEEE, 2011, doi:<a href=\"https://doi.org/10.1109/ISSA.2011.6027533\">10.1109/ISSA.2011.6027533</a>.","short":"E. Bangerter, S. Krenn, M. Seifriz, U. Ultes Nitsche, in:, H. Venter, M. Coetzee, M. Loock (Eds.), IEEE, 2011.","ama":"Bangerter E, Krenn S, Seifriz M, Ultes Nitsche U. cPLC - A Cryptographic Programming Language and Compiler. In: Venter H, Coetzee M, Loock M, eds. IEEE; 2011. doi:<a href=\"https://doi.org/10.1109/ISSA.2011.6027533\">10.1109/ISSA.2011.6027533</a>","ista":"Bangerter E, Krenn S, Seifriz M, Ultes Nitsche U. 2011. cPLC - A Cryptographic Programming Language and Compiler. ISSA: Information Security South Africa.","ieee":"E. Bangerter, S. Krenn, M. Seifriz, and U. Ultes Nitsche, “cPLC - A Cryptographic Programming Language and Compiler,” presented at the ISSA: Information Security South Africa, 2011.","chicago":"Bangerter, Endre, Stephan Krenn, Martial Seifriz, and Ulrich Ultes Nitsche. “CPLC - A Cryptographic Programming Language and Compiler.” edited by Hein Venter, Marijke Coetzee, and Marianne Loock. IEEE, 2011. <a href=\"https://doi.org/10.1109/ISSA.2011.6027533\">https://doi.org/10.1109/ISSA.2011.6027533</a>.","apa":"Bangerter, E., Krenn, S., Seifriz, M., &#38; Ultes Nitsche, U. (2011). cPLC - A Cryptographic Programming Language and Compiler. In H. Venter, M. Coetzee, &#38; M. Loock (Eds.). Presented at the ISSA: Information Security South Africa, IEEE. <a href=\"https://doi.org/10.1109/ISSA.2011.6027533\">https://doi.org/10.1109/ISSA.2011.6027533</a>"},"date_created":"2018-12-11T12:00:39Z","conference":{"name":"ISSA: Information Security South Africa"},"day":"01","publication_status":"published","doi":"10.1109/ISSA.2011.6027533","status":"public","publisher":"IEEE","title":"cPLC - A Cryptographic Programming Language and Compiler","month":"08","date_updated":"2021-01-12T07:40:12Z"}