X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/9047cc77af7053ccbb8c52e0f1ccb15d688f4d2f..cdc33df227549e0b9bf2bfffff7c2fb7ebe4483b:/research/publications.html?ds=sidebyside

diff --git a/research/publications.html b/research/publications.html
index 0d600f5..97ad686 100644
--- a/research/publications.html
+++ b/research/publications.html
@@ -16,7 +16,7 @@ slug: Publications
 <ul><li>
   <b>RustBelt: Securing the Foundations of the Rust Programming Language</b><br/>
   Ralf Jung, Jacques-Henri Jourdan, Robbert Krebbers, Derek Dreyer<br>
-  [<a href="https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf">paper</a>] [<a href="http://www.mpi-sws.org/~dreyer/papers/rustbelt/">paper website</a>  (incl. appendix and Coq formalization)]
+  [<a href="https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf">paper</a>] [<a href="https://plv.mpi-sws.org/rustbelt/popl18/">paper website</a>  (incl. appendix and Coq formalization)] [<a href="https://www.youtube.com/watch?v=Cy9NUVaiYUg" target="_blank">talk (YouTube)</a>] [<a href="https://plv.mpi-sws.org/rustbelt/popl18/talk.pdf">talk (slides)</a>]
 </li></ul>
 
 <h3>2017</h3>