Add RESSI publication

OlivierNicole · Nov 30, 2020 · 971172d · 971172d
1 parent f8bae8b
commit 971172d
Show file tree

Hide file tree

Showing 3 changed files with 27 additions and 0 deletions.
diff --git a/index.en.html b/index.en.html
@@ -19,6 +19,15 @@ <h2>Olivier Nicole</h2>
 <h2>Publications</h2>
 
 <ul>
+  <li>
+    <strong>Automatically Proving Microkernel Security</strong> (<a
+      href="./papers/RESSI20-Automatically-proving-microkernel.pdf">pdf</a>)
+    <br />
+    Olivier Nicole <br />
+    <a href="https://ressi2020.sciencesconf.org/">RESSI 2020</a> (Rendez-vous
+    de la Recherche et de l'Enseignement de la Sécurité des Systèmes
+    d'Information), short paper
+  </li>
   <li>
     <strong>Modular Macros</strong> (Poster/Demo Talk) (<a
       href="/papers/PEPM18-Modular-Macros.pdf">pdf</a>)<br />

diff --git a/index.eo.html b/index.eo.html
@@ -18,6 +18,15 @@ <h2>Olivier Nicole</h2>
 <h2>Eldonaĵoj</h2>
 
 <ul>
+  <li>
+    <strong>Automatically Proving Microkernel Security</strong> (<a
+      href="./papers/RESSI20-Automatically-proving-microkernel.pdf">pdf</a>)
+    <br />
+    Olivier Nicole <br />
+    <a href="https://ressi2020.sciencesconf.org/">RESSI 2020</a> (Rendez-vous
+    de la Recherche et de l'Enseignement de la Sécurité des Systèmes
+    d'Information), mallonga artikolo
+  </li>
   <li>
     <strong>Modular Macros</strong> (Afiŝo/Montrado) (<a
       href="/papers/PEPM18-Modular-Macros.pdf">pdf</a>)<br />

diff --git a/index.fr.html b/index.fr.html
@@ -15,6 +15,15 @@ <h2>Olivier Nicole</h2>
 <h2>Publications</h2>
 
 <ul>
+  <li>
+    <strong>Automatically Proving Microkernel Security</strong> (<a
+      href="./papers/RESSI20-Automatically-proving-microkernel.pdf">pdf</a>)
+    <br />
+    Olivier Nicole <br />
+    <a href="https://ressi2020.sciencesconf.org/">RESSI 2020</a> (Rendez-vous
+    de la Recherche et de l'Enseignement de la Sécurité des Systèmes
+    d'Information), short paper
+  </li>
   <li><strong>Modular Macros</strong> (Poster/Démonstration) (<a href="/papers/PEPM18-Modular-Macros.pdf">pdf</a>)<br />
     Olivier Nicole, Leo White and Jeremy Yallop<br />
     <a href="https://popl18.sigplan.org/event/pepm-2018-modular-macros-poster-demo-talk-">PEPM 2018</a>