default search action
Mathias Payer
Person information
- affiliation: EPFL, Lausanne, Switzerland
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j15]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): 40-49 (2024) - [j14]Aleksander Boruch-Gruszecki, Adrien Ghosn, Mathias Payer, Clément Pit-Claudel:
Gradient: Gradual Compartmentalization via Object Capabilities Tracked in Types. Proc. ACM Program. Lang. 8(OOPSLA2): 1135-1161 (2024) - [j13]Azra Abtahi, Mathias Payer, Amir Aminifar:
DP-ACT: Decentralized Privacy-Preserving Asymmetric Digital Contact Tracing. Proc. Priv. Enhancing Technol. 2024(1): 330-342 (2024) - [c116]Gwangmu Lee, Duo Xu, Solmaz Salimi, Byoungyoung Lee, Mathias Payer:
SyzRisk: A Change-Pattern-Based Continuous Kernel Regression Fuzzer. AsiaCCS 2024 - [c115]Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger:
Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects. CCS 2024: 1330-1344 - [c114]Haoran Xu, Zhiyuan Jiang, Yongjun Wang, Shuhui Fan, Shenglin Xu, Peidai Xie, Shaojing Fu, Mathias Payer:
Fuzzing JavaScript Engines with a Graph-based IR. CCS 2024: 3734-3748 - [c113]Ahmad Hazimeh, Duo Xu, Qiang Liu, Yan Wang, Mathias Payer:
Tango: Extracting Higher-Order Feedback through State Inference. RAID 2024: 403-418 - [c112]Han Zheng, Flavio Toffalini, Mathias Payer:
TuneFuzz: Adaptively Exploring Target Programs. SBFT@ICSE 2024: 61-62 - [c111]Heqing Huang, Anshunkang Zhou, Mathias Payer, Charles Zhang:
Everything is Good for Something: Counterexample-Guided Directed Fuzzing via Likely Invariant Inference. SP 2024: 1956-1973 - [c110]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. SP 2024: 2310-2387 - [c109]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: 529-543 - [c108]Alexander Bulekov, Qiang Liu, Manuel Egele, Mathias Payer:
HYPERPILL: Fuzzing for Hypervisor-bugs by leveraging the Hardware Virtualization Interface. USENIX Security Symposium 2024 - [c107]Marcel Busch, Philipp Mao, Mathias Payer:
Spill the TeA: An Empirical Study of Trusted Application Rollback Prevention on Android Smartphones. USENIX Security Symposium 2024 - [c106]Marcel Busch, Philipp Mao, Mathias Payer:
GlobalConfusion: TrustZone Trusted Application 0-Days by Design. USENIX Security Symposium 2024 - [c105]Christian Lindenmeier, Mathias Payer, Marcel Busch:
EL3XIR: Fuzzing COTS Secure Monitors. USENIX Security Symposium 2024 - [c104]Philipp Mao, Elias Valentin Boschung, Marcel Busch, Mathias Payer:
Exploiting Android's Hardened Memory Allocator. WOOT @ USENIX Security Symposium 2024: 211-227 - [e8]Federico Maggi, Manuel Egele, Mathias Payer, Michele Carminati:
Detection of Intrusions and Malware, and Vulnerability Assessment - 21st International Conference, DIMVA 2024, Lausanne, Switzerland, July 17-19, 2024, Proceedings. Lecture Notes in Computer Science 14828, Springer 2024, ISBN 978-3-031-64170-1 [contents] - [i19]Beatriz Borges, Negar Foroutan, Deniz Bayazit, Anna Sotnikova, Syrielle Montariol, Tanya Nazaretzky, Mohammadreza Banaei, Alireza Sakhaeirad, Philippe Servant, Seyed Parsa Neshaei, Jibril Frej, Angelika Romanou, Gail Weiss, Sepideh Mamooler, Zeming Chen, Simin Fan, Silin Gao, Mete Ismayilzada, Debjit Paul, Alexandre Schöpfer, Andrej Janchevski, Anja Tiede, Clarence Linden, Emanuele Troiani, Francesco Salvi, Freya Behrens, Giacomo Orsi, Giovanni Piccioli, Hadrien Sevel, Louis Coulon, Manuela Pineros-Rodriguez, Marin Bonnassies, Pierre Hellich, Puck van Gerwen, Sankalp Gambhir, Solal Pirelli, Thomas Blanchard, Timothée Callens, Toni Abi Aoun, Yannick Calvino Alonso, Yuri Cho, Alberto Silvio Chiappa, Antonio Sclocchi, Étienne Bruno, Florian Hofhammer, Gabriel Pescia, Geovani Rizk, Leello Dadi, Lucas Stoffl, Manoel Horta Ribeiro, Matthieu Bovel, Yueyang Pan, Aleksandra Radenovic, Alexandre Alahi, Alexander Mathis, Anne-Florence Bitbol, Boi Faltings, Cécile Hébert, Devis Tuia, François Maréchal, George Candea, Giuseppe Carleo, Jean-Cédric Chappelier, Nicolas Flammarion, Jean-Marie Fürbringer, Jean-Philippe Pellet, Karl Aberer, Lenka Zdeborová, Marcel Salathé, Martin Jaggi, Martin Rajman, Mathias Payer, Matthieu Wyart, Michael Gastpar, Michele Ceriotti, Ola Svensson, Olivier Lévêque, Paolo Ienne, Rachid Guerraoui, Robert West, Sanidhya Kashyap, Valerio Piazza, Viesturs Simanis, Viktor Kuncak, Volkan Cevher, Philippe Schwaller, Sacha Friedli, Patrick Jermann, Tanja Käser, Antoine Bosselut:
Could ChatGPT get an Engineering Degree? Evaluating Higher Education Vulnerability to AI Assistants. CoRR abs/2408.11841 (2024) - 2023
- [j12]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): 72-99 (2023) - [j11]Adrian Herrera, Mathias Payer, Antony L. Hosking:
DatAFLow: Toward a Data-Flow-Guided Fuzzer. ACM Trans. Softw. Eng. Methodol. 32(5): 132:1-132:31 (2023) - [j10]Adrian Herrera, Mathias Payer, Antony L. Hosking:
DatAFLow: Toward a Data-flow-guided Fuzzer. ACM Trans. Softw. Eng. Methodol. 32(5): 133:1-133:7 (2023) - [c103]Sirus Shahini, Mu Zhang, Mathias Payer, Robert Ricci:
Arvin: Greybox Fuzzing Using Approximate Dynamic CFG Analysis. AsiaCCS 2023: 232-246 - [c102]Ognjen Glamocanin, Hajira Bazaz, Mathias Payer, Mirjana Stojilovic:
Temperature Impact on Remote Power Side-Channel Attacks on Shared FPGAs. DATE 2023: 1-6 - [c101]Charly Castes, Adrien Ghosn, Neelu Shivprakash Kalani, Yuchen Qian, Marios Kogias, Mathias Payer, Edouard Bugnion:
Creating Trust by Abolishing Hierarchies. HotOS 2023: 231-238 - [c100]Siddharth Gupta, Yuanlong Li, Qingxuan Kang, Abhishek Bhattacharjee, Babak Falsafi, Yunho Oh, Mathias Payer:
Imprecise Store Exceptions. ISCA 2023: 52:1-52:15 - [c99]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: 1586-1597 - [c98]Marcel Busch, Aravind Machiry, Chad Spensky, Giovanni Vigna, Christopher Kruegel, Mathias Payer:
TEEzz: Fuzzing Trusted Applications on COTS Android Devices. SP 2023: 1204-1219 - [c97]Jianhao Xu, Luca Di Bartolomeo, Flavio Toffalini, Bing Mao, Mathias Payer:
WarpAttack: Bypassing CFI through Compiler-Introduced Double-Fetches. SP 2023: 1271-1288 - [c96]Atri Bhattacharyya, Florian Hofhammer, Yuanlong Li, Siddharth Gupta, Andrés Sánchez, Babak Falsafi, Mathias Payer:
SecureCells: A Secure Compartmentalized Architecture. SP 2023: 2921-2939 - [c95]Qiang Liu, Flavio Toffalini, Yajin Zhou, Mathias Payer:
ViDeZZo: Dependency-aware Virtual Device Fuzzing. SP 2023: 3228-3245 - [c94]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: 1343-1360 - [c93]Hui Peng, Zhihao Yao, Ardalan Amiri Sani, Dave Tian, Mathias Payer:
GLeeFuzz: Fuzzing WebGL Through Error Message Guided Mutation. USENIX Security Symposium 2023: 1883-1899 - [c92]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: 3655-3672 - [c91]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: 4967-4984 - [c90]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: 5003-5020 - [c89]Luca Di Bartolomeo, Hossein Moghaddas, Mathias Payer:
ARMore: Pushing Love Back Into Binaries. USENIX Security Symposium 2023: 6311-6328 - [i18]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 abs/2309.14742 (2023) - [i17]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 abs/2310.06397 (2023) - 2022
- [j9]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): 48-57 (2022) - [j8]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): 330-366 (2022) - [c88]Flavio Toffalini, Mathias Payer, Jianying Zhou, Lorenzo Cavallaro:
Designing a Provenance Analysis for SGX Enclaves. ACSAC 2022: 102-116 - [c87]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: 388-399 - [c86]Daniele Antonioli, Nils Ole Tippenhauer, Kasper Rasmussen, Mathias Payer:
BLURtooth: Exploiting Cross-Transport Key Derivation in Bluetooth Classic and Bluetooth Low Energy. AsiaCCS 2022: 196-207 - [c85]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: 1599-1613 - [c84]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: 1901-1915 - [c83]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 - [c82]Derrick Paul McKee, Yianni Giannaris, Carolina Ortega, Howard E. Shrobe, Mathias Payer, Hamed Okhravi, Nathan Burow:
Preventing Kernel Hacks with HAKCs. NDSS 2022 - [c81]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: 1135-1147 - [c80]Daniele Antonioli, Mathias Payer:
On the Insecurity of Vehicles Against Protocol-Level Bluetooth Threats. SP (Workshops) 2022: 353-362 - [c79]Atri Bhattacharyya, Uros Tesic, Mathias Payer:
Midas: Systematic Kernel TOCTTOU Protection. USENIX Security Symposium 2022: 107-124 - [c78]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: 3879-3896 - [i16]Yuan Li, Wende Tan, Zhizheng Lv, Songtao Yang, Mathias Payer, Ying Liu, Chao Zhang:
PACSan: Enforcing Memory Safety Based on ARM PA. CoRR abs/2202.03950 (2022) - [i15]Flavio Toffalini, Mathias Payer, Jianying Zhou, Lorenzo Cavallaro:
Designing a Provenance Analysis for SGX Enclaves. CoRR abs/2206.07418 (2022) - [i14]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 abs/2207.13393 (2022) - 2021
- [c77]Adrien Ghosn, Marios Kogias, Mathias Payer, James R. Larus, Edouard Bugnion:
Enclosure: language-based restriction of untrusted libraries. ASPLOS 2021: 255-267 - [c76]Zhiyuan Jiang, Xiyue Jiang, Ahmad Hazimeh, Chaojing Tang, Chao Zhang, Mathias Payer:
Igor: Crash Deduplication Through Root-Cause Clustering. CCS 2021: 3318-3336 - [c75]Priyam Biswas, Nathan Burow, Mathias Payer:
Code Specialization through Dynamic Feature Observation. CODASPY 2021: 257-268 - [c74]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: 170 - [c73]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: 1347-1359 - [c72]Siddharth Gupta, Atri Bhattacharyya, Yunho Oh, Abhishek Bhattacharjee, Babak Falsafi, Mathias Payer:
Rebooting Virtual Memory with Midgard. ISCA 2021: 512-525 - [c71]Adrian Herrera, Hendra Gunadi, Shane Magrath, Michael Norrish, Mathias Payer, Antony L. Hosking:
Seed selection for successful fuzzing. ISSTA 2021: 230-243 - [c70]Prashast Srivastava, Mathias Payer:
Gramatron: effective grammar-aware fuzzing. ISSTA 2021: 244-256 - [c69]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: 724-737 - [c68]Rohit Bhatia, Vireshwar Kumar, Khaled Serag, Z. Berkay Celik, Mathias Payer, Dongyan Xu:
Evading Voltage-Based Intrusion Detection on Automotive CAN. NDSS 2021 - [c67]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: 296-311 - [c66]Ahmad Hazimeh, Adrian Herrera, Mathias Payer:
Magma: A Ground-Truth Fuzzing Benchmark. SIGMETRICS (Abstracts) 2021: 81-82 - [c65]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: 339-356 - [d1]Diomidis Spinellis, Stefanos Georgiou, Johan Herland, Mathias Payer, Wouter Lueks, Bogdan Kulynych, Filip Muki Dobranic, konasimakopoulos:
Epidose: A privacy-preserving epidemic dosimeter based on contact tracing. Zenodo, 2021 - [i13]David Chisnall, Deepak Garg, Catalin Hritcu, Mathias Payer:
Secure Compilation (Dagstuhl Seminar 21481). Dagstuhl Reports 11(10): 173-204 (2021) - 2020
- [j7]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): 36-66 (2020) - [j6]Ahmad Hazimeh, Adrian Herrera, Mathias Payer:
Magma: A Ground-Truth Fuzzing Benchmark. Proc. ACM Meas. Anal. Comput. Syst. 4(3): 49:1-49:29 (2020) - [c64]Naif Saleh Almakhdhub, Abraham A. Clements, Saurabh Bagchi, Mathias Payer:
µRAI: Securing Embedded Systems with Return Address Integrity. NDSS 2020 - [c63]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: 1-16 - [c62]Jianliang Wu, Yuhong Nan, Vireshwar Kumar, Mathias Payer, Dongyan Xu:
BlueShield: Detecting Spoofing Attacks in Bluetooth Low Energy Networks. RAID 2020: 397-411 - [c61]Sushant Dinesh, Nathan Burow, Dongyan Xu, Mathias Payer:
RetroWrite: Statically Instrumenting COTS Binaries for Fuzzing and Sanitization. SP 2020: 1497-1511 - [c60]Yuseok Jeon, Wookhyun Han, Nathan Burow, Mathias Payer:
FuZZan: Efficient Sanitizer Metadata Design for Fuzzing. USENIX ATC 2020: 249-263 - [c59]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: 1201-1218 - [c58]Kyriakos K. Ispoglou, Daniel Austin, Vishwath Mohan, Mathias Payer:
FuzzGen: Automatic Fuzzer Generation. USENIX Security Symposium 2020: 2271-2287 - [c57]Hui Peng, Mathias Payer:
USBFuzz: A Framework for Fuzzing USB Drivers by Device Emulation. USENIX Security Symposium 2020: 2559-2575 - [c56]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 - [i12]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 abs/2005.12273 (2020) - [i11]Ahmad Hazimeh, Adrian Herrera, Mathias Payer:
Magma: A Ground-Truth Fuzzing Benchmark. CoRR abs/2009.01120 (2020) - [i10]Daniele Antonioli, Nils Ole Tippenhauer, Kasper Rasmussen, Mathias Payer:
BLURtooth: Exploiting Cross-Transport Key Derivation in Bluetooth Classic and Bluetooth Low Energy. CoRR abs/2009.11776 (2020)
2010 – 2019
- 2019
- [j5]Mathias Payer:
The Fuzzing Hype-Train: How Random Testing Triggers Thousands of Crashes. IEEE Secur. Priv. 17(1): 78-82 (2019) - [c55]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: 15-21 - [c54]Atri Bhattacharyya, Alexandra Sandulescu, Matthias Neugschwandtner, Alessandro Sorniotti, Babak Falsafi, Mathias Payer, Anil Kurmus:
SMoTherSpectre: Exploiting Speculative Execution through Port Contention. CCS 2019: 785-800 - [c53]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: 209-220 - [c52]Naif Saleh Almakhdhub, Abraham A. Clements, Mathias Payer, Saurabh Bagchi:
BenchIoT: A Security Benchmark for the Internet of Things. DSN 2019: 234-246 - [c51]Frank Capobianco, Rahul George, Kaiming Huang, Trent Jaeger, Srikanth V. Krishnamurthy, Zhiyun Qian, Mathias Payer, Paul L. Yu:
Employing attack graphs for intrusion detection. NSPW 2019: 16-30 - [c50]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: 93-106 - [c49]Nathan Burow, Xinping Zhang, Mathias Payer:
SoK: Shining Light on Shadow Stacks. IEEE Symposium on Security and Privacy 2019: 985-999 - [c48]Shin-Yeh Tsai, Mathias Payer, Yiying Zhang:
Pythia: Remote Oracles for the Masses. USENIX Security Symposium 2019: 693-710 - [i9]Atri Bhattacharyya, Alexandra Sandulescu, Matthias Neugschwandtner, Alessandro Sorniotti, Babak Falsafi, Mathias Payer, Anil Kurmus:
SMoTherSpectre: exploiting speculative execution through port contention. CoRR abs/1903.01843 (2019) - [i8]Sumaya Almanee, Mathias Payer, Joshua Garcia:
Too Quiet in the Library: A Study of Native Third-Party Libraries in Android. CoRR abs/1911.09716 (2019) - 2018
- [c47]Nathan Burow, Derrick Paul McKee, Scott A. Carr, Mathias Payer:
CUP: Comprehensive User-Space Protection for C/C++. AsiaCCS 2018: 381-392 - [c46]Zhihao Yao, Saeed Mirzamohammadi, Ardalan Amiri Sani, Mathias Payer:
Milkomeda: Safeguarding the Mobile GPU Interface Using WebGL Security Checks. CCS 2018: 1455-1469 - [c45]Kyriakos K. Ispoglou, Bader AlBassam, Trent Jaeger, Mathias Payer:
Block Oriented Programming: Automating Data-Only Attacks. CCS 2018: 1868-1882 - [c44]Nathan Burow, Derrick Paul McKee, Scott A. Carr, Mathias Payer:
CFIXX: Object Type Integrity for C++. NDSS 2018 - [c43]Hui Peng, Yan Shoshitaishvili, Mathias Payer:
T-Fuzz: Fuzzing by Program Transformation. IEEE Symposium on Security and Privacy 2018: 697-710 - [c42]Abraham A. Clements, Naif Saleh Almakhdhub, Saurabh Bagchi, Mathias Payer:
ACES: Automatic Compartments for Embedded Systems. USENIX Security Symposium 2018: 65-82 - [p2]Mathias Payer:
How memory safety violations enable exploitation of programs. The Continuing Arms Race 2018: 1-23 - [p1]Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song:
Code-pointer integrity. The Continuing Arms Race 2018: 81-116 - [e7]Mathias Payer, Awais Rashid, Jose M. Such:
Engineering Secure Software and Systems - 10th International Symposium, ESSoS 2018, Paris, France, June 26-27, 2018, Proceedings. Lecture Notes in Computer Science 10953, Springer 2018, ISBN 978-3-319-94495-1 [contents] - [i7]Kyriakos K. Ispoglou, Bader AlBassam, Trent Jaeger, Mathias Payer:
Block Oriented Programming: Automating Data-Only Attacks. CoRR abs/1805.04767 (2018) - [i6]Nathan Burow, Xinping Zhang, Mathias Payer:
Shining Light On Shadow Stacks. CoRR abs/1811.03165 (2018) - 2017
- [j4]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): 16:1-16:33 (2017) - [j3]Scott A. Carr, Francesco Logozzo, Mathias Payer:
Automatic Contract Insertion with CCBot. IEEE Trans. Software Eng. 43(8): 701-714 (2017) - [c41]Alessandro Di Federico, Mathias Payer, Giovanni Agosta:
rev.ng: a unified binary analysis framework to recover CFGs and function boundaries. CC 2017: 131-141 - [c40]Mathias Payer:
Control-Flow Hijacking: Are We Making Progress? AsiaCCS 2017: 4 - [c39]Daniele Midi, Mathias Payer, Elisa Bertino:
Memory Safety for Embedded Devices with nesCheck. AsiaCCS 2017: 127-139 - [c38]Scott A. Carr, Mathias Payer:
DataShield: Configurable Data Confidentiality and Integrity. AsiaCCS 2017: 193-204 - [c37]Yuseok Jeon, Priyam Biswas, Scott A. Carr, Byoungyoung Lee, Mathias Payer:
HexType: Efficient Detection of Type Confusion Errors for C++. CCS 2017: 2373-2387 - [c36]Xinyang Ge, Mathias Payer, Trent Jaeger:
An Evil Copy: How the Loader Betrays You. NDSS 2017 - [c35]Abraham A. Clements, Naif Saleh Almakhdhub, Khaled Saab, Prashast Srivastava, Jinkyu Koo, Saurabh Bagchi, Mathias Payer:
Protecting Bare-Metal Embedded Systems with Privilege Overlays. IEEE Symposium on Security and Privacy 2017: 289-303 - [c34]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: 186-198 - [c33]Ahmed Hussein, Mathias Payer, Antony L. Hosking, Christopher A. Vick:
One Process to Reap Them All: Garbage Collection as-a-Service. VEE 2017: 171-186 - [e6]Eric Bodden, Mathias Payer, Elias Athanasopoulos:
Engineering Secure Software and Systems - 9th International Symposium, ESSoS 2017, Bonn, Germany, July 3-5, 2017, Proceedings. Lecture Notes in Computer Science 10379, Springer 2017, ISBN 978-3-319-62104-3 [contents] - [e5]José M. Fernandez, Mathias Payer:
10th USENIX Workshop on Cyber Security Experimentation and Test, CSET 2017, Vancouver, BC, Canada, August 14, 2017. USENIX Association 2017 [contents] - [i5]Nathan Burow, Derrick Paul McKee, Scott A. Carr, Mathias Payer:
CUP: Comprehensive User-Space Protection for C/C++. CoRR abs/1704.05004 (2017) - 2016
- [c32]Terry Ching-Hsiang Hsu, Kevin J. Hoffman, Patrick Eugster, Mathias Payer:
Enforcing Least Privilege Memory Views for Multithreaded Applications. CCS 2016: 393-405 - [c31]Neil Zhenqiang Gong, Mathias Payer, Reza Moazzezi, Mario Frank:
Forgery-Resistant Touch-based Authentication on Mobile Devices. AsiaCCS 2016: 499-510 - [c30]István Haller, Yuseok Jeon, Hui Peng, Mathias Payer, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe:
TypeSan: Practical Type Confusion Detection. CCS 2016: 517-528 - [c29]Mathias Payer:
HexPADS: A Platform to Detect "Stealth" Attacks. ESSoS 2016: 138-154 - [c28]Xinyang Ge, Nirupama Talele, Mathias Payer, Trent Jaeger:
Fine-Grained Control-Flow Integrity for Kernel Software. EuroS&P 2016: 179-194 - [c27]Chao Zhang, Dawn Song, Scott A. Carr, Mathias Payer, Tongxin Li, Yu Ding, Chengyu Song:
VTrust: Regaining Trust on Virtual Calls. NDSS 2016 - [c26]Andreas Follner, Alexandre Bartel, Hui Peng, Yu-Chen Chang, Kyriakos K. Ispoglou, Mathias Payer, Eric Bodden:
PSHAPE: Automatically Combining Gadgets for Arbitrary Method Execution. STM 2016: 212-228 - [c25]Kyriakos K. Ispoglou, Mathias Payer:
malWASH: Washing Malware to Evade Dynamic Analysis. WOOT 2016 - [e4]Edgar R. Weippl, Stefan Katzenbeisser, Mathias Payer, Stefan Mangard, Elli Androulaki, Michael K. Reiter:
Proceedings of the 2016 ACM on Cloud Computing Security Workshop, CCSW 2016, Vienna, Austria, October 28, 2016. ACM 2016, ISBN 978-1-4503-4572-9 [contents] - [e3]Edgar R. Weippl, Stefan Katzenbeisser, Mathias Payer, Stefan Mangard, Alvaro A. Cárdenas, Rakesh B. Bobba:
Proceedings of the 2nd ACM Workshop on Cyber-Physical Systems Security and Privacy, CPS-SPC@CCS 2016, Vienna, Austria, October 28, 2016. ACM 2016, ISBN 978-1-4503-4568-2 [contents] - [e2]Edgar R. Weippl, Stefan Katzenbeisser, Mathias Payer, Stefan Mangard, Xinxin Fan, Tim Güneysu:
Proceedings of the 6th International Workshop on Trustworthy Embedded Devices, TrustED@CCS 16, Vienna, Austria, October 28, 2016. ACM 2016, ISBN 978-1-4503-4567-5 [contents] - [e1]Eric Eide, Mathias Payer:
9th Workshop on Cyber Security Experimentation and Test, CSET '16, Austin, TX, USA, August 8, 2016. USENIX Association 2016 [contents] - [i4]Nathan Burow, Scott A. Carr, Stefan Brunthaler, Mathias Payer, Joseph Nash, Per Larsen, Michael Franz:
Control-Flow Integrity: Precision, Security, and Performance. CoRR abs/1602.04056 (2016) - 2015
- [j2]Mathias Payer, Ling Huang, Neil Zhenqiang Gong, Kevin Borgolte, Mario Frank:
What You Submit Is Who You Are: A Multimodal Approach for Deanonymizing Scientific Publications. IEEE Trans. Inf. Forensics Secur. 10(1): 200-212 (2015) - [c24]Mathias Payer, Antonio Barresi, Thomas R. Gross:
Fine-Grained Control-Flow Integrity Through Binary Hardening. DIMVA 2015: 144-164 - [c23]Ahmed Hussein, Antony L. Hosking, Mathias Payer, Christopher A. Vick:
Don't race the memory bus: taming the GC leadfoot. ISMM 2015: 15-27 - [c22]Antonio Barresi, Mathias Payer, Thomas R. Gross:
Control-Flow Integrity. Software Engineering & Management 2015: 277 - [c21]Vijay D'Silva, Mathias Payer, Dawn Xiaodong Song:
The Correctness-Security Gap in Compiler Optimization. IEEE Symposium on Security and Privacy Workshops 2015: 73-87 - [c20]Ahmed Hussein, Mathias Payer, Antony L. Hosking, Christopher A. Vick:
Impact of GC design on power and performance for Android. SYSTOR 2015: 13:1-13:12 - [c19]Nicholas Carlini, Antonio Barresi, Mathias Payer, David A. Wagner, Thomas R. Gross:
Control-Flow Bending: On the Effectiveness of Control-Flow Integrity. USENIX Security Symposium 2015: 161-176 - [c18]Antonio Barresi, Kaveh Razavi, Mathias Payer, Thomas R. Gross:
CAIN: Silently Breaking ASLR in the Cloud. WOOT 2015 - [i3]Neil Zhenqiang Gong, Mathias Payer, Reza Moazzezi, Mario Frank:
Towards Forgery-Resistant Touch-based Biometric Authentication on Mobile Devices. CoRR abs/1506.02294 (2015) - 2014
- [j1]Laszlo Szekeres, Mathias Payer, Tao Wei, R. Sekar:
Eternal War in Memory. IEEE Secur. Priv. 12(3): 45-53 (2014) - [c17]Zakir Durumeric, James Kasten, David Adrian, J. Alex Halderman, Michael D. Bailey, Frank Li, Nicholas Weaver, Johanna Amann, Jethro Beekman, Mathias Payer, Vern Paxson:
The Matter of Heartbleed. Internet Measurement Conference 2014: 475-488 - [c16]Volodymyr Kuznetsov, Laszlo Szekeres, Mathias Payer, George Candea, R. Sekar, Dawn Song:
Code-Pointer Integrity. OSDI 2014: 147-163 - [c15]Hayawardh Vijayakumar, Xinyang Ge, Mathias Payer, Trent Jaeger:
JIGSAW: Protecting Resource Access by Inferring Programmer Expectations. USENIX Security Symposium 2014: 973-988 - [i2]Mathias Payer, Antonio Barresi, Thomas R. Gross:
Lockdown: Dynamic Control-Flow Integrity. CoRR abs/1407.0549 (2014) - [i1]Mathias Payer, Stephen Crane, Per Larsen, Stefan Brunthaler, Richard Wartell, Michael Franz:
Similarity-based matching meets Malware Diversity. CoRR abs/1409.7760 (2014) - 2013
- [c14]Dan Caselden, Alex Bazhanyuk, Mathias Payer, Stephen McCamant, Dawn Song:
HI-CFG: Construction by Binary Analysis and Application to Attack Polymorphism. ESORICS 2013: 164-181 - [c13]Mathias Payer, Boris Bluntschli, Thomas R. Gross:
DynSec: On-the-fly Code Rewriting and Repair. HotSWUp 2013 - [c12]Mathias Payer, Thomas R. Gross:
String oriented programming: when ASLR is not enough. PPREW@POPL 2013: 2:1-2:9 - [c11]Mathias Payer, Thomas R. Gross:
Hot-patching a web server: A case study of ASAP code repair. PST 2013: 143-150 - [c10]Laszlo Szekeres, Mathias Payer, Tao Wei, Dawn Song:
SoK: Eternal War in Memory. IEEE Symposium on Security and Privacy 2013: 48-62 - [c9]Mathias Payer, Enrico Kravina, Thomas R. Gross:
Lightweight Memory Tracing. USENIX ATC 2013: 115-126 - 2012
- [b1]Mathias Payer:
Safe loading and efficient runtime confinement: A foundation for secure execution. ETH Zurich, Zürich, Switzerland, 2012 - [c8]Mathias Payer, Boris Bluntschli, Thomas R. Gross:
LLDSAL: a low-level domain-specific aspect language for dynamic code-generation and program modification. DSAL@AOSD 2012: 15-20 - [c7]Mathias Payer, Tobias Hartmann, Thomas R. Gross:
Safe Loading - A Foundation for Secure Execution of Untrusted Programs. IEEE Symposium on Security and Privacy 2012: 18-32 - [c6]Mathias Payer, Thomas R. Gross:
Protecting applications against TOCTTOU races by user-space caching of file metadata. VEE 2012: 215-226 - 2011
- [c5]Mathias Payer, Thomas R. Gross:
Performance evaluation of adaptivity in software transactional memory. ISPASS 2011: 165-174 - [c4]Mathias Payer, Thomas R. Gross:
Fine-grained user-space security through virtualization. VEE 2011: 157-168 - 2010
- [c3]Mathias Payer:
Usage scenarios for fast dynamic binary translators. SYSTOR 2010 - [c2]Mathias Payer, Thomas R. Gross:
Generating low-overhead dynamic binary translators. SYSTOR 2010
2000 – 2009
- 2007
- [c1]Florian T. Schneider, Mathias Payer, Thomas R. Gross:
Online optimizations driven by hardware performance monitoring. PLDI 2007: 373-382
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint