Mathias Payer

ORCID

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 113

Top Venues

USENIX Security Symposium

CoRR

CCS

AsiaCCS

Publications

Gwangmu Lee, Duo Xu, Solmaz Salimi, Byoungyoung Lee, Mathias Payer
SyzRisk: A Change-Pattern-Based Continuous Kernel Regression Fuzzer. AsiaCCS (2024)
Alexander Bulekov, Qiang Liu, Manuel Egele, Mathias Payer
HYPERPILL: Fuzzing for Hypervisor-bugs by leveraging the Hardware Virtualization Interface. USENIX Security Symposium (2024)
Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger
Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety. IEEE Secur. Priv. 22 (4) (2024)
Azra Abtahi, Mathias Payer, Amir Aminifar
DP-ACT: Decentralized Privacy-Preserving Asymmetric Digital Contact Tracing. Proc. Priv. Enhancing Technol. 2024 (1) (2024)
Christian Lindenmeier, Mathias Payer, Marcel Busch
EL3XIR: Fuzzing COTS Secure Monitors. USENIX Security Symposium (2024)
Marcel Busch, Philipp Mao, Mathias Payer
GlobalConfusion: TrustZone Trusted Application 0-Days by Design. USENIX Security Symposium (2024)
Marcel Busch, Philipp Mao, Mathias Payer
Spill the TeA: An Empirical Study of Trusted Application Rollback Prevention on Android Smartphones. USENIX Security Symposium (2024)
Tao Lyu, Liyi Zhang, Zhiyao Feng, Yueyang Pan, Yujie Ren, Meng Xu, Mathias Payer, Sanidhya Kashyap
Monarch: A Fuzzing Framework for Distributed File Systems. USENIX ATC (2024)
Jianhao Xu, Luca Di Bartolomeo, Flavio Toffalini, Bing Mao, Mathias Payer
WarpAttack: Bypassing CFI through Compiler-Introduced Double-Fetches. SP (2023)
Ognjen Glamocanin, Hajira Bazaz, Mathias Payer, Mirjana Stojilovic
Temperature Impact on Remote Power Side-Channel Attacks on Shared FPGAs. DATE (2023)
Charly Castes, Adrien Ghosn, Neelu S. Kalani, Yuchen Qian, Marios Kogias, Mathias Payer, Edouard Bugnion
Creating Trust by Abolishing Hierarchies. HotOS (2023)
Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger
Top of the Heap: Efficient Memory Error Protection for Many Heap Objects. CoRR (2023)
Adrian Herrera, Mathias Payer, Antony L. Hosking
DatAFLow: Toward a Data-Flow-Guided Fuzzer. ACM Trans. Softw. Eng. Methodol. 32 (5) (2023)
Qinying Wang, Boyu Chang, Shouling Ji, Yuan Tian, Xuhong Zhang, Binbin Zhao, Gaoning Pan, Chenyang Lyu, Mathias Payer, Wenhai Wang, Raheem Beyah
SyzTrust: State-aware Fuzzing on Trusted OS Designed for IoT Devices. CoRR (2023)
Siddharth Gupta, Yuanlong Li, Qingxuan Kang, Abhishek Bhattacharjee, Babak Falsafi, Yunho Oh, Mathias Payer
Imprecise Store Exceptions. ISCA (2023)
Luca Di Bartolomeo, Hossein Moghaddas, Mathias Payer
ARMore: Pushing Love Back Into Binaries. USENIX Security Symposium (2023)
Jianhao Xu, Kangjie Lu, Zhengjie Du, Zhu Ding, Linke Li, Qiushi Wu, Mathias Payer, Bing Mao
Silent Bugs Matter: A Study of Compiler-Introduced Security Bugs. USENIX Security Symposium (2023)
Ji Shi, Zhun Wang, Zhiyao Feng, Yang Lan, Shisong Qin, Wei You, Wei Zou, Mathias Payer, Chao Zhang
AIFORE: Smart Fuzzing Based on Automatic Input Format Reverse Engineering. USENIX Security Symposium (2023)
Hui Peng, Zhihao Yao, Ardalan Amiri Sani, Dave Tian, Mathias Payer
GLeeFuzz: Fuzzing WebGL Through Error Message Guided Mutation. USENIX Security Symposium (2023)
Qiang Liu, Flavio Toffalini, Yajin Zhou, Mathias Payer
ViDeZZo: Dependency-aware Virtual Device Fuzzing. SP (2023)
Atri Bhattacharyya, Florian Hofhammer, Yuanlong Li, Siddharth Gupta, Andrés Sánchez, Babak Falsafi, Mathias Payer
SecureCells: A Secure Compartmentalized Architecture. SP (2023)
Adrian Herrera, Mathias Payer, Antony L. Hosking
DatAFLow: Toward a Data-flow-guided Fuzzer. ACM Trans. Softw. Eng. Methodol. 32 (5) (2023)
Marius Fleischer, Dipanjan Das, Priyanka Bose, Weiheng Bai, Kangjie Lu, Mathias Payer, Christopher Kruegel, Giovanni Vigna
ACTOR: Action-Guided Kernel Fuzzing. USENIX Security Symposium (2023)
Prashast Srivastava, Flavio Toffalini, Kostyantyn Vorobyov, François Gauthier, Antonio Bianchi, Mathias Payer
Crystallizer: A Hybrid Path Analysis Framework to Aid in Uncovering Deserialization Vulnerabilities. ESEC/SIGSOFT FSE (2023)
Ognjen Glamocanin, Shashwat Shrivastava, Jinwei Yao, Nour Ardo, Mathias Payer, Mirjana Stojilovic
Instruction-Level Power Side-Channel Leakage Evaluation of Soft-Core CPUs on Shared FPGAs. J. Hardw. Syst. Secur. 7 (2) (2023)
Marcel Busch, Aravind Machiry, Chad Spensky, Giovanni Vigna, Christopher Kruegel, Mathias Payer
TEEzz: Fuzzing Trusted Applications on COTS Android Devices. SP (2023)
Han Zheng, Jiayuan Zhang, Yuhang Huang, Zezhong Ren, He Wang, Chunjie Cao, Yuqing Zhang, Flavio Toffalini, Mathias Payer
FISHFUZZ: Catch Deeper Bugs by Throwing Larger Nets. USENIX Security Symposium (2023)
Sirus Shahini, Mu Zhang, Mathias Payer, Robert Ricci
Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis. AsiaCCS (2023)
Atri Bhattacharyya, Uros Tesic, Mathias Payer
Midas: Systematic Kernel TOCTTOU Protection. USENIX Security Symposium (2022)
Daniele Antonioli, Mathias Payer
On the Insecurity of Vehicles Against Protocol-Level Bluetooth Threats. SP Workshops (2022)
Chijin Zhou, Quan Zhang, Mingzhe Wang, Lihua Guo, Jie Liang, Zhe Liu, Mathias Payer, Yu Jiang
Minerva: browser API fuzzing with dynamic mod-ref analysis. ESEC/SIGSOFT FSE (2022)
Kaiming Huang, Yongzhe Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger
The Taming of the Stack: Isolating Stack Data from Memory Errors. NDSS (2022)
Daniele Antonioli, Nils Ole Tippenhauer, Kasper Rasmussen, Mathias Payer
BLURtooth: Exploiting Cross-Transport Key Derivation in Bluetooth Classic and Bluetooth Low Energy. AsiaCCS (2022)
Zhiyuan Jiang, Shuitao Gan, Adrian Herrera, Flavio Toffalini, Lucio Romerio, Chaojing Tang, Manuel Egele, Chao Zhang, Mathias Payer
Evocatio: Conjuring Bug Capabilities from a Single PoC. CCS (2022)
Carmela Troncoso, Dan Bogdanov, Edouard Bugnion, Sylvain Chatel, Cas Cremers, Seda F. Gürses, Jean-Pierre Hubaux, Dennis Jackson, James R. Larus, Wouter Lueks, Rui Oliveira, Mathias Payer, Bart Preneel, Apostolos Pyrgelis, Marcel Salathé, Theresa Stadler, Michael Veale
Deploying decentralized, privacy-preserving proximity tracing. Commun. ACM 65 (9) (2022)
Flavio Toffalini, Mathias Payer, Jianying Zhou, Lorenzo Cavallaro
Designing a Provenance Analysis for SGX Enclaves. CoRR (2022)
Yuan Li, Wende Tan, Zhizheng Lv, Songtao Yang, Mathias Payer, Ying Liu, Chao Zhang
PACMem: Enforcing Spatial and Temporal Memory Safety via ARM Pointer Authentication. CCS (2022)
Marco Casagrande, Eleonora Losiouk, Mauro Conti, Mathias Payer, Daniele Antonioli
BreakMi: Reversing, Exploiting and Fixing Xiaomi Fitness Tracking Ecosystem. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022 (3) (2022)
Derrick Paul McKee, Yianni Giannaris, Carolina Ortega, Howard E. Shrobe, Mathias Payer, Hamed Okhravi, Nathan Burow
Preventing Kernel Hacks with HAKCs. NDSS (2022)
Fei Wang, Jianliang Wu, Yuhong Nan, Yousra Aafer, Xiangyu Zhang, Dongyan Xu, Mathias Payer
ProFactory: Improving IoT Security via Formalized Protocol Customization. USENIX Security Symposium (2022)
Marco Casagrande, Eleonora Losiouk, Mauro Conti, Mathias Payer, Daniele Antonioli
BreakMi: Reversing, Exploiting and Fixing Xiaomi Fitness Tracking Ecosystem. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2022 (4) (2022)
Flavio Toffalini, Mathias Payer, Jianying Zhou, Lorenzo Cavallaro
Designing a Provenance Analysis for SGX Enclaves. ACSAC (2022)
Han Zheng, Jiayuan Zhang, Yuhang Huang, Zezhong Ren, He Wang, Chunjie Cao, Yuqing Zhang, Flavio Toffalini, Mathias Payer
FishFuzz: Throwing Larger Nets to Catch Deeper Bugs. CoRR (2022)
Yuan Li, Wende Tan, Zhizheng Lv, Songtao Yang, Mathias Payer, Ying Liu, Chao Zhang
PACSan: Enforcing Memory Safety Based on ARM PA. CoRR (2022)
Prashast Srivastava, Stefan Nagy, Matthew Hicks, Antonio Bianchi, Mathias Payer
One Fuzz Doesn't Fit All: Optimizing Directed Fuzzing via Target-tailored Program State Restriction. ACSAC (2022)
Ahmad Hazimeh, Adrian Herrera, Mathias Payer
Magma: A Ground-Truth Fuzzing Benchmark. SIGMETRICS (Abstracts) (2021)
Siddharth Gupta, Atri Bhattacharyya, Yunho Oh, Abhishek Bhattacharjee, Babak Falsafi, Mathias Payer
Rebooting Virtual Memory with Midgard. ISCA (2021)
Prashast Srivastava, Mathias Payer
Gramatron: effective grammar-aware fuzzing. ISSTA (2021)
David Chisnall, Deepak Garg, Catalin Hritcu, Mathias Payer
Secure Compilation (Dagstuhl Seminar 21481). Dagstuhl Reports 11 (10) (2021)
Sumaya Almanee, Arda Ünal, Mathias Payer, Joshua Garcia
Too Quiet in the Library: An Empirical Study of Security Updates in Android Apps' Native Code. ICSE (Companion Volume) (2021)
Priyam Biswas, Nathan Burow, Mathias Payer
Code Specialization through Dynamic Feature Observation. CODASPY (2021)
Adrien Ghosn, Marios Kogias, Mathias Payer, James R. Larus, Edouard Bugnion
Enclosure: language-based restriction of untrusted libraries. ASPLOS (2021)
Zhiyuan Jiang, Xiyue Jiang, Ahmad Hazimeh, Chaojing Tang, Chao Zhang, Mathias Payer
Igor: Crash Deduplication Through Root-Cause Clustering. CCS (2021)
Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer, Antony L. Hosking
Seed selection for successful fuzzing. ISSTA (2021)
Jianliang Wu, Ruoyu Wu, Daniele Antonioli, Mathias Payer, Nils Ole Tippenhauer, Dongyan Xu, Dave (Jing) Tian, Antonio Bianchi
LIGHTBLUE: Automatic Profile-Aware Debloating of Bluetooth Stacks. USENIX Security Symposium (2021)
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
μSCOPE: A Methodology for Analyzing Least-Privilege Compartmentalization in Large Software Artifacts. RAID (2021)
Sumaya Almanee, Arda Ünal, Mathias Payer, Joshua Garcia
Too Quiet in the Library: An Empirical Study of Security Updates in Android Apps' Native Code. ICSE (2021)
Cesar Avalos Baddouh, Mahmoud Khairy, Roland N. Green, Mathias Payer, Timothy G. Rogers
Principal Kernel Analysis: A Tractable Methodology to Simulate Scaled GPU Workloads. MICRO (2021)
Rohit Bhatia, Vireshwar Kumar, Khaled Serag, Z. Berkay Celik, Mathias Payer, Dongyan Xu
Evading Voltage-Based Intrusion Detection on Automotive CAN. NDSS (2021)
Naif Saleh Almakhdhub, Abraham A. Clements, Saurabh Bagchi, Mathias Payer
µRAI: Securing Embedded Systems with Return Address Integrity. NDSS (2020)
Atri Bhattacharyya, Andrés Sánchez, Esmaeil Mohammadian Koruyeh, Nael B. Abu-Ghazaleh, Chengyu Song, Mathias Payer
SpecROP: Speculative Exploitation of ROP Chains. RAID (2020)
Jianliang Wu, Yuhong Nan, Vireshwar Kumar, Mathias Payer, Dongyan Xu
BlueShield: Detecting Spoofing Attacks in Bluetooth Low Energy Networks. RAID (2020)
Yuseok Jeon, Wookhyun Han, Nathan Burow, Mathias Payer
FuZZan: Efficient Sanitizer Metadata Design for Fuzzing. USENIX Annual Technical Conference (2020)
Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Edouard Bugnion, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda F. Gürses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
Decentralized Privacy-Preserving Proximity Tracing. CoRR (2020)
Ahmad Hazimeh, Adrian Herrera, Mathias Payer
Magma: A Ground-Truth Fuzzing Benchmark. CoRR (2020)
Ahmad Hazimeh, Adrian Herrera, Mathias Payer
Magma: A Ground-Truth Fuzzing Benchmark. Proc. ACM Meas. Anal. Comput. Syst. 4 (3) (2020)
Abraham A. Clements, Eric Gustafson, Tobias Scharnowski, Paul Grosen, David Fritz, Christopher Kruegel, Giovanni Vigna, Saurabh Bagchi, Mathias Payer
HALucinator: Firmware Re-hosting Through Abstraction Layer Emulation. USENIX Security Symposium (2020)
Sushant Dinesh, Nathan Burow, Dongyan Xu, Mathias Payer
RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization. IEEE Symposium on Security and Privacy (2020)
Daniele Antonioli, Nils Ole Tippenhauer, Kasper Rasmussen, Mathias Payer
BLURtooth: Exploiting Cross-Transport Key Derivation in Bluetooth Classic and Bluetooth Low Energy. CoRR (2020)
Jianliang Wu, Yuhong Nan, Vireshwar Kumar, Dave (Jing) Tian, Antonio Bianchi, Mathias Payer, Dongyan Xu
BLESA: Spoofing Attacks against Reconnections in Bluetooth Low Energy. WOOT @ USENIX Security Symposium (2020)
Kyriakos K. Ispoglou, Daniel Austin, Vishwath Mohan, Mathias Payer
FuzzGen: Automatic Fuzzer Generation. USENIX Security Symposium (2020)
Hui Peng, Mathias Payer
USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation. USENIX Security Symposium (2020)
Carmela Troncoso, Mathias Payer, Jean-Pierre Hubaux, Marcel Salathé, James R. Larus, Wouter Lueks, Theresa Stadler, Apostolos Pyrgelis, Daniele Antonioli, Ludovic Barman, Sylvain Chatel, Kenneth G. Paterson, Srdjan Capkun, David A. Basin, Jan Beutel, Dennis Jackson, Marc Roeschlin, Patrick Leu, Bart Preneel, Nigel P. Smart, Aysajan Abidin, Seda Gurses, Michael Veale, Cas Cremers, Michael Backes, Nils Ole Tippenhauer, Reuben Binns, Ciro Cattuto, Alain Barrat, Dario Fiore, Manuel Barbosa, Rui Oliveira, José Pereira
Decentralized Privacy-Preserving Proximity Tracing. IEEE Data Eng. Bull. 43 (2) (2020)
Atri Bhattacharyya, Alexandra Sandulescu, Matthias Neugschwandtner, Alessandro Sorniotti, Babak Falsafi, Mathias Payer, Anil Kurmus
SMoTherSpectre: Exploiting Speculative Execution through Port Contention. CCS (2019)
Shin-Yeh Tsai, Mathias Payer, Yiying Zhang
Pythia: Remote Oracles for the Masses. USENIX Security Symposium (2019)
Mathias Payer
The Fuzzing Hype-Train: How Random Testing Triggers Thousands of Crashes. IEEE Secur. Priv. 17 (1) (2019)
Frank Capobianco, Rahul George, Kaiming Huang, Trent Jaeger, Srikanth V. Krishnamurthy, Zhiyun Qian, Mathias Payer, Paul Yu
Employing attack graphs for intrusion detection. NSPW (2019)
Prashast Srivastava, Hui Peng, Jiahao Li, Hamed Okhravi, Howard E. Shrobe, Mathias Payer
FirmFuzz: Automated IoT Firmware Introspection and Analysis. IoT S&P@CCS (2019)
Yuseok Jeon, Junghwan Rhee, Chung Hwan Kim, Zhichun Li, Mathias Payer, Byoungyoung Lee, Zhenyu Wu
PoLPer: Process-Aware Restriction of Over-Privileged Setuid Calls in Legacy Applications. CODASPY (2019)
Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Mathias Payer, Petru Eles, Zebo Peng
Butterfly Attack: Adversarial Manipulation of Temporal Properties of Cyber-Physical Systems. RTSS (2019)
Sumaya Almanee, Mathias Payer, Joshua Garcia
Too Quiet in the Library: A Study of Native Third-Party Libraries in Android. CoRR (2019)
Naif Saleh Almakhdhub, Abraham A. Clements, Mathias Payer, Saurabh Bagchi
BenchIoT: A Security Benchmark for the Internet of Things. DSN (2019)
Atri Bhattacharyya, Alexandra Sandulescu, Matthias Neugschwandtner, Alessandro Sorniotti, Babak Falsafi, Mathias Payer, Anil Kurmus
SMoTherSpectre: exploiting speculative execution through port contention. CoRR (2019)
Nathan Burow, Xinping Zhang, Mathias Payer
SoK: Shining Light on Shadow Stacks. IEEE Symposium on Security and Privacy (2019)
Nathan Burow, Xinping Zhang, Mathias Payer
Shining Light On Shadow Stacks. CoRR (2018)
Kyriakos K. Ispoglou, Bader AlBassam, Trent Jaeger, Mathias Payer
Block Oriented Programming: Automating Data-Only Attacks. CoRR (2018)
Hui Peng, Yan Shoshitaishvili, Mathias Payer
T-Fuzz: Fuzzing by Program Transformation. IEEE Symposium on Security and Privacy (2018)
Nathan Burow, Derrick Paul McKee, Scott A. Carr, Mathias Payer
CFIXX: Object Type Integrity for C++. NDSS (2018)
Kyriakos K. Ispoglou, Bader AlBassam, Trent Jaeger, Mathias Payer
Block Oriented Programming: Automating Data-Only Attacks. CCS (2018)
Zhihao Yao, Saeed Mirzamohammadi, Ardalan Amiri Sani, Mathias Payer
Milkomeda: Safeguarding the Mobile GPU Interface Using WebGL Security Checks. CCS (2018)
Nathan Burow, Derrick Paul McKee, Scott A. Carr, Mathias Payer
CUP: Comprehensive User-Space Protection for C/C++. AsiaCCS (2018)
Abraham A. Clements, Naif Saleh Almakhdhub, Saurabh Bagchi, Mathias Payer
ACES: Automatic Compartments for Embedded Systems. USENIX Security Symposium (2018)
Scott A. Carr, Mathias Payer
DataShield: Configurable Data Confidentiality and Integrity. AsiaCCS (2017)
Priyam Biswas, Alessandro Di Federico, Scott A. Carr, Prabhu Rajasekaran, Stijn Volckaert, Yeoul Na, Michael Franz, Mathias Payer
Venerable Variadic Vulnerabilities Vanquished. USENIX Security Symposium (2017)
Scott A. Carr, Francesco Logozzo, Mathias Payer
Automatic Contract Insertion with CCBot. IEEE Trans. Software Eng. 43 (8) (2017)
Nathan Burow, Derrick Paul McKee, Scott A. Carr, Mathias Payer
CUP: Comprehensive User-Space Protection for C/C++. CoRR (2017)
Daniele Midi, Mathias Payer, Elisa Bertino
Memory Safety for Embedded Devices with nesCheck. AsiaCCS (2017)
Abraham A. Clements, Naif Saleh Almakhdhub, Khaled S. Saab, Prashast Srivastava, Jinkyu Koo, Saurabh Bagchi, Mathias Payer
Protecting Bare-Metal Embedded Systems with Privilege Overlays. IEEE Symposium on Security and Privacy (2017)
Alessandro Di Federico, Mathias Payer, Giovanni Agosta
rev.ng: a unified binary analysis framework to recover CFGs and function boundaries. CC (2017)
Nathan Burow, Scott A. Carr, Joseph Nash, Per Larsen, Michael Franz, Stefan Brunthaler, Mathias Payer
Control-Flow Integrity: Precision, Security, and Performance. ACM Comput. Surv. 50 (1) (2017)

Mathias Payer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mathias Payer