Updated publications

publications/index.html

@@ -37,11 +37,14 @@
 <div class="jumbotron">
 <h4>Conference Proceedings</h4>
 <p class="publication">
-<b><a href="./files/25NDSS.pdf" name="25NDSS">type++: Prohibiting Type Confusion with Inline Type Information</a></b><span class="float-right"><b>2025</b></span><br/>Nicolas Badoux, Flavio Toffalini, Yuseok Jeon, and Mathias Payer.<br/>In <i><b>NDSS'25</b>: Network and Distributed System Security Symposium, 2025</i> (<a href="https://github.com/HexHive/typepp/">source</a>, <a href="http://dx.doi.org/10.14722/ndss.2025.23053">DOI</a>)</p><p class="publication">
-<b><a href="./files/24CCS2.pdf" name="24CCS2">Fuzzing JavaScript Engines with a Graph-based IR</a></b><span class="float-right"><b>2024</b></span><br/>Haoran Xu, Zhiyuan Jiang, Yongjun Wang, Shuhui Fan, Shenglin Xu, Peidai Xie, Shaojing Fu, and Mathias Payer.<br/>In <i><b>CCS'24</b>: ACM Conference on Computer and Communication Security, 2024</i> (<a href="http://dx.doi.org/10.1145/3658644.3690336">DOI</a>)</p><p class="publication">
+<b><u><a name="25NDSS">Constructing Device Behavior Models from OS Drivers to Fuzz Virtual Devices</a></u></b><span class="float-right"><b>2025</b></span><br/>Zheyu Ma, Qiang Liu, Zheming Li, Tingting Yin, Wende Tan, Chao Zhang, and Mathias Payer.<br/>In <i><b>NDSS'25</b>: Network and Distributed System Security Symposium, 2025</i></p><p class="publication">
+<b><u><a name="25NDSS">QMSan: Efficiently Detecting Uninitialized Memory Errors During Fuzzing</a></u></b><br/>Matteo Marini, Daniele Cono D'Elia, Mathias Payer, and Leonardo Querzoni.<br/>In <i><b>NDSS'25</b>: Network and Distributed System Security Symposium, 2025</i></p><p class="publication">
+<b><u><a name="25NDSS">DUMPLING: Fine-grained Differential JavaScript Engine Fuzzing</a></u></b><br/>Liam Wachter, Julian Gremminger, Christian Wressnegger, Mathias Payer, and Flavio Toffalini.<br/>In <i><b>NDSS'25</b>: Network and Distributed System Security Symposium, 2025</i></p><p class="publication">
+<b><a href="./files/25NDSS.pdf" name="25NDSS">type++: Prohibiting Type Confusion with Inline Type Information</a></b><br/>Nicolas Badoux, Flavio Toffalini, Yuseok Jeon, and Mathias Payer.<br/>In <i><b>NDSS'25</b>: Network and Distributed System Security Symposium, 2025</i> (<a href="https://github.com/HexHive/typepp/">source</a>, <a href="http://dx.doi.org/10.14722/ndss.2025.23053">DOI</a>)</p><p class="publication">
+<b><a href="./files/24CCS2.pdf" name="24CCS2">Fuzzing JavaScript Engines with a Graph-based IR</a></b><span class="float-right"><b>2024</b></span><br/>Haoran Xu, Zhiyuan Jiang, Yongjun Wang, Shuhui Fan, Shenglin Xu, Peidai Xie, Shaojing Fu, and Mathias Payer.<br/>In <i><b>CCS'24</b>: ACM Conference on Computer and Communication Security, 2024</i> (<a href="./files/24CCS2-presentation.pdf">presentation</a>, <a href="http://dx.doi.org/10.1145/3658644.3690336">DOI</a>)</p><p class="publication">
 <b><a href="./files/24CCS.pdf" name="24CCS">Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects</a></b><br/>Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, and Trent Jaeger.<br/>In <i><b>CCS'24</b>: ACM Conference on Computer and Communication Security, 2024</i> (<a href="http://dx.doi.org/10.1145/3658644.3690310">DOI</a>)</p><p class="publication">
-<b><a href="./files/24OOPSLA.pdf" name="24OOPSLA">Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types</a></b><br/>Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer, and Clément Pit-Claudel.<br/>In <i><b>OOPSLA'24</b>: Object-Oriented Programming, Systems, Languages, and Applications, 2024</i> (<a href="http://dx.doi.org/10.1145/3689751">DOI</a>)</p><p class="publication">
-<b><a href="./files/24RAID.pdf" name="24RAID">Tango: Extracting Higher-Order Feedback through State Inference</a></b><br/>Ahmad Hazimeh, Duo Xu, Qiang Liu, Yan Wang, and Mathias Payer.<br/>In <i><b>RAID'24</b>: Recent Advances in Intrusion Detection, 2024</i> (<a href="https://github.com/HexHive/tango">source</a>, <a href="http://dx.doi.org/10.1145/3678890.3678908">DOI</a>)</p><p class="publication">
+<b><a href="./files/24OOPSLA.pdf" name="24OOPSLA">Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types</a></b><br/>Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer, and Clément Pit-Claudel.<br/>In <i><b>OOPSLA'24</b>: Object-Oriented Programming, Systems, Languages, and Applications, 2024</i> (<a href="./files/24OOPSLA-presentation.pdf">presentation</a>, <a href="http://dx.doi.org/10.1145/3689751">DOI</a>)</p><p class="publication">
+<b><a href="./files/24RAID.pdf" name="24RAID">Tango: Extracting Higher-Order Feedback through State Inference</a></b><br/>Ahmad Hazimeh, Duo Xu, Qiang Liu, Yan Wang, and Mathias Payer.<br/>In <i><b>RAID'24</b>: Recent Advances in Intrusion Detection, 2024</i> (<b>best paper award</b>, <a href="https://github.com/HexHive/tango">source</a>, <a href="http://dx.doi.org/10.1145/3678890.3678908">DOI</a>)</p><p class="publication">
 <b><a href="./files/24ATC.pdf" name="24ATC">Monarch: A Fuzzing Framework for Distributed File Systems</a></b><br/>Tao Lyu, Liyi Zhang, Zhiyao Feng, Yueyang Pan, Yujie Ren, Meng Xu, Mathias Payer, and Sanidhya Kashyap.<br/>In <i><b>ATC'24</b>: Usenix Annual Technical Conference, 2024</i></p><p class="publication">
 <b><a href="./files/24WOOT.pdf" name="24WOOT">Exploiting Android's Hardened Memory Allocator</a></b><br/>Philipp Mao, Elias Valentin Boschung, Marcel Busch, and Mathias Payer.<br/>In <i><b>WOOT'24</b>: Usenix Workshop on Offensive Technologies, 2024</i> (<a href="./files/24WOOT-presentation.pdf">presentation</a>,  <b>best paper award</b>)</p><p class="publication">
 <b><a href="./files/24SEC4.pdf" name="24SEC4">GlobalConfusion: TrustZone Trusted Application 0-Days by Design</a></b><br/>Marcel Busch, Philipp Mao, and Mathias Payer.<br/>In <i><b>SEC'24</b>: Usenix Security Symposium, 2024</i> (<a href="./files/24SEC4-presentation.pdf">presentation</a>)</p><p class="publication">