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 7 of 7 for “"Binary Rewriting"”.
-
Defending against side-channel attacks : DynamoREA
… side-channels. DynamoREA uses dynamic binary rewriting to transform application binaries at runtime so that they appear to an observer to be executing on a machine that is absent of micro-architectural side-effects and thus do not leak information through micro-architectural …
-
DynaCut: A Framework for Dynamic Code Customization
… their attack surface. Existing works broadly use binary-rewriting techniques to remove unused code, but this results in a binary that is highly customized for a given usage context. If the usage scenario of the binary changes, the binary has to be regenerated. We present DYNACUT– a framework for …
-
Zero-Copy Communication for Efficient Compound Processes
… the work also develops a fully automated binary rewriting pipeline that combines conservative static analysis with targeted ELF code injection, enabling executables to benefit from zero-copy without needing source code changes. After examining the architectural constraints of Compound and …
-
rave: A Framework for Code and Memory Randomization of Linux Containers
… librave, the library responsible for static binary analysis and instrumentation, and CRIU-rave, an extended version of the battle-tested process migration tool available for Linux. In our prototype of this framework, we have shown that these tools can be used to rewrite live applications, …
-
On Reducing the Trusted Computing Base in Binary Verification
The translation of binary code to higher-level models has wide applications, including decompilation, binary analysis, and binary rewriting. This calls for high reliability of the underlying trusted computing base (TCB) of the translation methodology. A key challenge is to reduce the TCB by …
-
Software lock elision for x86 machine code
… architecture. The only requirement is that the binary synchronise using known locking constructs or calls such as those in Pthreads or OpenMP libraries. SLE_x86 provides speculative lock elision (SLE) entirely in software, executing critical sections in the binary using transactional memory. …
-
Applying Dynamic Software Updates to Computationally-Intensive Applications
Dynamic software updates change the code of a computer program while it runs, thus saving the programmer's time and using computing resources more productively. This dissertation establishes the value of and recommends practices for applying dynamic software updates to computationally-intensive …