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 10 of 10 for “"Memory Isolation"”.
-
On improving cybersecurity through memory isolation using systems management mode
… mechanisms for protecting sensitive areas of memory from tampering or intrusion using the facilities of Systems Management Mode.<br/><br/><br/>The essence and challenge of modern computer security is to isolate or contain data and applications in a variety of ways, while still allowing sharing …
-
Tenant-level network performance isolation in Flowtune
Performance isolation is a major concern for multi-tenant datacenters. Many service level agreements include a specification on the allotment of resources. For tenants, these resource guarantees are critical to the availability and efficiency of their services. While CPU, disk, and memory isolation …
-
Metadata-Aware Memory Security
… on shared servers, but it introduces critical memory security challenges, as users lack control over the underlying hardware and the software co-residing on the same server. One security challenge is physical attacks on memory, such as memory bus snooping, which is addressed through …
-
Verification of DMAC Device Driver Operations in HOL4
… require efficient data transfers involving memory in order to get the best possible performance. However, even the most optimized CPUs take too long to access memory regions, which takes time away from doing the typical computations that a CPU is designed to do. To solve this, Direct Memory …
-
Modeling and Synthesis of Linux DMA Device Drivers using HOL4
Efficient memory access is critical for computing systems, yet the CPU's management of data transfers can create bottlenecks. To counter this, most advanced high-throughput systems utilize Direct Memory Access (DMA) controllers, where peripherals (such as network interfaces and USB devices) can …
-
TRUSTED RUNTIME ENVIRONMENTS FOR EMBEDDED SYSTEMS: FROM MEMORY PROTECTION TO SECURE VIRTUALIZATION
… constrained by limited computational and memory resources. This thesis addresses these challenges by proposing lightweight, scalable mechanisms for runtime memory protection and secure execution, with an emphasis on minimizing device overhead through remote verification. To strengthen …
-
Protection in commodity monolithic operating systems
… operating systems by ""nesting"" a small memory management protection domain inside a monolithic kernel's single-address space: all the while allowing both domains to operate at the same hardware privilege level. This dissertation also demonstrates a microarchitectural return-integrity …
-
Static analysis for architecture-implementation conformance in robust embedded systems
… In particular, we verify two key properties: (a) memory isolation and (b) safe value propagation paths from non-core to core components communicating using shared memory, safe exchange of data between components of different criticalities through run-time monitoring. Our solution combines language …
-
Secure and Efficient In-Process Monitor and Multi-Variant Execution
… monitor protection system utilizing Intel Memory Protection Keys (MPK) to enforce execute-only memory, combined with code randomization and runtime binary patching to effectively protect and hide in-process monitors. Next, we introduce L-MVX, a flexible lightweight Multi-Variant Execution …
-
Cache-based side channels: Modern attacks and defenses
… information leakage and the violation of memory isolation policy. Specifically, in transient execution attacks, speculative execution causes the execution of instructions on incorrect paths. Such instructions potentially access secret, leaving side effects on the cache hierarchies before …