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 30 for “"Trusted Computing"”.
-
A commodity trusted computing module
The Trusted Execution Module (TEM) is a high-level specification for a commodity chip that can execute user-supplied procedures in a trusted environment. The TEM draws inspiration from the Trusted Platform Module (TPM), the first security-related hardware that has gained massive adoption in the PC …
-
On Reducing the Trusted Computing Base in Binary Verification
… calls for high reliability of the underlying trusted computing base (TCB) of the translation methodology. A key challenge is to reduce the TCB by validating its soundness. Both the definition of soundness and the validation method heavily depend on the context: what is in the TCB and how to …
-
TSAFE : building a trusted computing base for air traffic control software
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2003.
-
Programming Language Foundations for Packet Processing
… that rely on SAT/SMT solvers for a compact trusted computing base.
-
Integrating TrustZone Protection with Communication Paths for Mobile Operating System
… mobile OSes are compromised. A technology called Trusted Execution Environment (TEE) has been introduced to protect sensitive data in the event of compromised OS and hypervisor.</p> <p>This dissertation points out the limitations of the current design model of mobile TEE, which has a low adoption …
-
Secure Configuration for Software Defined Radio
… terminal. For configuration attestation, we use trusted computing services to support a trusted configuration platform. We outline a secure boot sequence that allow an SDR terminal to ascertain its current configuration to a remote party in a robust manner.
-
Implementing Direct Anonymous Attestation on TPM 2.0
… retrieval and anonymous authentication and the Trusted Computing Group (TCG) has released a version 2.0 standard for Trusted Platform Modules (TPM). Adoption and implementation of these techniques, however, has been lacking. Although the TPM 2.0 specification was released in 2014 there are no …
-
Towards secure web browsing
… co-designed with a new browser that reduces the trusted computing base for web browsing. We demonstrate that by exposing browser-level abstractions directly at the lowest software layer -- the OS kernel -- we are able to remove almost all traditional OS components and services from our trusted …
-
Extending secure and trusted computation to FPGA accelerators
… and privacy has become stronger in cloud computing and heterogeneous systems. Several cloud and data centers have already started deploying Field Programmable Gate Arrays (FPGAs) as reconfigurable accelerators with high performance and energy efficiency. However, the current infrastructure …
-
Trust less : shrinking the trusted parts of trusted systems
… Considering these weaknesses, trust in modern computing systems is often not well-placed. Looking ahead to a shift in our collective priorities, this thesis is centered around a rigorous discussion of hardware-assisted isolation and enclaves -- authenticated software modules -- as a means to …
-
Implementing Secure Shared Memory for Side-Channel-Resistant Enclaves
With the rise in cloud computing, it has become more critical than ever for remote users to get strong security guarantees to secure sensitive computation they run on untrusted machines. Enclaves or Trusted Execution Environments (TEEs) are a powerful trusted computing primitive that can address …
-
Optimizing TEE Protection by Automatically Augmenting Requirements Specifications
… is commonly accomplished by isolating CPI in a trusted execution environment (TEE), with the isolated CPI becoming a trusted computing base (TCB). TEE protection incurs heavy performance costs, as TEE-based functionality is expensive to both invoke and execute. Despite these costs, projects that …
-
Architectural Support for Protecting Memory Integrity and Confidentiality
… model that will strength security of a computing system. The thesis proposes certain cryptographic and security features integrated into the general purpose processor and computing platform to protect confidentiality and integrity of digital content stored in a computing system's memory. …
-
Design and Implementation of a Network Server in LibrettOS
… the attack surface of the system because the trusted computing base contracts; (iii) enables failure recovery, which is an important feature supported by a multiserver OS. This thesis proposes a network server for LibrettOS, an operating system based on rumprun unikernels and the Xen …
-
Study of Physical Unclonable Functions at Low Voltage on FPGA
… authentication, cryptographic key generation and trusted computing. Moreover, FPGA evolving as an important platform for flexible logic circuit, present an attractive medium for PUF implementation to ensure its security. In this thesis, we explore the behavior of RO-PUF (Ring Oscillator Physical …
-
A synergistic reputation-policy based trust model for Grid resource selection
In the context of Grid computing, reputation-based trust management systems are playing an increasingly important role for supporting coordinated resource sharing and ensuring provision of quality of service. However, the existing Grid reputation-based trust management systems are considered …
-
Protection in commodity monolithic operating systems
… in current systems—while greatly reducing the trusted computing base—and demonstrate the value of these services by deploying three special data protection policies. Overall, the Nested Kernel Architecture demonstrates practical in-place protections that require only minor code modifications …
-
Protecting enclaves from side-channel attacks through physical isolation
… no surprise that security solutions like trusted execution environments (TEEs) have been introduced in many systems ranging from small embedded networking devices to large server racks. One of the main challenges of this ever growing functionality is keeping the trusted computing base …
-
Information flow control for secure web sites
… and audit, due to large and rapidly-changing trusted computing bases (TCBs). A promising approach to reducing TCBs for Web sites is decentralized information flow control (DIFC) [21, 69, 113]. DIFC allows the split of a Web application into two types of components: those inside the TCB …
-
Architecting Trust: Building Secure and High-Performance Confidential VMs
Recent research in TEE (Trusted Execution Environment) design have focused on the development of confidential VMs — virtual machines completely protected by secure hardware. All major CPU vendors have rolled out support for VM based TEEs — AMD created SEV (2017), Intel created TDX (2020), and ARM …
Page 1 of 2