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 43 for “"CHERI"”.
-
CHERI Compartmentalisation for Embedded Systems
… compartmentalisation model building on CHERI (a hardware capability architecture) to secure mainstream and complex embedded software systems. CompartOS is an automatic, linkage-based compartmentalisation model that isolates mutually distrusting linkage modules (e.g., third-party …
-
Toward transient-execution attack mitigations on CHERI
… Capability Hardware Enhanced RISC Instructions (CHERI) systems from transient-execution attacks. Transient-execution attacks shocked the computing world as they allow security mechanisms to be circumvented via seemingly safe performance-enhancing mechanisms. These attacks use misguided …
-
High-performance memory safety - Optimizing the CHERI capability machine
… capability machines and specifically for the CHERI architecture, a 64-bit MIPS instruction set extension for security, supporting fine-grained memory protection through hardware-enforced capabilities. The original CHERI model uses 256-bit capabilities to carry information required for various …
-
Verified security properties for the capability-enhanced CHERI-MIPS architecture
… escalate to serious security vulnerabilities. CHERI, the context of our work, is an ongoing research project that addresses the second problem with hardware support for fine-grained memory protection and scalable software compartmentalisation. CHERI achieves this by extending commodity hardware …
-
Complete spatial safety for C and C++ using CHERI capabilities
… promising mechanism to provide memory safety is CHERI (Capability Hardware Enhanced RISC Instructions), which extends existing processor architectures with capabilities that provide hardware-enforced checks for all accesses and can be used to prevent spatial memory violations. This dissertation …
-
Memory safety with CHERI capabilities: security analysis, language interpreters, and heap temporal safety
CHERI (Capability Hardware Enhanced RISC Instructions) is a promising research processor-architecture protection model that facilitates memory safety and fine-grained compartmentalization for software. The architecture has reached a mature state and been integrated into Arm’s industrial-scale …
-
Efficient spatial and temporal safety for microcontrollers and application-class processors
… Capability Hardware Enhanced RISC Instructions (CHERI) secure capabilities for RISC-V microarchitectures. This includes implementations for three different scales of core, including microcontrollers and the first open application of CHERI to a superscalar processor. Tradeoffs in developing the …
-
Capability Memory Protection for Embedded Systems
… safety issues in an embedded scenario. Previous CHERI capability research focuses on 64-bit architectures in UNIX operating systems, which does not translate to typical 32-bit embedded processors with low-latency and real-time requirements. I propose and implement the CHERI CC-64 encoding and the …
-
CheriOS: Designing an untrusted single-address-space capability operating system utilising capability hardware and a minimal hypervisor
… of a novel capability operating system: CheriOS. The guiding motivation behind CheriOS is to provide strong security guarantees to programmers, even allowing them to continue to program in fast, but typically unsafe, languages such as C. Furthermore, it does this in the presence of an …
-
From likes to lives: understanding social media influence on health decisions
The rise of social media platforms like TikTok and Instagram has transformed how individuals seek, share, and evaluate health-related information. This research examines the persuasive impact of TikTok videos on decision-making regarding elective—but potentially risky—medical procedures such as …
-
From surviving to thriving: strategies to navigate postgraduate education for academic womxn of colour in the design field in South Africa
Pursuing postgraduate studies is often regarded as a significant achievement, particularly for historically marginalised racial groups in South Africa, such as the Coloured community. However, the struggles encountered by womxn of colour during their postgraduate studies remain underexplored. This …
-
A Multi-Prong Fall Awareness Program to Reduce the Occurrence of Falls in a Skilled Nursing Unit
<p>Abstract</p> <p>A multi-prong falls awareness program to reduce the occurrence of falls in a skilled nursing unit</p> <p><strong>Keywords: </strong>Fall awareness program, skilled nursing unit, fall rate</p> <p>The project goal was to reduce the patient fall rate by 20% by implementing a fall …
-
The Proposed Implementation Of Proficiency-Based Diplomas Within The Larger Context Of Educational Transformation In Maine
<p>The transformation from an industrialized age model to a student-centered, standards-based model has received various reactions from a multitude of stakeholders. In May 2012, the 125th Maine Legislature passed into law LD 1422, <em>An Act to Prepare Maine People for the Future Economy</em>. This …
-
Coupling academia and civic responsibility: impact of incorporating service-learning into selected courses
The demand on universities across America to produce civic-minded students is ever increasing. These demands are necessary to answer the constantly evolving needs of society due to advancing technology, the economy, war, politics, and social media. Volunteerism and community engagement can offer …
-
Creation of a care coordination tool to streamline care for children with complex medical care needs
Children with complex medical care needs require extensive resources, and their families face significant challenges in coordinating care, managing insurance, and integrating various care plans. Pediatric Palliative Care has proven effective in filling gaps in care coordination, but access to …
-
Effective Technology Use in Skill-Based Mathematics Instruction: Fourth through Eighth Grades
<p>In the United States today, there is a great deal of concern over achieving grade level standards and improving standardized test scores. Educational technology is one of the primary focuses of many educational policy reforms designed to improve student outcomes and reach state and federal …
-
Racial Identity Attitudes as Predictors of Cognitive Correlates of Social anxiety in African Americans
The relationship between racial identity attitudes derived from Crossis (1978) theory of Racial Identity Development, the cognitive correlates of social anxiety, and indices of psychological functioning were explored. Subjects were 101 African American college students. Preencounter, Encounter and …
-
Ecosystemic determinants of and Predictive Relations to Racial Identity
This investigation examined the role that racial concordance, defined as the percentage of African Americans in one's environment, play in the relation between racial socialization and racial identity. African American (n=-160) students evaluated their perception of parental socialization, racial …
Page 1 of 3