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 4 of 4 for “"kernel modules"”.
-
Linux Kernel Module Continuous Address Space Re-Randomization
… While this technique is widely studied, its kernel space counterpart known as kernel address space layout randomization (KASLR) has received less attention in the research community. KASLR, as it is implemented today is limited in entropy of randomization. Specifically, the kernel image and …
-
On the implications of unsafe eBPF composition
… the demand for dynamically extending kernel capabil- ities without requiring changes to kernel source code or loading kernel modules at runtime is increasing. This is driven by numerous use cases such as observability, security, and network- ing, which can be efficiently addressed at …
-
Abstract Transducers for Software Analysis and Verification
… applicability, for example, to verify Linux kernel modules, and show that they can help in increasing the verification performance.
-
Settling-Time Improvements in Positioning Machines Subject to Nonlinear Friction Using Adaptive Impulse Control
A new method of adaptive impulse control is developed to precisely and quickly control the position of machine components subject to friction. Friction dominates the forces affecting fine positioning dynamics. Friction can depend on payload, velocity, step size, path, initial position, temperature, …