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>Cryspen Blog</title>
    <link>https://blog.cryspen.com/</link>
    <description>Recent content on Cryspen Blog</description>
    <generator>Hugo -- gohugo.io</generator>
    <lastBuildDate>Sun, 25 Aug 2019 00:52:59 +0300</lastBuildDate><atom:link href="https://blog.cryspen.com/index.xml" rel="self" type="application/rss+xml" />
    <item>
      <title>HACL Packages v0.6</title>
      <link>https://blog.cryspen.com/blog/hacl-0_6/</link>
      <pubDate>Mon, 07 Nov 2022 00:00:00 +0000</pubDate>
      
      <guid>https://blog.cryspen.com/blog/hacl-0_6/</guid>
      <description>Today, we announce the first release of the HACL Packages libraries. 🎉
This release of HACL packages includes the first release of the HACL C library and a new release of the hacl-star OCaml bindings.</description>
    </item>
    
    <item>
      <title>Damian Poddebniak</title>
      <link>https://blog.cryspen.com/author/damian-poddebniak/</link>
      <pubDate>Thu, 03 Nov 2022 00:00:00 +0000</pubDate>
      
      <guid>https://blog.cryspen.com/author/damian-poddebniak/</guid>
      <description>I&amp;rsquo;m a software engineer and IT security researcher interested in email security and applied cryptography. I believe in free software, open access to knowledge, and a world with net-zero greenhouse gas emissions.</description>
    </item>
    
    <item>
      <title>OpenMLS</title>
      <link>https://blog.cryspen.com/blog/hello-openmls/</link>
      <pubDate>Wed, 19 Oct 2022 00:00:00 +0000</pubDate>
      
      <guid>https://blog.cryspen.com/blog/hello-openmls/</guid>
      <description>We have joined forces with our friends from Phoenix R&amp;amp;D to improve OpenMLS.
The MLS protocol draft is in the IETF working group&amp;rsquo;s last call and is thus on track to become an RFC soon.</description>
    </item>
    
    <item>
      <title>Introducing HACL Packages</title>
      <link>https://blog.cryspen.com/blog/introducing-hacl-packages/</link>
      <pubDate>Tue, 07 Jun 2022 00:00:00 +0000</pubDate>
      
      <guid>https://blog.cryspen.com/blog/introducing-hacl-packages/</guid>
      <description>Earlier this year, Tezos and Nomadic Labs started to work with Cryspen to improve HACL* and ensure that it is a viable long-term solution for Tezos&#39; cryptographic needs.</description>
    </item>
    
    <item>
      <title>What is High Assurance Cryptography?</title>
      <link>https://blog.cryspen.com/blog/high-assurance-cryptography-1/</link>
      <pubDate>Mon, 02 May 2022 00:00:00 +0000</pubDate>
      
      <guid>https://blog.cryspen.com/blog/high-assurance-cryptography-1/</guid>
      <description>Cryspen builds high assurance cryptography. But what does this actually mean?
Before focusing on cryptography it is interesting to look at high assurance software in general.</description>
    </item>
    
    <item>
      <title>Franziskus Kiefer</title>
      <link>https://blog.cryspen.com/author/franziskus-kiefer/</link>
      <pubDate>Tue, 26 Apr 2022 00:00:00 +0000</pubDate>
      
      <guid>https://blog.cryspen.com/author/franziskus-kiefer/</guid>
      <description>Hi, I&amp;rsquo;m Franziskus, a security &amp;amp; cryptography engineer and researcher based in Berlin, and co-founder of Cryspen. Previously I was leading the security engineering efforts at Wire and working on Mozilla&amp;rsquo;s cryptography library NSS and Firefox.</description>
    </item>
    
    <item>
      <title>An Executable HPKE Specification</title>
      <link>https://blog.cryspen.com/blog/hpke_spec/</link>
      <pubDate>Thu, 24 Feb 2022 00:00:00 +0000</pubDate>
      
      <guid>https://blog.cryspen.com/blog/hpke_spec/</guid>
      <description>HPKE, published as RFC 9180, describes a scheme for hybrid public key encryption.
📚 Please go and read our TL;DR on HPKE if you nee more background on HPKE.</description>
    </item>
    
    <item>
      <title>TL;DR - Hybrid Public Key Encryption</title>
      <link>https://blog.cryspen.com/blog/tldr-hpke/</link>
      <pubDate>Thu, 24 Feb 2022 00:00:00 +0000</pubDate>
      
      <guid>https://blog.cryspen.com/blog/tldr-hpke/</guid>
      <description>HPKE, defined in RFC 9180, is a CFRG standard that describes a scheme for hybrid public key encryption. It is co-authored by my Cryspen co-founder Karthikeyan Bhargavan and one of his PhD students Benjamin Lipp as part of his research at Inria.</description>
    </item>
    
    <item>
      <title>Cryspen ERC PoC Grant</title>
      <link>https://blog.cryspen.com/blog/erc-poc/</link>
      <pubDate>Thu, 10 Feb 2022 00:00:00 +0000</pubDate>
      
      <guid>https://blog.cryspen.com/blog/erc-poc/</guid>
      <description>Cryspen co-founder Karthik Bhargavan got awarded an ERC Proof of Concept grant for commercialising the know-how and landmark research results from his Inria research group PROSECCO through Cryspen.</description>
    </item>
    
    <item>
      <title>Search Result</title>
      <link>https://blog.cryspen.com/search/</link>
      <pubDate>Mon, 24 Sep 2018 11:07:10 +0600</pubDate>
      
      <guid>https://blog.cryspen.com/search/</guid>
      <description></description>
    </item>
    
    <item>
      <title>No Search Found</title>
      <link>https://blog.cryspen.com/404/</link>
      <pubDate>Mon, 01 Jan 0001 00:00:00 +0000</pubDate>
      
      <guid>https://blog.cryspen.com/404/</guid>
      <description></description>
    </item>
    
  </channel>
</rss>