{"id":1783,"date":"2015-08-13T07:52:40","date_gmt":"2015-08-13T05:52:40","guid":{"rendered":"http:\/\/sseblog.ec-spride.de\/?p=1783"},"modified":"2015-08-13T07:52:40","modified_gmt":"2015-08-13T05:52:40","slug":"paper-accepted-at-oopsla-onward-2","status":"publish","type":"post","link":"https:\/\/blogs.uni-paderborn.de\/sse\/2015\/08\/13\/paper-accepted-at-oopsla-onward-2\/","title":{"rendered":"Paper accepted at OOPSLA Onward!"},"content":{"rendered":"<div class=\"twoclick_social_bookmarks_post_1783 social_share_privacy clearfix 1.6.4 locale-en_US sprite-en_US\"><\/div><div class=\"twoclick-js\"><script type=\"text\/javascript\">\/* <![CDATA[ *\/\njQuery(document).ready(function($){if($('.twoclick_social_bookmarks_post_1783')){$('.twoclick_social_bookmarks_post_1783').socialSharePrivacy({\"txt_help\":\"Wenn Sie diese Felder durch einen Klick aktivieren, werden Informationen an Facebook, Twitter, Flattr, Xing, t3n, LinkedIn, Pinterest oder Google eventuell ins Ausland \\u00fcbertragen und unter Umst\\u00e4nden auch dort gespeichert. N\\u00e4heres erfahren Sie durch einen Klick auf das <em>i<\\\/em>.\",\"settings_perma\":\"Dauerhaft aktivieren und Daten\\u00fcber-tragung zustimmen:\",\"info_link\":\"http:\\\/\\\/www.heise.de\\\/ct\\\/artikel\\\/2-Klicks-fuer-mehr-Datenschutz-1333879.html\",\"uri\":\"https:\\\/\\\/blogs.uni-paderborn.de\\\/sse\\\/2015\\\/08\\\/13\\\/paper-accepted-at-oopsla-onward-2\\\/\",\"post_id\":1783,\"post_title_referrer_track\":\"Paper+accepted+at+OOPSLA+Onward%21\",\"display_infobox\":\"on\"});}});\n\/* ]]> *\/<\/script><\/div><p>Our paper on &#8220;<a href=\"https:\/\/www.informatik.tu-darmstadt.de\/fileadmin\/user_upload\/Group_EC-Spride\/Publikationen\/Onward2015.pdf\">Secure Integration of Cryptographic Software<\/a>&#8221; has been accepted at OOSPLA Onward!. In this paper we propose a new approach for implementing software that uses cryptographic algorithms in a way that is secure by design. With our approach, developers can avoid the pitfalls of complex crypto APIs without having to study crypto theory and implementations first. Instead, they select their high-level goals (e.g., &#8220;encrypt a file on disk&#8221; or &#8220;transmit data over a secure channel&#8221;) and let the OpenCCE expert system create implementation blueprints for them. After they have integrated the blueprints into their applications, automatically-derived static analyses make sure that no new issues have accidentally been introduced. This research is performed within the <a href=\"https:\/\/www.crossing.tu-darmstadt.de\/en\/crossing\/\">CROSSING<\/a> CRC.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Our paper on &#8220;Secure Integration of Cryptographic Software&#8221; has been accepted at OOSPLA Onward!. In this paper we propose a new approach for implementing software that uses cryptographic algorithms in a way that is secure by design. With our approach, &hellip; <a href=\"https:\/\/blogs.uni-paderborn.de\/sse\/2015\/08\/13\/paper-accepted-at-oopsla-onward-2\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":6601,"featured_media":0,"comment_status":"closed","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-1783","post","type-post","status-publish","format-standard","hentry","category-general"],"_links":{"self":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/posts\/1783","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/users\/6601"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/comments?post=1783"}],"version-history":[{"count":0,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/posts\/1783\/revisions"}],"wp:attachment":[{"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/media?parent=1783"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/categories?post=1783"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.uni-paderborn.de\/sse\/wp-json\/wp\/v2\/tags?post=1783"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}