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 20 of 23 for “"Binary Analysis"”.
-
Selective Dynamic Analysis of Virtualized Whole-System Guest Environments
<p>Dynamic binary analysis is a prevalent and indispensable technique in program analysis. While several dynamic binary analysis tools and frameworks have been proposed, all suffer from one or more of: prohibitive performance degradation, a semantic gap between the analysis code and the execution …
-
Scalable validation of binary lifters
The ability to directly reason about binary machine code is desirable, not only because it allows analyzing binaries even when the source code is not available (e.g., legacy code, closed-source software, or malware), but also avoids the need to trust the correctness of compilers. Binary analysis is …
-
Transformation and Abstraction to Aid Comparison of Binary Executables Across Compilation Environments
<p>Binary analysis allows researchers to examine how programs are constructed and how they will impact an underlying system. The various analysis techniques allow the determination of code authorship, reuse, and similarity. Detecting code reuse is significant because code reuse can be a method for …
-
Trace-weighted binary comparison for software update management
… show that adding execution traces to the static binary analysis creates much more informative results than binary diffing alone.
-
An improved scalable mixed-level approach to dynamic analysis of C and C++ programs
… which use a mixed-level approach to dynamic binary analysis. The mixed-level approach combines advantages of both source- based and binary-based approaches to dynamic analysis, but comes with the added challenge of dealing with the implementation details of a specific implementation of the …
-
Guided Automatic Binary Parallelisation
… legacy binaries. The first, GBR (Guided Binary Recompilation), is a tool that recompiles stripped application binaries without the need for the source code or relocation information. GBR performs static binary analysis to determine how recompilation should be undertaken, and produces a …
-
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, …
-
DETECTION, DIAGNOSIS AND MITIGATION OF MALICIOUS JAVASCRIPT WITH ENRICHED JAVASCRIPT EXECUTIONS
… thus cannot solve the problems.</p> <p>Existing analysis techniques fall into two general categories: static analysis and dynamic analysis. Static analysis tends to produce inaccurate results (both false positive and false negative) and is vulnerable to a wide series of obfuscation techniques. …
-
A practical, comprehensive and accessible binary framework for security
… recovery, leading to unsound binaries or limited binary support. Dynamic approaches, while more comprehensive, incur high performance costs. Additionally, complexities of binary frameworks hinder swift development of security solutions. Effective solutions must balance sound and comprehensive code …
-
Systems engineering approach to engine test stand development for micropatching evaluations
… stand used to extract, patch and validate the binary file of a diesel engine electronic control module. Electronic control modules operate modern systems ranging from aircraft and spacecraft to automobiles, heavy trucks and industrial equipment. These systems are often used for decades, which …
-
Sampling India: examining cultural appropriation, intercultural exchange, and the Othering of Indian music in hip-hop and reggaeton
… scholars have continued to expound upon Said’s binary analysis of ‘Orient and Occident’. In popular music studies, India is primarily explored through its influence on psychedelic rock (Lavezzoli, 2007; Bakrania, 2013), or the impact of bhangra in shaping diasporic South Asian identities …
-
The genetics of atrial septal defect and patent foramen ovale
… ovale width (FOW) and crescent width (CRW). Binary analysis of PFO supported four of these.
-
On several problems regarding the application of opportunistic proximate links in smartphone networks
… of a novel declarative approach to static binary analysis of Android apps, which underlies the problem of detecting malware on the Android platform. Real Android malware samples are analyzed, and techniques to robustly handle them are proposed and evaluated.</p>
-
On Several Problems Regarding the Application of Opportunistic Proximate Links in Smartphone Networks
… of a novel declarative approach to static binary analysis of Android apps, which underlies the problem of detecting malware on the Android platform. Real Android malware samples are analyzed, and techniques to robustly handle them are proposed and evaluated.
-
THE SCALABLE AND ACCOUNTABLE BINARY CODE SEARCH AND ITS APPLICATIONS
… the existing security technologies: new analysis techniques</p> <p>should be scalable to handle “big data” scale codebase; They should be become smart</p> <p>and proactive by using the data to understand what the vulnerable points are and where</p> <p>they locate; effective protection …
-
Binary Program Integrity Models for Defeating Code-Reuse Attacks
… due to the wide use of closed-source software, binary-level solutions are essential. On the other hand, without access to source-code and debug-information, defending raw binaries is hard.</p> <p> A majority of defenses against code-reuse attacks enforce "control-flow integrity", a program …
-
Leveraging program slicing to understand network traffic
… around utilizing the concept of backward slice analysis of a binary to reconstruct the contents of a function call. To that end, a suite of modular tools will be developed to enable an analyst to glean relevant information about what data a binary is accessing and what it is doing with it. Each …
-
Beyond rules: leveraging Large Language Models for code-data separation in binary disassembly
Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2026-05-01
-
Low-Level Static Analysis for Memory Usage and Control Flow Recovery
… flow recovery (CFR) is also important for binary decompilation, verification, patching, and security analysis. It lifts raw unstructured data into a form that allows reasoning over behavior and semantics. However, doing so requires interpreting the behavior of the program when indirect or …
-
Toward Bridging the Semantic Gap Between x86-64 Software Binaries and Abstract Languages for Formal Verification and Security
… model derived from machine learning in software binary formal verification efforts. It introduces a library of 628 proven simplification lemmas designed to lift the abstraction of big-step operational semantics to a form more useful to proof engineers. A methodology for performing axiomatic …
Page 1 of 2