Updated publications

publications/index.html

@@ -40,9 +40,9 @@ <h4>Conference Proceedings</h4>
 <b><u><a name="24SEC">HyperPill: Fuzzing for Hypervisor-bugs by leveraging the Hardware Virtualization Interface (to appear)</a></u></b><span class="float-right"><b>2024</b></span><br/>Alexander Bulekov, Qiang Liu, Manuel Egele, and Mathias Payer.<br/>In <i><b>SEC'24</b>: Usenix Security Symposium, 2024</i></p><p class="publication">
 <b><u><a name="24SEC">EL3XIR: Fuzzing COTS Secure Monitors (to appear)</a></u></b><br/>Christian Lindenmeier, Mathias Payer, and Marcel Busch.<br/>In <i><b>SEC'24</b>: Usenix Security Symposium, 2024</i></p><p class="publication">
 <b><u><a name="24SEC">Spill the TeA: An Empirical Study of Trusted Application Rollback Prevention on Android (to appear)</a></u></b><br/>Marcel Busch, Philipp Mao, and Mathias Payer.<br/>In <i><b>SEC'24</b>: Usenix Security Symposium, 2024</i></p><p class="publication">
-<b><u><a name="24AsiaCCS">SyzRisk: A Change-Pattern-Based Continuous Kernel Regression Fuzzer (to appear)</a></u></b><br/>Gwangmu Lee, Duo Xu, Solmaz Salimi, Byoungyoung Lee, and Mathias Payer.<br/>In <i><b>AsiaCCS'24</b>: ACM Symp. on InformAtion, Computer and Communications Security, 2024</i> (<a href="https://github.com/HexHive/SyzRisk">source</a>, <a href="http://dx.doi.org/10.1145/3579856.3582813">DOI</a>)</p><p class="publication">
-<b><u><a name="24Oakland">Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference (to appear)</a></u></b><br/>Heqing Huang, Anshunkang Zhou, Mathias Payer, and Charles Zhang.<br/>In <i><b>Oakland'24</b>: IEEE International Symposium on Security and Privacy, 2024</i></p><p class="publication">
-<b><u><a name="24Oakland">SyzTrust: State-aware Fuzzing on Trusted OS Designed for IoT Devices (to appear)</a></u></b><br/>Qinying Wang, Boyu Chang, Shouling Ji, Yuan Tian, Xuhong Zhang, Binbin Zhao, Gaoning Pan, Chenyang Lyu, Mathias Payer, Wenhai Wang, and Raheem Beyah.<br/>In <i><b>Oakland'24</b>: IEEE International Symposium on Security and Privacy, 2024</i></p><p class="publication">
+<b><a href="./files/24AsiaCCS.pdf" name="24AsiaCCS">SyzRisk: A Change-Pattern-Based Continuous Kernel Regression Fuzzer</a></b><br/>Gwangmu Lee, Duo Xu, Solmaz Salimi, Byoungyoung Lee, and Mathias Payer.<br/>In <i><b>AsiaCCS'24</b>: ACM Symp. on InformAtion, Computer and Communications Security, 2024</i> (<a href="https://github.com/HexHive/SyzRisk">source</a>)</p><p class="publication">
+<b><a href="./files/24Oakland2.pdf" name="24Oakland2">Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference</a></b><br/>Heqing Huang, Anshunkang Zhou, Mathias Payer, and Charles Zhang.<br/>In <i><b>Oakland'24</b>: IEEE International Symposium on Security and Privacy, 2024</i></p><p class="publication">
+<b><a href="./files/24Oakland.pdf" name="24Oakland">SyzTrust: State-aware Fuzzing on Trusted OS Designed for IoT Devices</a></b><br/>Qinying Wang, Boyu Chang, Shouling Ji, Yuan Tian, Xuhong Zhang, Binbin Zhao, Gaoning Pan, Chenyang Lyu, Mathias Payer, Wenhai Wang, and Raheem Beyah.<br/>In <i><b>Oakland'24</b>: IEEE International Symposium on Security and Privacy, 2024</i></p><p class="publication">
 <b><a href="./files/23FSE.pdf" name="23FSE">Crystallizer: A Hybrid Path Analysis Framework To Aid in Uncovering Deserialization Vulnerabilities</a></b><span class="float-right"><b>2023</b></span><br/>Prashast Srivastava, Flavio Toffalini, Kostyantyn Vorobyov, Francois Gauthier, Antonio Bianchi, and Mathias Payer.<br/>In <i><b>FSE'23</b>: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023</i> (<a href="https://github.com/HexHive/Crystallizer">source</a>, <a href="http://dx.doi.org/10.1145/3611643.3616313">DOI</a>)</p><p class="publication">
 <b><a href="./files/23SEC6.pdf" name="23SEC6">ACTOR: Action-Guided Kernel Fuzzing</a></b><br/>Marius Fleischer, Dipanjan Das, Priyanka Bose, Weiheng Bai, Kangjie Lu, Mathias Payer, Christopher Kruegel, and Giovanni Vigna.<br/>In <i><b>SEC'23</b>: Usenix Security Symposium, 2023</i></p><p class="publication">
 <b><a href="./files/23SEC5.pdf" name="23SEC5">FishFuzz: Catch Deeper Bugs by Throwing Larger Nets</a></b><br/>Han Zheng, Jiayuan Zhang, Yuhang Huang, Zezhong Ren, He Wang, Chunjie Cao, Yuqing Zhang, Flavio Toffalini, and Mathias Payer.<br/>In <i><b>SEC'23</b>: Usenix Security Symposium, 2023</i> (<a href="https://github.com/HexHive/FishFuzz">source</a>, <a href="https://zenodo.org/record/6405418">artifact</a>)</p><p class="publication">