<?xml version="1.0" encoding="utf-8" standalone="yes" ?>
<urlset xmlns="http://www.sitemaps.org/schemas/sitemap/0.9"
  xmlns:xhtml="http://www.w3.org/1999/xhtml">
  
  <url>
    <loc>https://franziskus.gitlab.io/post/hacspec2/</loc>
    <lastmod>2018-11-30T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/surf-london-2018/</loc>
    <lastmod>2018-11-19T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/hacl-nss-integration/</loc>
    <lastmod>2018-04-12T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/hacl-star/</loc>
    <lastmod>2018-02-14T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/hacspec1/</loc>
    <lastmod>2018-02-08T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/cve-2017-5462/</loc>
    <lastmod>2017-08-31T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/new-blog/</loc>
    <lastmod>2017-08-29T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/aes-gcm-speedup/</loc>
    <lastmod>2017-06-27T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/</loc>
    <lastmod>2017-03-02T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/constant-time-division/</loc>
    <lastmod>2016-12-28T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/nss-static-analysis/</loc>
    <lastmod>2016-05-25T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/raw-github/</loc>
    <lastmod>2016-01-02T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/editorial-manager/</loc>
    <lastmod>2015-03-06T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/openvpn/</loc>
    <lastmod>2014-10-12T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/snort/</loc>
    <lastmod>2014-10-05T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/pgflibraryfadings/</loc>
    <lastmod>2014-09-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/post/displaymath/</loc>
    <lastmod>2014-08-17T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/publications/pace/</loc>
    <lastmod>2000-01-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/publications/2bpr/</loc>
    <lastmod>2000-01-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/publications/bpr/</loc>
    <lastmod>2000-01-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/publications/dsphf/</loc>
    <lastmod>2000-01-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/publications/gs/</loc>
    <lastmod>2000-01-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/publications/opake/</loc>
    <lastmod>2000-01-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/publications/bird/</loc>
    <lastmod>2000-01-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/publications/prs/</loc>
    <lastmod>2000-01-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/publications/europki/</loc>
    <lastmod>2000-01-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/publications/spc/</loc>
    <lastmod>2000-01-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/publications/smpa/</loc>
    <lastmod>2000-01-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/publications/uc2pake/</loc>
    <lastmod>2000-01-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/publications/zkppc/</loc>
    <lastmod>2000-01-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/publications/hacspec18/</loc>
    <lastmod>2000-01-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/about/</loc>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/barnyard2/</loc>
    <lastmod>2014-10-05T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/categories/</loc>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/conference/</loc>
    <lastmod>2018-11-19T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/constant-time/</loc>
    <lastmod>2016-12-28T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/firefox/</loc>
    <lastmod>2016-01-02T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/formal-verification/</loc>
    <lastmod>2018-11-30T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/github/</loc>
    <lastmod>2016-01-02T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/hacl/</loc>
    <lastmod>2018-11-30T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/ids/</loc>
    <lastmod>2014-10-05T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/latex/</loc>
    <lastmod>2014-09-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/linux/</loc>
    <lastmod>2014-10-12T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/mozilla/</loc>
    <lastmod>2018-11-19T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/nss/</loc>
    <lastmod>2018-04-12T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/openvpn/</loc>
    <lastmod>2014-10-12T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/orga/</loc>
    <lastmod>2017-08-29T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/phd/</loc>
    <lastmod>2015-03-06T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/prng/</loc>
    <lastmod>2017-08-31T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/publications/</loc>
    <lastmod>2000-01-01T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/resume/</loc>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/snort/</loc>
    <lastmod>2014-10-05T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/specs/</loc>
    <lastmod>2018-11-30T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/speed/</loc>
    <lastmod>2017-06-27T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/static-analysis/</loc>
    <lastmod>2016-05-25T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/surf/</loc>
    <lastmod>2018-11-19T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/</loc>
    <lastmod>2014-10-05T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/university/</loc>
    <lastmod>2015-03-06T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/tags/website/</loc>
    <lastmod>2017-08-29T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0</priority>
  </url>
  
  <url>
    <loc>https://franziskus.gitlab.io/</loc>
    <lastmod>2018-11-30T00:00:00+00:00</lastmod>
    <changefreq>monthly</changefreq>
    <priority>0.5</priority>
  </url>
  
</urlset>