-
Notifications
You must be signed in to change notification settings - Fork 0
/
index.xml
2 lines (2 loc) · 9.54 KB
/
index.xml
1
2
<?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>[email protected] (Eclipse Foundation)</managingEditor><webMaster>[email protected] (Eclipse Foundation)</webMaster><lastBuildDate>Thu, 10 Dec 2020 16:30:13 +0200</lastBuildDate><atom:link href="https://www.eclipse.org/cognicrypt/index.xml" rel="self" type="application/rss+xml"/><item><title>Ph.D. Thesis on CogniCrypt Published!</title><link>https://www.eclipse.org/cognicrypt/news/ph.d.-thesis-on-cognicrypt-published/</link><pubDate>Thu, 10 Dec 2020 16:30:13 +0200</pubDate><author>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/news/ph.d.-thesis-on-cognicrypt-published/</guid><description>We are happy to announce the publication of Stefan Krüger&rsquo;s Ph.D. Thesis! The thesis gives a comprehensive introduction into CogniCrypt and the research we have been conducting over the past few years in the context of the tool. In the thesis, Krüger motivates the work on CogniCrypt and discusses the approach, comprising of CrySL, CogniCryptSAST, and CogniCryptGEN, in detail. That is not all, however. In the final chapters of the thesis, Krüger also outlines several ideas for further CrySL-based tool support that should help developers use cryptographic APIs and that are already in the works.</description></item><item><title>CogniCrypt 1.0 released!</title><link>https://www.eclipse.org/cognicrypt/news/cognicrypt-1.0-released/</link><pubDate>Mon, 27 Apr 2020 15:03:13 +0200</pubDate><author>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/news/cognicrypt-1.0-released/</guid><description>Researchers from the Collaborative Research Center CROSSING and partners are working on crypto assistant for software developers
CogniCrypt supports developers during the integration of cryptographic components into software and checks automatically if they are integrated and configured correctly. After five years of work, CogniCrypt has matured to Version 1.0. For this release, we have extended and thoroughly tested CogniCrypt&rsquo;s main features: the code generator and the static code analysis. CogniCrypt now supports the code generation for five widely found cryptographic use cases, Data Encryption, Secure Communication, Secure Password Storage, Long-Term Archiving, and Multi-party computation.</description></item><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>[email protected] (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>[email protected] (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 Boddenfor 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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/supporter/aws/</guid><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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/supporter/achelos/</guid><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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/supporter/dfg/</guid><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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/supporter/connext/</guid><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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/supporter/oracle/</guid><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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/publications/2019-popl/</guid><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>[email protected] (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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/publications/2018-ecoop/</guid><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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/publications/2017-oopsla/</guid><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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/publications/2017-ase/</guid><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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/publications/2016-icse/</guid><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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/member/crossing/</guid><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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/member/tud/</guid><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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/member/hni/</guid><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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/member/iem/</guid><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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/member/uab/</guid><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>[email protected] (Eclipse Foundation)</author><guid>https://www.eclipse.org/cognicrypt/member/unb/</guid><description/></item></channel></rss>