Open Access. Powered by Scholars. Published by Universities.®
- Discipline
-
- Engineering (2028)
- Physical Sciences and Mathematics (544)
- Electrical and Computer Engineering (462)
- Social and Behavioral Sciences (389)
- Aerospace Engineering (367)
-
- Life Sciences (321)
- Mechanical Engineering (315)
- Civil and Environmental Engineering (314)
- Biomedical Engineering and Bioengineering (304)
- Computer Engineering (289)
- Computer Sciences (255)
- Arts and Humanities (222)
- Education (158)
- Electrical and Electronics (148)
- Medicine and Health Sciences (141)
- Materials Science and Engineering (133)
- Psychology (130)
- Environmental Engineering (128)
- Power and Energy (123)
- Business (122)
- History (121)
- Architecture (112)
- Civil Engineering (104)
- Chemistry (103)
- Biomedical Devices and Instrumentation (98)
- Aerodynamics and Fluid Mechanics (92)
- Artificial Intelligence and Robotics (90)
- Signal Processing (87)
- Other Computer Engineering (82)
- Biology (76)
- Institution
- Keyword
-
- Machine Learning (73)
- Machine learning (47)
- CubeSat (43)
- Optimization (37)
- Simulation (36)
-
- Education (35)
- Computer engineering (32)
- Biomechanics (29)
- Deep Learning (29)
- Computer Vision (28)
- Virginia (27)
- Microfluidics (26)
- Electrical engineering (25)
- Psychology (25)
- CFD (24)
- FEA (24)
- Finite Element Analysis (23)
- Modeling (22)
- History (21)
- Climate change (20)
- Robotics (20)
- Additive Manufacturing (19)
- College of Performing and Visual Arts (19)
- Composites (19)
- Engineering (19)
- Aerodynamics (18)
- Artificial Intelligence (18)
- Security (18)
- Sustainability (18)
- UAV (18)
- Publication Year
- Publication Type
- File Type
Articles 571 - 600 of 5234
Full-Text Articles in Entire DC Network
A Hardware-In-The-Loop Star Tracker Test Bed, Ashley Haraguchi
A Hardware-In-The-Loop Star Tracker Test Bed, Ashley Haraguchi
Master's Theses
As the use of small satellites for advanced space missions continues to grow, the importance of low mass and cost three-axis attitude stabilization systems increases as well, with these systems requiring high accuracy attitude knowledge. Star trackers provide the most accurate attitude knowledge of any type of attitude sensor, but the high cost, size, and weight of commercial star trackers can be prohibitive to small satellite missions. Many simple star trackers have been developed using commercial off-the-shelf camera sensors and processing hardware, but the challenge remains in testing and characterizing these devices. A common solution is night sky tests, in …
Power Flow Modeling And Analysis Of A Green Seaport Power System, Alejandra Zapata
Power Flow Modeling And Analysis Of A Green Seaport Power System, Alejandra Zapata
Master's Theses
Indonesia has committed to achieving Net-Zero emissions by 2060, signaling a significant shift towards sustainability, which includes impactful initiatives such as the implementation of Green Seaports. This thesis focuses on designing and developing a model for a proposed Green Seaport power system and the subsequent performance of power flow analysis under various operating conditions. The model, constructed using MATLAB Simulink, underwent extensive testing and analysis, with a specific emphasis on the Battery Energy Storage System (BESS) operating modes, including individual charging, discharging, and simultaneous charging and discharging. This comprehensive investigation and analysis, involving 62 separate simulations, evaluated the impact of …
A Study On Privacy Over Security And Privacy Enhancing Networks, Everett Lee Conway
A Study On Privacy Over Security And Privacy Enhancing Networks, Everett Lee Conway
Master's Theses
With rapid developments in communication technologies and awareness of security and privacy risks online, Security and Privacy Enhancing Networks (SPENs) have become increasingly popular. Especially during the COVID-19 pandemic, workplaces encouraged employees to take additional security measures, such as VPNs. In this work, we conduct a comprehensive study on website fingerprinting attacks. A comprehensive system model and threat model based on two types of SPENs (Virtual Private Networks and Tor Networks) are presented. Moreover, we demonstrate a website fingerprinting attack by ethically collecting website fetch data and analyzing the collected data using five different machine learning classification models including k …
San Luis Obispo In A Box: Damage Accumulation And Combined Stressor Matching In Accelerated Uv Testing, Cameron N. Causey
San Luis Obispo In A Box: Damage Accumulation And Combined Stressor Matching In Accelerated Uv Testing, Cameron N. Causey
Master's Theses
The goal of service life prediction is to accurately predict the useful lifetime of a coating system in a typical service environment. Field testing is the most true-to-life form of service life testing but requires long exposure times, often not quick enough to readily aid redesign in the product development cycle. As an alternative, accelerated weathering chambers are used to speed up coating failure in a laboratory setting. These devices do indeed accelerate failure but often produce failure modes that are not seen in actual service or produce material rankings that are not reproducible. This work explores the principle of …
Sustaining Sustainable Farming: An Evaluation Of The Reasoned Action And Comprehensive Action Determination Frameworks For Persistence, Jet J. Tan
Master's Theses
This paper investigates the persistence of agricultural practices funded by the California Department of Food and Agriculture's Office of Environmental Farming and Innovation (CDFA OEFI). The central inquiry revolves around determining the most effective behavior model for analyzing persistence, comparing the Reasoned Action Approach (RAA), Comprehensive Action Determination Model (CADM), and CADM augmented with structural variables. The study's methodology integrates literature review, analysis of OEFI-funded practices, and statistical modeling to assess persistence levels. Contrary to existing literature, our findings reveal significantly higher levels of persistence than anticipated. Moreover, through model comparison, CADM augmented with political economic variables emerges as the …
An Investigation Into Teaching Sports Analytics, Josh Havstad
An Investigation Into Teaching Sports Analytics, Josh Havstad
Master's Theses
Sports analytics arrived in the mainstream media through the novel and film Moneyball. However, its origins date back to operations researchers following World War II. Often considered a subdiscipline of statistics, sports analytics draws from statistics but also includes concepts from data science, communication, and marketing. As a passionate fan of sports, I have pursued statistics in my undergraduate and graduate education with the dream of working in sports for my career. However, educational opportunities in sports analytics are limited nationwide, and more specifically, there is no educational opportunity at my university, California Polytechnic State University in San Luis …
A Comparative Study Of The Npm, Pypi, Maven, And Rubygems Open-Source Communities, Saurav Gupta
A Comparative Study Of The Npm, Pypi, Maven, And Rubygems Open-Source Communities, Saurav Gupta
Master's Theses
Open-source software (OSS) ecosystems, defined as environments composed of package managers and programming languages (e.g., NPM for JavaScript), are essential for software development and foster collaboration and innovation. Although their significance is acknowledged, understanding what makes OSS communities healthy and sustainable requires further exploration. This thesis quantitatively assesses the health of OSS projects and communities within the NPM, PyPI, Maven, and RubyGems ecosystems. We explore five research questions addressing project standards, community responsiveness, contribution distribution, contributor retention, and newcomer integration strategies. Our analysis shows varied documentation practices, insider engagement levels, and contribution patterns. Our findings highlight both strengths and different …
Design And Implementation Of A Vision-Based Deep-Learning Protocol For Kinematic Feature Extraction With Application To Stroke Rehabilitation, Juan Diego Luna Inga
Design And Implementation Of A Vision-Based Deep-Learning Protocol For Kinematic Feature Extraction With Application To Stroke Rehabilitation, Juan Diego Luna Inga
Master's Theses
Stroke is a leading cause of long-term disability, affecting thousands of individuals annually and significantly impairing their mobility, independence, and quality of life. Traditional methods for assessing motor impairments are often costly and invasive, creating substantial barriers to effective rehabilitation. This thesis explores the use of DeepLabCut (DLC), a deep-learning-based pose estimation tool, to extract clinically meaningful kinematic features from video data of stroke survivors with upper-extremity (UE) impairments.
To conduct this investigation, a specialized protocol was developed to tailor DLC for analyzing movements characteristic of UE impairments in stroke survivors. This protocol was validated through comparative analysis using peak …
The Effect Of Watts-Strogatz And Barabási-Albert Graphs On Memory Formation, Ethan Irick Wolfe
The Effect Of Watts-Strogatz And Barabási-Albert Graphs On Memory Formation, Ethan Irick Wolfe
Master's Theses
Understanding higher level cognitive processes is a central problem in neuroscience. The Neuroidal model provides a useful framework for posing these problems in a computer science context. There has been significant recent work trying to understand memory capacity in the Neuroidal model but this work was done assuming that the network of neurons was an Erdos-Renyi random graph. However the network of neurons in the brain has been shown to exhibit small-world properties, which are not present in Erdos-Renyi graphs. In this research we explore replacing Erdos-Renyi graphs with Watts-Strogatz and Barabasi-Albert graphs in order to more accurately model the …
Filter: Framework For Integrated Legislative Transparency And Exploratory Research, Kenny Lau
Filter: Framework For Integrated Legislative Transparency And Exploratory Research, Kenny Lau
Master's Theses
Digital Democracy, established at Cal Poly's Institute for Advanced Technology and Public Policy, initially provided users access to a distinctive dataset, including state legislative committee hearings, transcripts, videos, and more. However, the discontinuation of funding ended operations for the project and emphasized the need for a streamlined application independent of third-party dependencies and capable of offering real-time and organized access to the invaluable Digital Democracy dataset. We introduce FILTER, a cloud-hosted API designed for read access to the Digital Democracy dataset through twelve distinct endpoints. The system contains two databases: the Digital Democracy Database (DDDB) and the Digital Democracy Knowledge …
Automatic Mass Balancing Of A Spacecraft Attitude Dynamics Simulator With Six Sliding Masses, Amelia J. Gilman
Automatic Mass Balancing Of A Spacecraft Attitude Dynamics Simulator With Six Sliding Masses, Amelia J. Gilman
Master's Theses
The goal of this thesis is to investigate automatic mass balancing methods for spacecraft attitude dynamics simulators, create a hardware design for a mass balancing system, and assemble the hardware on the Cal Poly Spacecraft Attitude Dynamics Simulator (SADS). Spacecraft attitude dynamics simulators replicate the torque-free environment of space with ground-based hardware. The SADS is mounted on a spherical air bearing, and includes a pyramid of four reaction wheels. The air bearing allows frictionless, unbounded rotation about the vertical axis, and 30 degrees about the horizontal axes. The torque-free configuration of the SADS can be used to test spacecraft attitude …
Improving Aerospace System Robustness Integration Of Singular Value Decomposition And Network Centrality, Ricardo S. Contreras
Improving Aerospace System Robustness Integration Of Singular Value Decomposition And Network Centrality, Ricardo S. Contreras
Master's Theses
This thesis presents an approach to understanding and enhancing the robustness of aerospace systems through the integration of network analysis, Design Structure Matrix (DSM), Singular Value Decomposition (SVD), and robustness simulation techniques. This methodology called the Importance Hierarchy method, provides a comprehensive framework for decomposing the interactions of aerospace systems, focusing on identifying and evaluating critical components and interactions.
The Importance Hierarchy method was used to study the Autonomous Flight Termination Unit (AFTU) by analyzing its components and interdependencies. The AFTU was selected because it recently completed a Preliminary Design Review (PDR), and its design and operational functions were well-known. …
Harmonic Flow Modeling And Analysis Of A Green Hybrid Ac/Dc Seaport Power System, Krishan Kaushal Ram, Taufik, Helen Yu, Siddharth Vyas
Harmonic Flow Modeling And Analysis Of A Green Hybrid Ac/Dc Seaport Power System, Krishan Kaushal Ram, Taufik, Helen Yu, Siddharth Vyas
Master's Theses
This thesis aims to design and develop a model for a proposed Green Seaport power system and perform harmonic analysis. The model was developed using MATLAB Simulink and tests were performed by dividing the system into several Battery Energy Storage System (BESS) operating modes such as simultaneous charging and discharging, simultaneous charging, and simultaneous discharging. For each mode, BESS state of charge and other factors such as solar irradiance for the PV system, load levels and power factor were varied to observe the impact on system’s voltage Total Harmonic Distortion (THD) level and current Total Demand Distortion (TDD). 62 separate …
Generative Data Augmentation: Using Dcgan To Expand Training Datasets For Chest X-Ray Pneumonia Detection, Ryan D. Maier
Generative Data Augmentation: Using Dcgan To Expand Training Datasets For Chest X-Ray Pneumonia Detection, Ryan D. Maier
Master's Theses
Recent advancements in computer vision have demonstrated remarkable success in image classification tasks, particularly when provided with an ample supply of accurately labeled images for training. These techniques have also exhibited significant potential in revolutionizing computer-aided medical diagnosis by enabling the segmentation and classification of medical images, leveraging Convolutional Neural Networks (CNNs) and similar models. However, the integration of such technologies into clinical practice faces notable challenges. Chief among these is the obstacle of acquiring high-quality medical imaging data for training purposes. Patient privacy concerns often hinder researchers from accessing large datasets, while less common medical conditions pose additional hurdles …
Predicting Rheology Of Uv-Curable Nanoparticle Ink Components And Compositions For Inkjet Additive Manufacturing, Cameron D. Lutz
Predicting Rheology Of Uv-Curable Nanoparticle Ink Components And Compositions For Inkjet Additive Manufacturing, Cameron D. Lutz
Master's Theses
Inkjet additive manufacturing is the next step toward ubiquitous manufacturing by enabling multi-material printing that can exhibit various mechanical, electronic, and thermal properties. These characteristics are realized in the careful formulation of the inks and their functional materials, but there are many constraints that need to be satisfied to allow optimal jetting performance and build quality when used in an inkjet 3-D printer. Previous research has addressed the desirable rheology characteristics to enable stable drop formation and how the metallic nanoparticles affect the viscosity of inks. The contending goals of increasing nanoparticle-loading to improve material deposition rates while trying to …
Accessible Real-Time Eye-Gaze Tracking For Neurocognitive Health Assessments, A Multimodal Web-Based Approach, Daniel C. Tisdale
Accessible Real-Time Eye-Gaze Tracking For Neurocognitive Health Assessments, A Multimodal Web-Based Approach, Daniel C. Tisdale
Master's Theses
We introduce a novel integration of real-time, predictive eye-gaze tracking models into a multimodal dialogue system tailored for remote health assessments. This system is designed to be highly accessible requiring only a conventional webcam for video input along with minimal cursor interaction and utilizes engaging gaze-based tasks that can be performed directly in a web browser. We have crafted dynamic subsystems that capture high-quality data efficiently and maintain quality through instances of user attrition and incomplete calls. Additionally, these subsystems are designed with the foresight to allow for future re-analysis using improved predictive models, as well as enable the creation …
Causal Inference Using Bayesian Network For Search And Rescue, Amanda Belden
Causal Inference Using Bayesian Network For Search And Rescue, Amanda Belden
Master's Theses
People who are considered missing have much higher probabilities of being found dead compared to those who are not considered missing in terms of Search and Rescue (SAR) missions. Dementia patients are incredibly likely to be declared missing, and in fact after removing those with dementia the probability of the mission being regarded as missing person case is only about 10%. Additionally, those who go missing are much more likely to be on private land than on protected areas such as forests and parks. These and similar associations can be represented and investigated using a Bayesian network that has been …
Modeling The Effectiveness Of Bioremediation On Methyl Tertiary-Butyl Ether In Groundwater, Logan Bundy
Modeling The Effectiveness Of Bioremediation On Methyl Tertiary-Butyl Ether In Groundwater, Logan Bundy
Master's Theses
Methyl tertiary-butyl ether (MTBE) and its degraded form tertiary-butyl alcohol (TBA) are both known carcinogens that have contaminated groundwater aquifers across the United States. MTBE is a synthesized compound, once widely used as an additive in gasoline to increase oxygenation. Because of its popularity, MTBE was released into the environment primarily through fuel combustion and leaking underground storage tanks. These two compounds are known to be recalcitrant to most conventional physico-chemical treatment methods. Previous studies have suggested that bioremediation is effective at degrading MTBE and TBA in contaminated groundwater. Bioremediation involves the injection of oxygen, nutrients, and pre-adapted bacterial cultures …
Short Arc Initial Orbit Determination For Leo Objects And The Impact Of Observation Eelevation On Predictive Accuracy, Alexis Digregorio
Short Arc Initial Orbit Determination For Leo Objects And The Impact Of Observation Eelevation On Predictive Accuracy, Alexis Digregorio
Master's Theses
The expansion of space activities has led to an increase in congestion. With this increase, there has been a growing emphasis on the importance of space situational awareness. Without it, the space environment can become hazardous, with increasing threats of collision and debris generation. As the utilization of space continues to grow, effective methods for tracking objects to maintain situational awareness must also be considered. One approach to tracking objects in space involves a series of steps, including optical observations and orbit estimations using initial orbit determination methods, followed by additional observations and continuous tracking. However, a challenge with this …
Modeling The Acoustic Transmission Line With Applied Damping, Connor C. Getz
Modeling The Acoustic Transmission Line With Applied Damping, Connor C. Getz
Master's Theses
The transmission line is an underappreciated style of loudspeaker enclosure characterized by an acoustic labyrinth stemming from the rear of the speaker driver. In practice, the transmission line enclosure produces airy sound uncharacteristic of other styles, at the cost of more pronounced resonant peaks. The most important practical drawback of this loudspeaker enclosure design is the difficulty of properly applying damping to these enclosures. Ideally, this difficulty can be mitigated using an analytical model that accurately predicts the SPL frequency response of a transmission line loudspeaker system for a given geometry and mass of damping material.
This research takes the …
Sizing Wind Tunnel Heater For High Enthalpy Conditions, Justin M. Slavick
Sizing Wind Tunnel Heater For High Enthalpy Conditions, Justin M. Slavick
Master's Theses
This paper determines the feasibility of adding a heater to an existing blowdown supersonic wind tunnel to unlock new high-enthalpy test applications, considering cost and power requirements at a variety of different states. This process includes both modeling the current range of test section properties in Cal Poly's blowdown wind tunnel and determining the new range of properties that a heat exchanger could induce. These results are verified with a computational fluid dynamics study. Additionally, sublimation and ablation properties of materials are explored to create appropriate models to study atmospheric re-entry once the heat exchanger is implemented.
It is found …
Non-Linear Modeling Of Hysteresis In Piezoelectric Actuated Cantilever Beam Using The Bouc-Wen Model, Andrew Donald Maas
Non-Linear Modeling Of Hysteresis In Piezoelectric Actuated Cantilever Beam Using The Bouc-Wen Model, Andrew Donald Maas
Master's Theses
Piezoelectric actuators frequently exhibit a time-dependent behavioral phenomenon known as hysteresis, resulting in a lag in the deformation of the actuator compared to linear models. The presence of hysteresis complicates control systems involving piezoelectric actuators. However, traditional modeling methods for piezoelectric actuated smart structures often treat the piezoelectric patches as linear actuators without considering hysteresis, leading to suboptimal controller performance.
This thesis aims to establish a comprehensive model by integrating the Euler-Bernoulli beam bending model with the hysteresis dynamics induced by two opposing piezoelectric patches attached to a beam. A model expansion method is employed to transform the partial differential …
A User-Centric Continuous Authentication Modality Evaluation And Selection Scheme, Bharath R. Senthilkumar
A User-Centric Continuous Authentication Modality Evaluation And Selection Scheme, Bharath R. Senthilkumar
Master's Theses
One of one-time authentication’s most prominent vulnerabilities is the possibility of lunchtime attacks. In such scenarios, an adversary could exploit an unattended device with an active session and no measures are taken to prevent them from committing malicious acts. To address this issue, continuous authentication is utilized by continuously verifying whether an individual is a device’s rightful owner through various modalities, with data sourced from sensors. In the current body of research within this rising domain, various single-modal and multi-modal continuous authentication systems exist, that focus on employing unique combinations of modalities and improving existing supervised learning models used to …
Implementation And Efficiency Of Electric Motors In Lygus Bug Vacuums For Strawberries, Adam J. Rantz
Implementation And Efficiency Of Electric Motors In Lygus Bug Vacuums For Strawberries, Adam J. Rantz
Master's Theses
Further automation of the agricultural industry and an increase in organic fruit production are needed to address labor shortage and increased demand. The move to an autonomous bug vacuum is easier if the equipment is electric, and not powered by a tractor’s PTO (power take-off) shaft. The main objective of this project was to design a set of lygus bug vacuums to go on a robot that meets industry standards while using electric power instead of hydraulic. The frame of the vacuum was designed using the industry standard. While hydraulic systems have been a very effective power source for vacuums …
Design And Analysis Of A New Buck-Boost Converter With A Low-Side Switch, Abdullah Awidah
Design And Analysis Of A New Buck-Boost Converter With A Low-Side Switch, Abdullah Awidah
Master's Theses
This work explores the design, simulation, construction, and analysis of a novel Non-isolated DC-DC Buck-Boost converter which has the advantage of incorporating a low-side switch compared to the traditional buck-boost which requires a high-side switch. This allows the use of a low-side driver which further simplifies the design and operation of the converter. The proposed Buck-Boost converter was constructed to provide -24 V output from an input range of 12V-18V with 15V nominal input at 10W maximum output power utilizing 500kHz switching frequency. Findings from simulations and hardware tests verify that the converter effectively provides the desired -24 V output …
Feasibility And Characterization Of Leak-Tight Single-Track Thin Walls Produced By Laser Powder Bed Fusion In 316l Stainless Steel, Peyton J. Archibald
Feasibility And Characterization Of Leak-Tight Single-Track Thin Walls Produced By Laser Powder Bed Fusion In 316l Stainless Steel, Peyton J. Archibald
Master's Theses
This thesis explores the optimization of process parameters for producing single-track thin walls using Laser Powder Bed Fusion (LPBF) additive manufacturing. Using two different coupon designs, the study assesses the feasibility of creating the thinnest possible leak-tight structures within LPBF and evaluating their mechanical properties, including burst pressure and modulus of elasticity under pressure loads. A series of experimental iterations were conducted, varying laser power and laser speed to identify optimal conditions. The findings indicate that a narrow range of process parameters can produce consistently leak-tight thin walls. The results contribute to understanding how to achieve high quality, reliable thin …
Instant Hdr-Nerf: Fast Learning Of High Dynamic Range View Synthesis With Unknown Exposure Settings, Nam Nguyen
Instant Hdr-Nerf: Fast Learning Of High Dynamic Range View Synthesis With Unknown Exposure Settings, Nam Nguyen
Master's Theses
We propose Instant High Dynamic Range Neural Radiance Fields (Instant HDR-NeRF), a method of learning high dynamic range (HDR) view synthesis from a set of low dynamic range (LDR) views with unknown and varying exposure and white balance in as little as minutes. Our method can render novel HDR views without ground-truth supervision, and novel LDR views in different exposure settings, including those that match the ground-truth LDR views. The key to our method is to model the physical process of the camera with two implicit MLPs: a radiance field and a monotonically increasing tone-mapper. Built upon Instant Neural Graphics …
Anomaly Detection In Heterogeneous Iot Systems: Leveraging Symbolic Encoding Of Performance Metrics For Anomaly Classification, Maanav Patel
Anomaly Detection In Heterogeneous Iot Systems: Leveraging Symbolic Encoding Of Performance Metrics For Anomaly Classification, Maanav Patel
Master's Theses
Anomaly detection in Internet of Things (IoT) systems has become an increasingly popular field of research as the number of IoT devices proliferate year over year. Recent research often relies on machine learning algorithms to classify sensor readings directly. However, this approach leads to solutions being non-portable and unable to be applied to varying IoT platform infrastructure, as they are trained with sensor data specific to one configuration. Moreover, sensors generate varying amounts of non-standard data which complicates model training and limits generalization. This research focuses on addressing these problems in three ways a) the creation of an IoT Testbed …
Exploring The Feasibility Of The Resonance Corridor Method For Post Mission Disposal Of High-Leo Constellations, Payton G. Porter
Exploring The Feasibility Of The Resonance Corridor Method For Post Mission Disposal Of High-Leo Constellations, Payton G. Porter
Master's Theses
In the upcoming decade, the proliferation of high-LEO constellations is expected to exceed 20,000 objects, yet comprehensive Post Mission Disposal (PMD) strategies for these constellations are currently lacking. With the inherent challenges of efficiently deorbiting satellites from High-LEO orbits, there arises an urgent need to explore innovative approaches. Building upon insights garnered from the ReDSHIFT project and anticipating the proliferation of high-LEO constellations such as OneWeb, TeleSat, and GuoWang, this thesis delves into the potential viability of the Resonance Corridor Method for PMD. The investigation encompasses key metrics, including deorbit timelines and $\Delta v$ requirements to meet regulatory standards or …
A Federation Of Sentries: Secure And Efficient Trusted Hardware Element Communication, Blake A. Ward
A Federation Of Sentries: Secure And Efficient Trusted Hardware Element Communication, Blake A. Ward
Master's Theses
Previous work introduced TrustGuard, a design for a containment architecture that allows only the result of the correct execution of approved software to be outputted. A containment architecture prevents results from malicious hardware or software from being communicated externally. At the core of TrustGuard is a trusted, pluggable device that sits on the path between an untrusted processor and the outside world. This device, called the Sentry, is responsible for validating the correctness of all communication before it leaves the system. This thesis seeks to leverage the correctness guarantees that the Sentry provides to enable efficient secure communication between two …