The following corresponds with the events.html patch... Ross
Index: papers.html =================================================================== RCS file: /cvs/www/libressl/papers.html,v retrieving revision 1.16 diff -u -p -r1.16 papers.html --- papers.html 13 Jun 2019 07:34:36 -0000 1.16 +++ papers.html 22 Jun 2019 04:20:59 -0000 @@ -19,7 +19,7 @@ Presentations and Papers <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><br> +</strong> (<a href="https://www.youtube.com/watch?v=gvmGfpMgny4";>video</a>)<br> </blockquote> <h3>Presentation: FSec 2015</h3>
