Skip to content

Commit

Permalink
deploy: cf5aa11
Browse files Browse the repository at this point in the history
  • Loading branch information
@franziskuskiefer
franziskuskiefer committed Apr 11, 2024
1 parent c50a4d0 commit 891fe2a
Show file tree
Hide file tree
Showing 35 changed files with 84 additions and 107 deletions.
10 changes: 3 additions & 7 deletions 2021-04-29-openmls-is-growing/index.html
View file
Original file line number Diff line number Diff line change
@@ -1,7 +1,3 @@
<!doctype html><html><head><title>OpenMLS is growing! // OpenMLS</title><meta charset=utf-8><meta charset=utf-8><meta name=viewport content="width=device-width,initial-scale=1,maximum-scale=1"><meta property="og:title" content="OpenMLS is growing!"><meta property="og:description" content><meta property="og:type" content="website"><meta property="og:locale" content="en"><meta property="og:url" content="https://openmls.tech/blog/2021-04-29-openmls-is-growing/"><link rel="shortcut icon" href=/favicon.ico><link href=https://openmls.tech/blog/webfonts/ptserif/main.css rel=stylesheet type=text/css><link href=https://openmls.tech/blog/webfonts/source-code-pro/main.css rel=stylesheet type=text/css><link rel=stylesheet href=https://openmls.tech/blog/css/style.css><meta name=generator content="Hugo 0.115.3"></head><body><div id=container><header id=header><div id=header-outer class=outer><div id=header-inner class=inner><a id=main-nav-toggle class=nav-icon href=javascript:;></a>
<a id=logo class=logo-text href=https://openmls.tech/blog/>OpenMLS</a><nav id=main-nav><a class=main-nav-link href=https://github.com/openmls/openmls>Github</a></nav><nav id=sub-nav><div id=search-form-wrap></div></nav></div></div></header><section id=main class=outer><article class="article article-type-post" itemscope itemprop=blogPost><div class=article-inner><header class=article-header><h1 class=article-title itemprop=name>OpenMLS is growing!</h1></header><div class=article-meta><a href=/blog/2021-04-29-openmls-is-growing/ class=article-date><time datetime=2021-04-29T00:00:00.000+00:00 itemprop=datePublished>2021-04-29</time></a></div><div class=article-entry itemprop=articleBody><p>We’re pleased to announce that we are engaging with <a href=https://prosecco.gforge.inria.fr/>INRIA Paris</a> to cooperate on OpenMLS.</p><p>Professor Karthikeyan Bhargavan’s Prosecco team at INRIA decisively contributed to the formally verified cryptographic library <a href=https://github.com/project-everest/hacl-star/>HACL*</a> (along with Microsoft Research and CMU) and was deeply involved in the design, analysis and standardization of TLS 1.3. More recently, the team published <a href=https://hal.inria.fr/hal-02425247>TreeKEM</a> – the core algorithm of MLS.</p><p>While OpenMLS already builds on top of formally verified cryptography in HACL*, the cooperation covers new areas, such as exchanging knowledge and findings in the API design, code structure, real-world performance and usability concerns and last but not least exploring the idea of formally verifying parts of OpenMLS in the longer term.</p></div><div class=article-toc style=display:none><h3>Contents</h3><nav id=TableOfContents></nav></div><script src=https://cdnjs.cloudflare.com/ajax/libs/jquery/3.1.1/jquery.slim.min.js integrity="sha256-/SIrNqv8h6QGKDuNoLGA4iret+kyesCkHGzVUUV0shc=" crossorigin=anonymous></script>
<script>(function(){var t,e=$("#TableOfContents");if(e.length>0){t=$(window);function n(){var n,o=t.scrollTop(),i=$(".article-entry h1, .article-entry h2, .article-entry h3, .article-entry h4, .article-entry h5, .article-entry h6"),s="";if(i.each(function(e,t){t=$(t),t.offset().top-10<=o&&(s=t.attr("id"))}),n=e.find("a.active"),n.length==1&&n.eq(0).attr("href")=="#"+s)return!0;n.each(function(e,t){$(t).removeClass("active").siblings("ul").hide()}),e.find('a[href="#'+s+'"]').parentsUntil("#TableOfContents").each(function(e,t){$(t).children("a").addClass("active").siblings("ul").show()})}t.on("scroll",n),$(document).ready(function(){e.find("a").parent("li").find("ul").hide(),n(),document.getElementsByClassName("article-toc")[0].style.display=""})}})()</script></div><nav id=article-nav><a href=/blog/openmls-first-benchmarks/ id=article-nav-newer class=article-nav-link-wrap><div class=article-nav-title><span>&lt;</span>&nbsp;
OpenMLS Performance</div></a></nav></article></section><footer id=footer><div class=outer><div id=footer-info class=inner>&copy; 2023 OpenMLS<br>Powered by <a href=https://gohugo.io target=_blank>Hugo</a> with theme <a href=https://github.com/carsonip/hugo-theme-minos target=_blank>Minos</a></div></div><link rel=stylesheet href=https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.9.0/styles/tomorrow-night.min.css integrity="sha256-2wL88NKUqvJi/ExflDzkzUumjUM73mcK2gBvBBeLvTk=" crossorigin=anonymous><script src=https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.9.0/highlight.min.js integrity="sha256-KbfTjB0WZ8vvXngdpJGY3Yp3xKk+tttbqClO11anCIU=" crossorigin=anonymous></script>
<script>hljs.initHighlightingOnLoad()</script><link rel=stylesheet href=https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.7.1/katex.min.css integrity=sha384-wITovz90syo1dJWVh32uuETPVEtGigN07tkttEqPv+uR2SE/mbQcG7ATL28aI9H0 crossorigin=anonymous><script src=https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.7.1/katex.min.js integrity=sha384-/y1Nn9+QQAipbNQWU65krzJralCnuOasHncUFXGkdwntGeSvQicrYkiUBwsgUqc1 crossorigin=anonymous></script>
<script src=https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.7.1/contrib/auto-render.min.js integrity="sha256-ExtbCSBuYA7kq1Pz362ibde9nnsHYPt6JxuxYeZbU+c=" crossorigin=anonymous></script>
<script>renderMathInElement(document.body)</script><script>document.getElementById("main-nav-toggle").addEventListener("click",function(){var e=document.getElementById("header");e.classList.contains("mobile-on")?e.classList.remove("mobile-on"):e.classList.add("mobile-on")})</script></footer></div></body></html>
<!doctype html><html><head><title>OpenMLS is growing! // OpenMLS</title>
<meta charset=utf-8><meta charset=utf-8><meta name=viewport content="width=device-width,initial-scale=1,maximum-scale=1"><meta property="og:title" content="OpenMLS is growing!"><meta property="og:description" content><meta property="og:type" content="website"><meta property="og:locale" content="en"><meta property="og:url" content="https://openmls.tech/blog/2021-04-29-openmls-is-growing/"><link rel="shortcut icon" href=/favicon.ico><link href=https://openmls.tech/blog/webfonts/ptserif/main.css rel=stylesheet type=text/css><link href=https://openmls.tech/blog/webfonts/source-code-pro/main.css rel=stylesheet type=text/css><link rel=stylesheet href=https://openmls.tech/blog/css/style.css><meta name=generator content="Hugo 0.124.1"></head><body><div id=container><header id=header><div id=header-outer class=outer><div id=header-inner class=inner><a id=main-nav-toggle class=nav-icon href=javascript:;></a><a id=logo class=logo-text href=https://openmls.tech/blog/>OpenMLS</a><nav id=main-nav><a class=main-nav-link href=https://github.com/openmls/openmls>Github</a></nav><nav id=sub-nav><div id=search-form-wrap></div></nav></div></div></header><section id=main class=outer><article class="article article-type-post" itemscope itemprop=blogPost><div class=article-inner><header class=article-header><h1 class=article-title itemprop=name>OpenMLS is growing!</h1></header><div class=article-meta><a href=/blog/2021-04-29-openmls-is-growing/ class=article-date><time datetime=2021-04-29T00:00:00.000+00:00 itemprop=datePublished>2021-04-29</time></a></div><div class=article-entry itemprop=articleBody><p>We’re pleased to announce that we are engaging with <a href=https://prosecco.gforge.inria.fr/>INRIA Paris</a> to cooperate on OpenMLS.</p><p>Professor Karthikeyan Bhargavan’s Prosecco team at INRIA decisively contributed to the formally verified cryptographic library <a href=https://github.com/project-everest/hacl-star/>HACL*</a> (along with Microsoft Research and CMU) and was deeply involved in the design, analysis and standardization of TLS 1.3. More recently, the team published <a href=https://hal.inria.fr/hal-02425247>TreeKEM</a> – the core algorithm of MLS.</p><p>While OpenMLS already builds on top of formally verified cryptography in HACL*, the cooperation covers new areas, such as exchanging knowledge and findings in the API design, code structure, real-world performance and usability concerns and last but not least exploring the idea of formally verifying parts of OpenMLS in the longer term.</p></div><div class=article-toc style=display:none><h3>Contents</h3><nav id=TableOfContents></nav></div><script src=https://cdnjs.cloudflare.com/ajax/libs/jquery/3.1.1/jquery.slim.min.js integrity="sha256-/SIrNqv8h6QGKDuNoLGA4iret+kyesCkHGzVUUV0shc=" crossorigin=anonymous></script><script>(function(){var t,e=$("#TableOfContents");if(e.length>0){t=$(window);function n(){var n,o=t.scrollTop(),i=$(".article-entry h1, .article-entry h2, .article-entry h3, .article-entry h4, .article-entry h5, .article-entry h6"),s="";if(i.each(function(e,t){t=$(t),t.offset().top-10<=o&&(s=t.attr("id"))}),n=e.find("a.active"),n.length==1&&n.eq(0).attr("href")=="#"+s)return!0;n.each(function(e,t){$(t).removeClass("active").siblings("ul").hide()}),e.find('a[href="#'+s+'"]').parentsUntil("#TableOfContents").each(function(e,t){$(t).children("a").addClass("active").siblings("ul").show()})}t.on("scroll",n),$(document).ready(function(){e.find("a").parent("li").find("ul").hide(),n(),document.getElementsByClassName("article-toc")[0].style.display=""})}})()</script></div><nav id=article-nav><a href=/blog/openmls-first-benchmarks/ id=article-nav-newer class=article-nav-link-wrap><div class=article-nav-title><span>&lt;</span>&nbsp;
OpenMLS Performance</div></a></nav></article></section><footer id=footer><div class=outer><div id=footer-info class=inner>&copy; 2024 OpenMLS<br>Powered by <a href=https://gohugo.io target=_blank>Hugo</a> with theme <a href=https://github.com/carsonip/hugo-theme-minos target=_blank>Minos</a></div></div><link rel=stylesheet href=https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.9.0/styles/tomorrow-night.min.css integrity="sha256-2wL88NKUqvJi/ExflDzkzUumjUM73mcK2gBvBBeLvTk=" crossorigin=anonymous><script src=https://cdnjs.cloudflare.com/ajax/libs/highlight.js/9.9.0/highlight.min.js integrity="sha256-KbfTjB0WZ8vvXngdpJGY3Yp3xKk+tttbqClO11anCIU=" crossorigin=anonymous></script><script>hljs.initHighlightingOnLoad()</script><link rel=stylesheet href=https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.7.1/katex.min.css integrity=sha384-wITovz90syo1dJWVh32uuETPVEtGigN07tkttEqPv+uR2SE/mbQcG7ATL28aI9H0 crossorigin=anonymous><script src=https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.7.1/katex.min.js integrity=sha384-/y1Nn9+QQAipbNQWU65krzJralCnuOasHncUFXGkdwntGeSvQicrYkiUBwsgUqc1 crossorigin=anonymous></script><script src=https://cdnjs.cloudflare.com/ajax/libs/KaTeX/0.7.1/contrib/auto-render.min.js integrity="sha256-ExtbCSBuYA7kq1Pz362ibde9nnsHYPt6JxuxYeZbU+c=" crossorigin=anonymous></script><script>renderMathInElement(document.body)</script><script>document.getElementById("main-nav-toggle").addEventListener("click",function(){var e=document.getElementById("header");e.classList.contains("mobile-on")?e.classList.remove("mobile-on"):e.classList.add("mobile-on")})</script></footer></div></body></html>
Loading

0 comments on commit 891fe2a

Please sign in to comment.