Return to papers.html CVS log | Up to [local] / www / libressl |
File: [local] / www / libressl / papers.html (download) (as text)
Revision 1.17, Sat Jun 29 17:10:27 2019 UTC (4 years, 11 months ago) by schwarze
link to tb@'s BSDCan 2019 video; patch from Ross L Richardson <rlr dot id dot au> but with the correct video ID |
<!doctype html> <html lang=en> <meta charset=utf-8> <title>LibreSSL: Presentations and Papers</title> <link rel="canonical" href="https://www.libressl.org/papers.html"> <meta name="viewport" content="width=device-width, initial-scale=1"> <link rel="stylesheet" type="text/css" href="openbsd.css"> <h2 id=OpenBSD> <a href="index.html"> <i>Libre</i><b>SSL</b></a> Presentations and Papers </h2> <hr> <h3>Presentation: BSDCan 2019</h3> <blockquote> <strong> <a href="https://www.openbsd.org/papers/bsdcan2019-tls13.pdf">Design and verification of the TLS 1.3 handshake state machine in LibreSSL</a> by Theo Buehler </strong> (<a href="https://www.youtube.com/watch?v=MCVIBwGOwNY">video</a>)<br> </blockquote> <h3>Presentation: FSec 2015</h3> <blockquote> <strong> <a href="https://www.openbsd.org/papers/libtls-fsec-2015">LibreSSL and the new libtls API</a> by Bob Beck </strong><br> </blockquote> <h3>Presentation: EuroBSDCon 2014</h3> <blockquote> <strong> <a href="https://www.openbsd.org/papers/eurobsdcon2014-libressl.html">LibreSSL: More Than 30 Days Later</a> by Ted Unangst </strong><br> </blockquote> <h3>Presentation: BSDcan 2014</h3> <blockquote> <strong> <a href="https://www.openbsd.org/papers/bsdcan14-libressl">LibreSSL - The first 30 days and the Future</a> by Bob Beck </strong><br> </blockquote>