Updated publications

publications/index.html

@@ -37,7 +37,8 @@
 <div class="jumbotron">
 <h4>Conference Proceedings</h4>
 <p class="publication">
-<b><u><a name="24SEC">EL3XIR: Fuzzing COTS Secure Monitors (to appear)</a></u></b><span class="float-right"><b>2024</b></span><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">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">
@@ -149,7 +150,7 @@ <h4>Conference Proceedings</h4>
 <b><a href="./files/14SP.pdf" name="14SP">Eternal War in Memory</a></b><br/>Laszlo Szekeres, Mathias Payer, Tao Wei, and R. Sekar.<br/>In <i><b>SP'14</b>: IEEE Security and Privacy Magazine, 2014</i> (<a href="http://dx.doi.org/10.1109/MSP.2013.47">DOI</a>)</p><h4>Workshop Proceedings</h4>
 <p class="publication">
 <b><a href="./files/24SBFT.pdf" name="24SBFT">TuneFuzz: adaptively exploring target programs</a></b><span class="float-right"><b>2024</b></span><br/>Han Zheng, Flavio Toffalini, and Mathias Payer.<br/>In <i><b>SBFT'24</b>: Workshop on Search-Based and Fuzz Testing, 2024</i> (<a href="https://github.com/HexHive/FishFuzz">source</a>)</p><p class="publication">
-<b><u><a name="24BAR">SURGEON: Performant, Flexible and Accurate Re-Hosting via Transplantation (to appear)</a></u></b><br/>Florian Hofhammer, Marcel Busch, Qinying Wang, Manuel Egele, and Mathias Payer.<br/>In <i><b>BAR'24</b>: Workshop on Binary Analysis Research, 2024</i> (<a href="https://github.com/HexHive/IOVFI">source</a>)</p><p class="publication">
+<b><u><a name="24BAR">SURGEON: Performant, Flexible and Accurate Re-Hosting via Transplantation (to appear)</a></u></b><br/>Florian Hofhammer, Marcel Busch, Qinying Wang, Manuel Egele, and Mathias Payer.<br/>In <i><b>BAR'24</b>: Workshop on Binary Analysis Research, 2024</i> (<b>distinguished paper award</b>, <a href="https://github.com/HexHive/IOVFI">source</a>)</p><p class="publication">
 <b><a href="./files/23HotOS.pdf" name="23HotOS">Creating Trust by Abolishing Hierarchies</a></b><span class="float-right"><b>2023</b></span><br/>Charly Castes, Adrien Ghosn, Neelu S. Kalani, Yuchen Qian, Marios Kogias, Mathias Payer, and Edouard Bugnion.<br/>In <i><b>HotOS'23</b>: Workshop on Hot Topics in Operating Systems, 2023</i></p><p class="publication">
 <b><a href="./files/23BAR.pdf" name="23BAR">Accurate Compiler and Optimization Independent Function Identification Using Program State Transformations</a></b><br/>Derrick McKee, Nathan Burow, and Mathias Payer.<br/>In <i><b>BAR'23</b>: Workshop on Binary Analysis Research, 2023</i> (<a href="./files/23BAR-presentation.pdf">presentation</a>, <a href="https://github.com/HexHive/IOVFI">source</a>, <a href="http://dx.doi.org/10.14722/bar.2023.23003">DOI</a>)</p><p class="publication">
 <b><a href="./files/22AUTOSEC.pdf" name="22AUTOSEC">Attacks on CAN Error Handling Mechanism (Demo)</a></b><span class="float-right"><b>2022</b></span><br/>Khaled Serag, Vireshwar Kumar, Z. Berkay Celik, Rohit Bhatia, Mathias Payer, and Dongyan Xu.<br/>In <i><b>AUTOSEC'22</b>: Automotive and Autonomous Vehicle Security Workshop, 2022</i> (<a href="https://www.youtube.com/watch?v=aiNmhODx04U">attack video</a>, <a href="https://www.youtube.com/watch?v=CDHY1ZUwntU">defense video</a>, <a href="http://dx.doi.org/https://dx.doi.org/10.14722/autosec.2022.23013">DOI</a>)</p><p class="publication">