===================================================================
RCS file: /cvsrepo/anoncvs/cvs/www/events.html,v
retrieving revision 1.1174
retrieving revision 1.1175
diff -c -r1.1174 -r1.1175
*** www/events.html	2019/06/18 15:01:52	1.1174
--- www/events.html	2019/06/29 17:15:44	1.1175
***************
*** 68,74 ****
  (<a href="http://bhyvecon.org/">bhyvecon Ottawa 2019</a>)
  <li>Bob Beck -
  <a href="https://github.com/bob-beck/libtls/blob/master/TUTORIAL.md">libtls for beginners conference tutorial</a>
! <li>Theo Buehler - Design and verification of the TLS 1.3 handshake state machine in LibreSSL (<a href="papers/bsdcan2019-tls13.pdf">slides</a>)
  <li>Florian Obser - <a href="https://man.openbsd.org/unwind.8">unwind(8)</a>
    a privilege-separated, validating DNS recursive nameserver for every laptop
    (<a href="papers/bsdcan2019_unwind.pdf">slides</a>,
--- 68,76 ----
  (<a href="http://bhyvecon.org/">bhyvecon Ottawa 2019</a>)
  <li>Bob Beck -
  <a href="https://github.com/bob-beck/libtls/blob/master/TUTORIAL.md">libtls for beginners conference tutorial</a>
! <li>Theo Buehler - Design and verification of the TLS 1.3 handshake state
!   machine in LibreSSL (<a href="papers/bsdcan2019-tls13.pdf">slides</a>,
!   <a href="https://www.youtube.com/watch?v=MCVIBwGOwNY">video</a>)
  <li>Florian Obser - <a href="https://man.openbsd.org/unwind.8">unwind(8)</a>
    a privilege-separated, validating DNS recursive nameserver for every laptop
    (<a href="papers/bsdcan2019_unwind.pdf">slides</a>,
***************
*** 82,88 ****
    (<a href="papers/bsdcan2019-perform-slides.pdf">slides</a>,
    <a href="https://www.youtube.com/watch?v=s6rAXaHylFM">video</a>)
  <li>Bob Beck
! <a href="papers/bsdcan2019-unveil/index.html">Unveil in OpenBSD</a>
  <li>Jan Klemkow - Network booted OpenBSD Workstations
    (<a href="papers/bsdcan2019_netboot.pdf">slides</a>,
    <a href="https://www.youtube.com/watch?v=kFqHXfWEB4o">video</a>)
--- 84,91 ----
    (<a href="papers/bsdcan2019-perform-slides.pdf">slides</a>,
    <a href="https://www.youtube.com/watch?v=s6rAXaHylFM">video</a>)
  <li>Bob Beck
!   <a href="papers/bsdcan2019-unveil/index.html">Unveil in OpenBSD</a>
!   (<a href="https://www.youtube.com/watch?v=gvmGfpMgny4">video</a>)
  <li>Jan Klemkow - Network booted OpenBSD Workstations
    (<a href="papers/bsdcan2019_netboot.pdf">slides</a>,
    <a href="https://www.youtube.com/watch?v=kFqHXfWEB4o">video</a>)