Triggering Deep Vulnerabilities Using Symbolic Execution Dan Caselden, Alex Bazhanyuk, Mathias Payer,

Source URL: hexhive.github.io

• Software engineering
• Computer programming
• C
• Computing
• Data types
• Assertion
• Debugging
• Const
• Sizeof
• Symbolic execution

ON PERFECT MATCHINGS IN UNIFORM HYPERGRAPHS WITH LARGE MINIMUM VERTEX DEGREE ˆ. P HAN, ` HIE YURY PERSON, AND MATHIAS SCHACHT

Source URL: www.math.uni-frankfurt.de

Forgery-Resistant Touch-based Authentication on Mobile Devices Neil Zhenqiang Gong, Mathias Payer*, Reza Moazzezi, Mario Frank,

Source URL: hexhive.github.io

• Computer access control
• Access control
• Authentication
• Notary
• Packaging
• Biometrics

LLDSAL: A Low-Level Domain-Specific Aspect Language for Dynamic Code-Generation and Program Modification Mathias Payer Boris Bluntschli

Source URL: hexhive.github.io

• Software engineering
• Software
• Computing
• Compiler construction
• Programming language implementation
• Procedural programming languages
• Cross-platform software
• Object-oriented programming languages
• Domain-specific language
• D
• Assembly language
• Compiler

String Oriented Programming Circumventing ASLR, DEP, and Other Guards Mathias Payer ETH Zurich, Switzerland

Source URL: hexhive.github.io

• Computing
• Software engineering
• Software
• Software bugs
• Buffer overflow
• Stack buffer overflow
• Address space layout randomization
• PaX
• Uncontrolled format string
• Pointer
• Stack
• Printf format string

Code-Pointer Integrity Volodymyr Kuznetsov∗ , L´aszl´o Szekeres‡ , Mathias Payer†,§ George Candea∗ , R. Sekar‡ , Dawn Song† ∗ Ecole ´ † UC

Source URL: hexhive.github.io

• Software engineering
• Computing
• Computer programming
• Software bugs
• Data types
• Memory management
• Primitive types
• Programming language implementation
• Pointer
• Memory safety
• Dangling pointer
• Buffer overflow protection

Introducing Financial Frictions and Unemployment into a Small Open Economy Model Lawrence J. Christiano∗ Mathias Trabandt†

Source URL: faculty.wcas.northwestern.edu

Generating Low-Overhead Dynamic Binary Translators Mathias Payer Thomas R. Gross ETH Zurich, Switzerland

Source URL: hexhive.github.io

• Software
• Computing
• Compiler construction
• Programming language implementation
• Central processing unit
• Compiler optimizations
• Indirect branch
• Machine code
• Binary translation
• Inline expansion
• Self-modifying code
• Subroutine

Mathias Career Choices copy

Source URL: www.ucnrs.org

• University of California Natural Reserve System
• James Reserve
• Burns Pion Ridge Reserve
• Younger Lagoon Reserve
• University of California
• Scripps Coastal Reserve
• Landels-Hill Big Creek Reserve
• Sagehen Creek Field Station
• Nature reserve
• Coastal Reserve
• California Coast Ranges

Performance Evaluation of Adaptivity in Software Transactional Memory Mathias Payer ETH Zurich, Switzerland Abstract—Transactional memory (TM) is an attractive platform for parallel programs,

Source URL: hexhive.github.io

• Concurrency control
• Computing
• Transaction processing
• Data management
• Information science
• Software transactional memory
• Lock
• Non-blocking algorithm
• Transactional memory
• Linearizability
• Critical section
• Synchronization