Mathias Payer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
92
Venues
31
Active years
2007–2026
Best venue rank
A*
Where they publish
- A*CCS17 papers
- A*SP16 papers
- A*NDSS12 papers
- AAsiaCCS4 papers
- ARAID4 papers
- AACSAC3 papers
- A*ISCA3 papers
- AUSENIX3 papers
- BVEE3 papers
- NationalSYSTOR3 papers
- BDIMVA2 papers
- A*ICSE2 papers
- AISSTA2 papers
- ACGO1 paper
- A*SOSP1 paper
- ADATE1 paper
- AHotOS1 paper
- A*ASPLOS1 paper
- A*MICRO1 paper
- A*SIGMETRICS1 paper
- ADSN1 paper
- CNSPW1 paper
- ARTSS1 paper
- BCC1 paper
- AIMC1 paper
- A*OSDI1 paper
- AESORICS1 paper
- A*POPL1 paper
- CPST1 paper
- BISPASS1 paper
- A*PLDI1 paper
Papers
92 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CGO | Towards Path-Aware Coverage-Guided Fuzzing. | Giacomo Priamo, Daniele Cono D'Elia, Mathias Payer, Leonardo Querzoni |
| 2026 | NDSS | SYSYPHUZZ: the Pressure of More Coverage. | Zezhong Ren, Han Zheng, Zhiyao Feng, Qinying Wang, Marcel Busch, Yuqing Zhang, Chao Zhang, Mathias Payer |
| 2026 | SP | TMU: Emulating Trusted Applications at the (GlobalPlatform)-API Layer. | Philipp Mao, Li Shi, Marcel Busch, Mathias Payer |
| 2025 | ACSAC | OTABase: Enhancing Over-the-Air Testing to Detect Memory Crashes in Cellular Basebands. | CheolJun Park, Marc Egli, Beomseok Oh, Tuan Dinh Hoang, Suhwan Jeong, Martin Crettol, Insu Yun, Mathias Payer, Yongdae Kim |
| 2025 | AsiaCCS | REFLECTA: Reflection-based Scalable and Semantic Scripting Language Fuzzing. | Chibin Zhang, Gwangmu Lee, Qiang Liu, Mathias Payer |
| 2025 | DIMVA | Sourcerer: Channeling the void. | Nicolas Badoux, Flavio Toffalini, Mathias Payer |
| 2025 | ISCA | Single-Address-Space FaaS with Jord. | Yuanlong Li, Atri Bhattacharyya, Madhur Kumar, Abhishek Bhattacharjee, Yoav Etsion, Babak Falsafi, Sanidhya Kashyap, Mathias Payer |
| 2025 | NDSS | type++: Prohibiting Type Confusion with Inline Type Information. | Nicolas Badoux, Flavio Toffalini, Yuseok Jeon, Mathias Payer |
| 2025 | NDSS | Truman: Constructing Device Behavior Models from OS Drivers to Fuzz Virtual Devices. | Zheyu Ma, Qiang Liu, Zheming Li, Tingting Yin, Wende Tan, Chao Zhang, Mathias Payer |
| 2025 | NDSS | QMSan: Efficiently Detecting Uninitialized Memory Errors During Fuzzing. | Matteo Marini, Daniele Cono D'Elia, Mathias Payer, Leonardo Querzoni |
| 2025 | NDSS | DUMPLING: Fine-grained Differential JavaScript Engine Fuzzing. | Liam Wachter, Julian Gremminger, Christian Wressnegger, Mathias Payer, Flavio Toffalini |
| 2025 | SP | SoK: Challenges and Paths Toward Memory Safety for eBPF. | Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger |
| 2025 | SOSP | eBPF Misbehavior Detection: Fuzzing with a Specification-Based Oracle. | Tao Lyu, Kumar Kartikeya Dwivedi, Thomas Bourgeat, Mathias Payer, Meng Xu, Sanidhya Kashyap |
| 2024 | AsiaCCS | SyzRisk: A Change-Pattern-Based Continuous Kernel Regression Fuzzer. | Gwangmu Lee, Duo Xu, Solmaz Salimi, Byoungyoung Lee, Mathias Payer |
| 2024 | CCS | Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects. | Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger |
| 2024 | CCS | Fuzzing JavaScript Engines with a Graph-based IR. | Haoran Xu, Zhiyuan Jiang, Yongjun Wang, Shuhui Fan, Shenglin Xu, Peidai Xie, Shaojing Fu, Mathias Payer |
| 2024 | RAID | Tango: Extracting Higher-Order Feedback through State Inference. | Ahmad Hazimeh, Duo Xu, Qiang Liu, Yan Wang, Mathias Payer |
| 2024 | SP | Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference. | Heqing Huang, Anshunkang Zhou, Mathias Payer, Charles Zhang |
| 2024 | SP | SyzTrust: State-aware Fuzzing on Trusted OS Designed for IoT Devices. | Qinying Wang, Boyu Chang, Shouling Ji, Yuan Tian, Xuhong Zhang, Binbin Zhao, Gaoning Pan, Chenyang Lyu, Mathias Payer, Wenhai Wang, Raheem Beyah |
| 2024 | USENIX | Monarch: A Fuzzing Framework for Distributed File Systems. | Tao Lyu, Liyi Zhang, Zhiyao Feng, Yueyang Pan, Yujie Ren, Meng Xu, Mathias Payer, Sanidhya Kashyap |
| 2023 | AsiaCCS | Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis. | Sirus Shahini, Mu Zhang, Mathias Payer, Robert Ricci |
| 2023 | DATE | Temperature Impact on Remote Power Side-Channel Attacks on Shared FPGAs. | Ognjen Glamocanin, Hajira Bazaz, Mathias Payer, Mirjana Stojilovic |
| 2023 | HotOS | Creating Trust by Abolishing Hierarchies. | Charly Castes, Adrien Ghosn, Neelu Shivprakash Kalani, Yuchen Qian, Marios Kogias, Mathias Payer, Edouard Bugnion |
| 2023 | ISCA | Imprecise Store Exceptions. | Siddharth Gupta, Yuanlong Li, Qingxuan Kang, Abhishek Bhattacharjee, Babak Falsafi, Yunho Oh, Mathias Payer |
| 2023 | SP | SecureCells: A Secure Compartmentalized Architecture. | Atri Bhattacharyya, Florian Hofhammer, Yuanlong Li, Siddharth Gupta, Andrs Snchez, Babak Falsafi, Mathias Payer |
| 2023 | SP | TEEzz: Fuzzing Trusted Applications on COTS Android Devices. | Marcel Busch, Aravind Machiry, Chad Spensky, Giovanni Vigna, Christopher Kruegel, Mathias Payer |
| 2023 | SP | ViDeZZo: Dependency-aware Virtual Device Fuzzing. | Qiang Liu, Flavio Toffalini, Yajin Zhou, Mathias Payer |
| 2023 | SP | WarpAttack: Bypassing CFI through Compiler-Introduced Double-Fetches. | Jianhao Xu, Luca Di Bartolomeo, Flavio Toffalini, Bing Mao, Mathias Payer |
| 2022 | ACSAC | One Fuzz Doesn't Fit All: Optimizing Directed Fuzzing via Target-tailored Program State Restriction. | Prashast Srivastava, Stefan Nagy, Matthew Hicks, Antonio Bianchi, Mathias Payer |
| 2022 | ACSAC | Designing a Provenance Analysis for SGX Enclaves. | Flavio Toffalini, Mathias Payer, Jianying Zhou, Lorenzo Cavallaro |
| 2022 | AsiaCCS | BLURtooth: Exploiting Cross-Transport Key Derivation in Bluetooth Classic and Bluetooth Low Energy. | Daniele Antonioli, Nils Ole Tippenhauer, Kasper Rasmussen, Mathias Payer |
| 2022 | CCS | Evocatio: Conjuring Bug Capabilities from a Single PoC. | Zhiyuan Jiang, Shuitao Gan, Adrian Herrera, Flavio Toffalini, Lucio Romerio, Chaojing Tang, Manuel Egele, Chao Zhang, Mathias Payer |
| 2022 | CCS | PACMem: Enforcing Spatial and Temporal Memory Safety via ARM Pointer Authentication. | Yuan Li, Wende Tan, Zhizheng Lv, Songtao Yang, Mathias Payer, Ying Liu, Chao Zhang |
| 2022 | NDSS | The Taming of the Stack: Isolating Stack Data from Memory Errors. | Kaiming Huang, Yongzhe Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger |
| 2022 | NDSS | Preventing Kernel Hacks with HAKCs. | Derrick Paul McKee, Yianni Giannaris, Carolina Ortega, Howard E. Shrobe, Mathias Payer, Hamed Okhravi, Nathan Burow |
| 2022 | SP | On the Insecurity of Vehicles Against Protocol-Level Bluetooth Threats. | Daniele Antonioli, Mathias Payer |
| 2021 | ASPLOS | Enclosure: language-based restriction of untrusted libraries. | Adrien Ghosn, Marios Kogias, Mathias Payer, James R. Larus, Edouard Bugnion |
| 2021 | CCS | Igor: Crash Deduplication Through Root-Cause Clustering. | Zhiyuan Jiang, Xiyue Jiang, Ahmad Hazimeh, Chaojing Tang, Chao Zhang, Mathias Payer |
| 2021 | ISCA | Rebooting Virtual Memory with Midgard. | Siddharth Gupta, Atri Bhattacharyya, Yunho Oh, Abhishek Bhattacharjee, Babak Falsafi, Mathias Payer |
| 2021 | ICSE | Too Quiet in the Library: An Empirical Study of Security Updates in Android Apps' Native Code. | Sumaya Almanee, Arda nal, Mathias Payer, Joshua Garcia |
| 2021 | ICSE | Too Quiet in the Library: An Empirical Study of Security Updates in Android Apps' Native Code. | Sumaya Almanee, Arda nal, Mathias Payer, Joshua Garcia |
| 2021 | ISSTA | Seed selection for successful fuzzing. | Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer, Antony L. Hosking |
| 2021 | ISSTA | Gramatron: effective grammar-aware fuzzing. | Prashast Srivastava, Mathias Payer |
| 2021 | MICRO | Principal Kernel Analysis: A Tractable Methodology to Simulate Scaled GPU Workloads. | Cesar Avalos Baddouh, Mahmoud Khairy, Roland N. Green, Mathias Payer, Timothy G. Rogers |
| 2021 | NDSS | Evading Voltage-Based Intrusion Detection on Automotive CAN. | Rohit Bhatia, Vireshwar Kumar, Khaled Serag, Z. Berkay Celik, Mathias Payer, Dongyan Xu |
| 2021 | RAID | μSCOPE: A Methodology for Analyzing Least-Privilege Compartmentalization in Large Software Artifacts. | Nick Roessler, Lucas Atayde, Imani Palmer, Derrick Paul McKee, Jai Pandey, Vasileios P. Kemerlis, Mathias Payer, Adam Bates, Jonathan M. Smith, Andr DeHon, Nathan Dautenhahn |
| 2021 | SIGMETRICS | Magma: A Ground-Truth Fuzzing Benchmark. | Ahmad Hazimeh, Adrian Herrera, Mathias Payer |
| 2020 | NDSS | RAI: Securing Embedded Systems with Return Address Integrity. | Naif Saleh Almakhdhub, Abraham A. Clements, Saurabh Bagchi, Mathias Payer |
| 2020 | RAID | SpecROP: Speculative Exploitation of ROP Chains. | Atri Bhattacharyya, Andrs Snchez, Esmaeil Mohammadian Koruyeh, Nael B. Abu-Ghazaleh, Chengyu Song, Mathias Payer |
| 2020 | RAID | BlueShield: Detecting Spoofing Attacks in Bluetooth Low Energy Networks. | Jianliang Wu, Yuhong Nan, Vireshwar Kumar, Mathias Payer, Dongyan Xu |
| 2020 | SP | RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization. | Sushant Dinesh, Nathan Burow, Dongyan Xu, Mathias Payer |
| 2020 | USENIX | FuZZan: Efficient Sanitizer Metadata Design for Fuzzing. | Yuseok Jeon, Wookhyun Han, Nathan Burow, Mathias Payer |
| 2019 | CCS | SMoTherSpectre: Exploiting Speculative Execution through Port Contention. | Atri Bhattacharyya, Alexandra Sandulescu, Matthias Neugschwandtner, Alessandro Sorniotti, Babak Falsafi, Mathias Payer, Anil Kurmus |
| 2019 | CCS | FirmFuzz: Automated IoT Firmware Introspection and Analysis. | Prashast Srivastava, Hui Peng, Jiahao Li, Hamed Okhravi, Howard E. Shrobe, Mathias Payer |
| 2019 | DSN | BenchIoT: A Security Benchmark for the Internet of Things. | Naif Saleh Almakhdhub, Abraham A. Clements, Mathias Payer, Saurabh Bagchi |
| 2019 | NSPW | Employing attack graphs for intrusion detection. | Frank Capobianco, Rahul George, Kaiming Huang, Trent Jaeger, Srikanth V. Krishnamurthy, Zhiyun Qian, Mathias Payer, Paul L. Yu |
| 2019 | SP | SoK: Shining Light on Shadow Stacks. | Nathan Burow, Xinping Zhang, Mathias Payer |
| 2019 | RTSS | Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems. | Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Mathias Payer, Petru Eles, Zebo Peng |
| 2018 | CCS | CUP: Comprehensive User-Space Protection for C/C++. | Nathan Burow, Derrick Paul McKee, Scott A. Carr, Mathias Payer |
| 2018 | CCS | Block Oriented Programming: Automating Data-Only Attacks. | Kyriakos K. Ispoglou, Bader AlBassam, Trent Jaeger, Mathias Payer |
| 2018 | CCS | Milkomeda: Safeguarding the Mobile GPU Interface Using WebGL Security Checks. | Zhihao Yao, Saeed Mirzamohammadi, Ardalan Amiri Sani, Mathias Payer |
| 2018 | NDSS | CFIXX: Object Type Integrity for C++. | Nathan Burow, Derrick Paul McKee, Scott A. Carr, Mathias Payer |
| 2018 | SP | T-Fuzz: Fuzzing by Program Transformation. | Hui Peng, Yan Shoshitaishvili, Mathias Payer |
| 2017 | CC | rev.ng: a unified binary analysis framework to recover CFGs and function boundaries. | Alessandro Di Federico, Mathias Payer, Giovanni Agosta |
| 2017 | CCS | DataShield: Configurable Data Confidentiality and Integrity. | Scott A. Carr, Mathias Payer |
| 2017 | CCS | HexType: Efficient Detection of Type Confusion Errors for C++. | Yuseok Jeon, Priyam Biswas, Scott A. Carr, Byoungyoung Lee, Mathias Payer |
| 2017 | CCS | Memory Safety for Embedded Devices with nesCheck. | Daniele Midi, Mathias Payer, Elisa Bertino |
| 2017 | CCS | Control-Flow Hijacking: Are We Making Progress? | Mathias Payer |
| 2017 | NDSS | An Evil Copy: How the Loader Betrays You. | Xinyang Ge, Mathias Payer, Trent Jaeger |
| 2017 | SP | Protecting Bare-Metal Embedded Systems with Privilege Overlays. | Abraham A. Clements, Naif Saleh Almakhdhub, Khaled Saab, Prashast Srivastava, Jinkyu Koo, Saurabh Bagchi, Mathias Payer |
| 2017 | VEE | One Process to Reap Them All: Garbage Collection as-a-Service. | Ahmed Hussein, Mathias Payer, Antony L. Hosking, Christopher A. Vick |
| 2016 | CCS | Forgery-Resistant Touch-based Authentication on Mobile Devices. | Neil Zhenqiang Gong, Mathias Payer, Reza Moazzezi, Mario Frank |
| 2016 | CCS | TypeSan: Practical Type Confusion Detection. | Istvn Haller, Yuseok Jeon, Hui Peng, Mathias Payer, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe |
| 2016 | CCS | Enforcing Least Privilege Memory Views for Multithreaded Applications. | Terry Ching-Hsiang Hsu, Kevin J. Hoffman, Patrick Eugster, Mathias Payer |
| 2016 | NDSS | VTrust: Regaining Trust on Virtual Calls. | Chao Zhang, Dawn Song, Scott A. Carr, Mathias Payer, Tongxin Li, Yu Ding, Chengyu Song |
| 2015 | DIMVA | Fine-Grained Control-Flow Integrity Through Binary Hardening. | Mathias Payer, Antonio Barresi, Thomas R. Gross |
| 2015 | SP | The Correctness-Security Gap in Compiler Optimization. | Vijay D'Silva, Mathias Payer, Dawn Xiaodong Song |
| 2015 | SYSTOR | Impact of GC design on power and performance for Android. | Ahmed Hussein, Mathias Payer, Antony L. Hosking, Christopher A. Vick |
| 2014 | IMC | The Matter of Heartbleed. | Zakir Durumeric, James Kasten, David Adrian, J. Alex Halderman, Michael D. Bailey, Frank Li, Nicholas Weaver, Johanna Amann, Jethro Beekman, Mathias Payer, Vern Paxson |
| 2014 | OSDI | Code-Pointer Integrity. | Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song |
| 2013 | ESORICS | HI-CFG: Construction by Binary Analysis and Application to Attack Polymorphism. | Dan Caselden, Alex Bazhanyuk, Mathias Payer, Stephen McCamant, Dawn Song |
| 2013 | POPL | String oriented programming: when ASLR is not enough. | Mathias Payer, Thomas R. Gross |
| 2013 | PST | Hot-patching a web server: A case study of ASAP code repair. | Mathias Payer, Thomas R. Gross |
| 2013 | SP | SoK: Eternal War in Memory. | Laszlo Szekeres, Mathias Payer, Tao Wei, Dawn Song |
| 2013 | USENIX | Lightweight Memory Tracing. | Mathias Payer, Enrico Kravina, Thomas R. Gross |
| 2012 | SP | Safe Loading - A Foundation for Secure Execution of Untrusted Programs. | Mathias Payer, Tobias Hartmann, Thomas R. Gross |
| 2012 | VEE | Protecting applications against TOCTTOU races by user-space caching of file metadata. | Mathias Payer, Thomas R. Gross |
| 2011 | ISPASS | Performance evaluation of adaptivity in software transactional memory. | Mathias Payer, Thomas R. Gross |
| 2011 | VEE | Fine-grained user-space security through virtualization. | Mathias Payer, Thomas R. Gross |
| 2010 | SYSTOR | Usage scenarios for fast dynamic binary translators. | Mathias Payer |
| 2010 | SYSTOR | Generating low-overhead dynamic binary translators. | Mathias Payer, Thomas R. Gross |
| 2007 | PLDI | Online optimizations driven by hardware performance monitoring. | Florian T. Schneider, Mathias Payer, Thomas R. Gross |