| <?xml version="1.0" encoding="utf-8" standalone="yes" ?> |
| <rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom"> |
| <channel> |
| <title>CogniCrypt - Secure Integration of Cryptographic Software on Securely using Cryptography with CogniCrypt</title> |
| <link>https://www.eclipse.org/cognicrypt/</link> |
| <description>Recent content in CogniCrypt - Secure Integration of Cryptographic Software on Securely using Cryptography with CogniCrypt</description> |
| <generator>Hugo -- gohugo.io</generator> |
| <language>en-us</language> |
| <managingEditor>webdev@eclipse-foundation.org (Eclipse Foundation)</managingEditor> |
| <webMaster>webdev@eclipse-foundation.org (Eclipse Foundation)</webMaster> |
| <lastBuildDate>Thu, 27 Feb 2020 18:03:13 +0200</lastBuildDate> |
| |
| <atom:link href="https://www.eclipse.org/cognicrypt/index.xml" rel="self" type="application/rss+xml" /> |
| |
| |
| <item> |
| <title>VIM Syntax highlighting</title> |
| <link>https://www.eclipse.org/cognicrypt/news/vim-syntax-highlighting/</link> |
| <pubDate>Thu, 27 Feb 2020 18:03:13 +0200</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/news/vim-syntax-highlighting/</guid> |
| <description>Thanks to Theofilos Petsios from Amazon Web Services for providing a definition file for syntax highlighting for CrySL in VIM. You can download the definitions here.</description> |
| </item> |
| |
| <item> |
| <title>Job Offerings</title> |
| <link>https://www.eclipse.org/cognicrypt/news/job-offerings/</link> |
| <pubDate>Sun, 09 Feb 2020 18:03:13 +0200</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/news/job-offerings/</guid> |
| <description>We currently have several openings for full-time research staff and software developers who will help us bring CogniCrypt to the next level. The openings are located both at Paderborn and Darmstadt. Please contact Eric Bodden for further information.</description> |
| </item> |
| |
| <item> |
| <title>5 - AWS</title> |
| <link>https://www.eclipse.org/cognicrypt/supporter/aws/</link> |
| <pubDate>Mon, 18 Nov 2019 15:31:15 -0700</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/supporter/aws/</guid> |
| <description></description> |
| </item> |
| |
| <item> |
| <title>Achelos</title> |
| <link>https://www.eclipse.org/cognicrypt/supporter/achelos/</link> |
| <pubDate>Sun, 05 May 2019 10:29:17 +0200</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/supporter/achelos/</guid> |
| <description></description> |
| </item> |
| |
| <item> |
| <title>1- German Research Foundation (DFG)</title> |
| <link>https://www.eclipse.org/cognicrypt/supporter/dfg/</link> |
| <pubDate>Wed, 10 Apr 2019 15:31:15 -0700</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/supporter/dfg/</guid> |
| <description></description> |
| </item> |
| |
| <item> |
| <title>3- Connext Vivendi</title> |
| <link>https://www.eclipse.org/cognicrypt/supporter/connext/</link> |
| <pubDate>Mon, 08 Apr 2019 15:31:15 -0700</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/supporter/connext/</guid> |
| <description></description> |
| </item> |
| |
| <item> |
| <title>2- Oracle</title> |
| <link>https://www.eclipse.org/cognicrypt/supporter/oracle/</link> |
| <pubDate>Sun, 07 Apr 2019 15:31:15 -0700</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/supporter/oracle/</guid> |
| <description></description> |
| </item> |
| |
| <item> |
| <title>Context-, Flow- and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems</title> |
| <link>https://www.eclipse.org/cognicrypt/publications/2019-popl/</link> |
| <pubDate>Sat, 22 Dec 2018 00:00:00 +0000</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/publications/2019-popl/</guid> |
| <description></description> |
| </item> |
| |
| <item> |
| <title>CogniCrypt being presented at Heise devSec</title> |
| <link>https://www.eclipse.org/cognicrypt/news/cognicrypt-being-presented-at-heise-devsec/</link> |
| <pubDate>Wed, 03 Oct 2018 18:03:13 +0200</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/news/cognicrypt-being-presented-at-heise-devsec/</guid> |
| <description>CogniCrypt is being presented in a full-day workshop and a conference talk at this year&rsquo;s Heise devSec!</description> |
| </item> |
| |
| <item> |
| <title>CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs</title> |
| <link>https://www.eclipse.org/cognicrypt/publications/2018-ecoop/</link> |
| <pubDate>Tue, 22 May 2018 00:00:00 +0000</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/publications/2018-ecoop/</guid> |
| <description></description> |
| </item> |
| |
| <item> |
| <title>IDEal: Efficient and Precise Alias-aware Dataflow Analysis</title> |
| <link>https://www.eclipse.org/cognicrypt/publications/2017-oopsla/</link> |
| <pubDate>Sun, 22 Oct 2017 00:00:00 +0000</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/publications/2017-oopsla/</guid> |
| <description></description> |
| </item> |
| |
| <item> |
| <title>CogniCrypt: Supporting Developers in using Cryptography</title> |
| <link>https://www.eclipse.org/cognicrypt/publications/2017-ase/</link> |
| <pubDate>Tue, 22 Aug 2017 00:00:00 +0000</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/publications/2017-ase/</guid> |
| <description></description> |
| </item> |
| |
| <item> |
| <title>Jumping Through Hoops: Why do Java Developers Struggle With Cryptography APIs?</title> |
| <link>https://www.eclipse.org/cognicrypt/publications/2016-icse/</link> |
| <pubDate>Fri, 20 May 2016 00:00:00 +0000</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/publications/2016-icse/</guid> |
| <description></description> |
| </item> |
| |
| <item> |
| <title>0- CROSSING</title> |
| <link>https://www.eclipse.org/cognicrypt/member/crossing/</link> |
| <pubDate>Sun, 08 Mar 2015 15:31:15 -0700</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/member/crossing/</guid> |
| <description></description> |
| </item> |
| |
| <item> |
| <title>1- Technische Universität Darmstadt</title> |
| <link>https://www.eclipse.org/cognicrypt/member/tud/</link> |
| <pubDate>Sun, 08 Mar 2015 15:31:15 -0700</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/member/tud/</guid> |
| <description></description> |
| </item> |
| |
| <item> |
| <title>2- Heinz Nixdorf Institute at Paderborn University</title> |
| <link>https://www.eclipse.org/cognicrypt/member/hni/</link> |
| <pubDate>Sun, 08 Mar 2015 15:31:15 -0700</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/member/hni/</guid> |
| <description></description> |
| </item> |
| |
| <item> |
| <title>3- Fraunhofer Institute for Mechatronic Systems Design (IEM)</title> |
| <link>https://www.eclipse.org/cognicrypt/member/iem/</link> |
| <pubDate>Sun, 08 Mar 2015 15:31:15 -0700</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/member/iem/</guid> |
| <description></description> |
| </item> |
| |
| <item> |
| <title>5- University of Alberta</title> |
| <link>https://www.eclipse.org/cognicrypt/member/uab/</link> |
| <pubDate>Sun, 08 Mar 2015 15:31:15 -0700</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/member/uab/</guid> |
| <description></description> |
| </item> |
| |
| <item> |
| <title>6- University of BrasÃlia</title> |
| <link>https://www.eclipse.org/cognicrypt/member/unb/</link> |
| <pubDate>Sun, 08 Mar 2015 15:31:15 -0700</pubDate> |
| <author>webdev@eclipse-foundation.org (Eclipse Foundation)</author> |
| <guid>https://www.eclipse.org/cognicrypt/member/unb/</guid> |
| <description></description> |
| </item> |
| |
| </channel> |
| </rss> |
