Enforcing Integrity Models Through Hardware-Software Cohesive Systems
সংরক্ষণ করুন:
| প্রকাশিত: | ProQuest Dissertations and Theses (2024) |
|---|---|
| প্রধান লেখক: | |
| প্রকাশিত: |
ProQuest Dissertations & Theses
|
| বিষয়গুলি: | |
| অনলাইন ব্যবহার করুন: | Citation/Abstract Full Text - PDF |
| ট্যাগগুলো: |
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
MARC
| LEADER | 00000nab a2200000uu 4500 | ||
|---|---|---|---|
| 001 | 3102396962 | ||
| 003 | UK-CbPIL | ||
| 020 | |a 9798384074083 | ||
| 035 | |a 3102396962 | ||
| 045 | 2 | |b d20240101 |b d20241231 | |
| 084 | |a 66569 |2 nlm | ||
| 100 | 1 | |a Cole, Matthew | |
| 245 | 1 | |a Enforcing Integrity Models Through Hardware-Software Cohesive Systems | |
| 260 | |b ProQuest Dissertations & Theses |c 2024 | ||
| 513 | |a Dissertation/Thesis | ||
| 520 | 3 | |a Integrity models are a principled defense mechanism that expresses a property of well-functioning software, then enforces that property continually at runtime. Unfortunately, these integrity models are often implemented in a way that compartmentalizes hardware from software. We present work that unifies the hardware and software in a single cohesive view where each half supports the whole. First, with Simplex, we show that existing hardware resources can be repurposed to support software-layer defenses without having onerous impacts on performance. Then, we present a new full-stack system named STAR that can be used to enforce a diverse body of integrity models through code and data tagging. We specifically discuss our associated compiler toolchain named Cogent, which is built on top of the widely used LLVM compiler and provides both inline code tagging and linkage-resolved data tagging. Next, we investigate how to optimize a label-based control-flow integrity scheme using a compiler such as Cogent, minimizing binary size increases while maximizing expressiveness of the integrity model. Finally, we propose Constable, a prototype compiler front-end that extends STAR for the IRn read- and write-limited data model by enforcing compile-time const qualifiers as run-time guarantees. | |
| 653 | |a Computer science | ||
| 653 | |a Computer engineering | ||
| 653 | |a Systems science | ||
| 773 | 0 | |t ProQuest Dissertations and Theses |g (2024) | |
| 786 | 0 | |d ProQuest |t ProQuest Dissertations & Theses Global | |
| 856 | 4 | 1 | |3 Citation/Abstract |u https://www.proquest.com/docview/3102396962/abstract/embedded/ZKJTFFSVAI7CB62C?source=fedsrch |
| 856 | 4 | 0 | |3 Full Text - PDF |u https://www.proquest.com/docview/3102396962/fulltextPDF/embedded/ZKJTFFSVAI7CB62C?source=fedsrch |