index.xml

<?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>Sat, 22 Dec 2018 00:00:00 +0000</lastBuildDate>
    
	<atom:link href="https://www.eclipse.org/cognicrypt/index.xml" rel="self" type="application/rss+xml" />
    
    
    <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&amp;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>
    
  </channel>
</rss>