Update

MohsenLesani · Mar 18, 2024 · f045591 · f045591
1 parent 4f0d600
commit f045591
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/index.html b/index.html
@@ -68,6 +68,7 @@
 
 
 
+
 
 
 <style>
@@ -252,7 +253,11 @@
           <tr>
             <td style="vertical-align: top;"><br>
             </td>
-            <td class="TextStyle" style="vertical-align: top;"><br>Quorum Subsumption for Heterogeneous Quorum Systems<br>
+            <td class="TextStyle" style="vertical-align: top;"><br>
+Vulnerability Flow Type Systems<br>
+LangSec '23 (Language-theoretic Security and Applications Workshop at the IEEE Security &amp; Privacy Symposium 2024)<br>
+Mohsen Lesani<br>
+<br>Quorum Subsumption for Heterogeneous Quorum Systems<br>
 DISC '23 (The International Symposium on Distributed Computing)<br>
 Xiao Li, Eric Chan, Mohsen Lesani<br>