From 971172d6e9e3e82ef2b83631489f8942cc0f9fd9 Mon Sep 17 00:00:00 2001
From: Olivier Nicole <olivierthnicole@gmail.com>
Date: Mon, 30 Nov 2020 14:30:43 +0100
Subject: [PATCH] Add RESSI publication

---
 index.en.html | 9 +++++++++
 index.eo.html | 9 +++++++++
 index.fr.html | 9 +++++++++
 3 files changed, 27 insertions(+)

diff --git a/index.en.html b/index.en.html
index 3e2f2bd..dafee69 100644
--- 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
index d4809a0..84120d4 100644
--- 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
index 0121e9b..0ccf270 100644
--- 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>