Global ETD Search

Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.

Results

Showing 1 to 11 of 11 for “"Memory Corruption Attacks"”.

  1. Formal framework and tools to derive efficient application-level detectors against memory corruption attacks

    Memory corruptions are a major part of security attacks observed nowadays. Many protection mechanisms have been proposed to fight against them. These techniques can be broadly classified into two categories: those that focus on preventing vulnerabilities from being exploited (canary value, libsafe) …

    uiuc Repository record for Formal framework and tools to derive efficient application-level detectors against memory corruption attacks (opens in a new tab)

  2. Optimizing Memory-Corruption Security Defenses for Real-Time Systems

    Real-Time Systems (RTSs) frequently suffer from memory-corruption attacks. Compared to general-purpose systems, RTSs differ because of their scheduling requirements. For this reason, many modern-day security defenses are not compatible with RTSs or impose too much performance overhead to be …

    mit Repository record for Optimizing Memory-Corruption Security Defenses for Real-Time Systems (opens in a new tab)

  3. Asynchronous hardware-enforced memory safety

    Memory corruption attacks, such as buffer overflow attacks, have been threatening software security for more than three decades. Despite tremendous efforts by developers and researchers to prevent programs written in memory-unsafe language (e.g., C/C++) from memory errors (the root cause of memory

    uiuc Repository record for Asynchronous hardware-enforced memory safety (opens in a new tab)

  4. Oreo: Protecting ASLR Against Microarchitectural Attacks

    … most prominently deployed mitigations against memory corruption attacks. ASLR randomly shuffles program virtual addresses to prevent attackers from knowing the location of program contents in memory. Microarchitectural side channels have been shown to defeat ASLR through various hardware …

    mit Repository record for Oreo: Protecting ASLR Against Microarchitectural Attacks (opens in a new tab)

  5. rave: A Framework for Code and Memory Randomization of Linux Containers

    Memory corruption continues to plague modern software systems, as it has for decades. With the emergence of code-reuse attacks which take advantage of these vulnerabilities like Return- Oriented Programming (ROP) or non-control data attacks like Data-Oriented programming (DOP), defenses against …

    vt Repository record for rave: A Framework for Code and Memory Randomization of Linux Containers (opens in a new tab)

  6. Design for Security: Measurement, Analysis and Mitigation Techniques

    … which provides a more formal way to depict these attacks. Besides the analysis of security vulnerabilities, this work also shows that although most current attacks compromise system security by overwriting control data, a new type of attack, namely non-control-data attack, can be generally …

    uiuc Repository record for Design for Security: Measurement, Analysis and Mitigation Techniques (opens in a new tab)

  7. Virtualisation-Based Security Countermeasures in Software Runtime Systems

    … As a matter of fact, successful low level attacks can circumvent or disable many of the traditional countermeasures in place within the same target system. Another trend that, according to the security research community, might be a cause for concern in the near future, is the tendency to …

    liege Repository record for Virtualisation-Based Security Countermeasures in Software Runtime Systems (opens in a new tab)

  8. Evaluating modern defenses against control flow hijacking

    Memory corruption attacks continue to be a major vector of attack for compromising modern systems. Strong defenses such as complete memory safety for legacy languages (C/C++) incur a large overhead, while weaker and practical defenses such as Code Pointer Integrity (CPI) and Control Flow Integrity …

    mit Repository record for Evaluating modern defenses against control flow hijacking (opens in a new tab)

  9. Fast, compatible, complete memory safety For C programs

    The lack of memory safety in C/C++ programs is one of, if not the, most persistent and costly sources of program exploits. Attacks based on memory corruption can range from the reading of private data to a complete hostile takeover of a process. While many solutions to this problem have been …

    mit Repository record for Fast, compatible, complete memory safety For C programs (opens in a new tab)

  10. Practical Mitigations Against Memory Corruption and Transient Execution Attacks

    Memory corruption attacks have existed in C and C++ for more than 30 years, and over the years many defenses have been proposed. In addition to that, a new class of attacks, Spectre, has emerged that abuse speculative execution to leak secrets and sensitive data through micro-architectural side …

    vt Repository record for Practical Mitigations Against Memory Corruption and Transient Execution Attacks (opens in a new tab)

  11. Program Anomaly Detection Against Data-Oriented Attacks

    Memory-corruption vulnerability is one of the most common attack vectors used to compromise computer systems. Such vulnerabilities could lead to serious security problems and would remain an unsolved problem for a long time. Existing memory corruption attacks can be broadly classified into two …

    vt Repository record for Program Anomaly Detection Against Data-Oriented Attacks (opens in a new tab)