Add publication

OlivierNicole · Apr 12, 2021 · ecbe726 · ecbe726
1 parent 2923c66
commit ecbe726
Show file tree

Hide file tree

Showing 4 changed files with 24 additions and 0 deletions.
diff --git a/index.en.html b/index.en.html
@@ -19,6 +19,14 @@ <h2>Olivier Nicole</h2>
 <h2>Publications</h2>
 
 <ul>
+  <li>
+    <strong>No Crash, No Exploit: Automated Verification of Embedded Kernels</strong>
+    (<a href="/papers/RTAS21-No-crash-no-exploit.pdf">pre-print</a>)
+    (<a href="https://github.com/binsec/rtas2021_artifact">artifact</a>)
+    <br />
+    Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival <br />
+    <a href="http://2021.rtas.org/">RTAS 2021</a> (IEEE Real-Time and Embedded Technology and Applications Symposium)
+  </li>
   <li>
     <strong>Automatically Proving Microkernel Security</strong>
       (<a href="/talks/ressi_2020.pdf">slides</a>,

diff --git a/index.eo.html b/index.eo.html
@@ -18,6 +18,14 @@ <h2>Olivier Nicole</h2>
 <h2>Eldonaĵoj</h2>
 
 <ul>
+  <li>
+    <strong>No Crash, No Exploit: Automated Verification of Embedded Kernels</strong>
+    (<a href="/papers/RTAS21-No-crash-no-exploit.pdf">antaǔeldonaĵo</a>)
+    (<a href="https://github.com/binsec/rtas2021_artifact">reproduktilo</a>)
+    <br />
+    Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival <br />
+    <a href="http://2021.rtas.org/">RTAS 2021</a> (IEEE Real-Time and Embedded Technology and Applications Symposium)
+  </li>
   <li>
     <strong>Automatically Proving Microkernel Security</strong>
       (<a href="/talks/ressi_2020.pdf">lumbildoj</a>,

diff --git a/index.fr.html b/index.fr.html
@@ -15,6 +15,14 @@ <h2>Olivier Nicole</h2>
 <h2>Publications</h2>
 
 <ul>
+  <li>
+    <strong>No Crash, No Exploit: Automated Verification of Embedded Kernels</strong>
+    (<a href="/papers/RTAS21-No-crash-no-exploit.pdf">pre-print</a>)
+    (<a href="https://github.com/binsec/rtas2021_artifact">artefact</a>)
+    <br />
+    Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival <br />
+    <a href="http://2021.rtas.org/">RTAS 2021</a> (IEEE Real-Time and Embedded Technology and Applications Symposium)
+  </li>
   <li>
     <strong>Automatically Proving Microkernel Security</strong>
       (<a href="/talks/ressi_2020.pdf">diapos</a>,

diff --git a/papers/RTAS21-No-crash-no-exploit.pdf b/papers/RTAS21-No-crash-no-exploit.pdf