An official website of the United States government
When OS and hypervisor are compromised, mobile devices currently provide a hardware protected mode called Trusted Execution Environment (TEE) to guarantee the confidentiality and integrity of the User Interface (UI). The present TEE UI solutions adopt a self-contained design model, which provides a fully functional UI stack in the TEE, but they fail to manage one critical design principle of TEE: a small Trusted Computing Base (TCB), which should be more easily verified in comparison to a rich OS. The TCB size of the self-contained model is large as a result of the size of an individual UI stack. To reduce the TCB size of the TEE UI solution, we proposed a novel TEE UI design model called delegation model. To be specific, our design reuses the majority of the rich OS UI stack. Unlike the existing UI solutions protecting 3-dimensional UI processing in the TEE, our design protects the UI solely as a 2-dimensional surface and thus reduces the TCB size. Our system, called TruZ-View, allows application developers to use the rich OS UI development environment to develop TEE UI with consistent UI looks across the TEE and the rich OS.We successfully implemented our design on HiKey board. Moreover, we developed several TEE UI use cases to protect the confidentiality and integrity of UI. We performed a thorough security analysis to prove the security of the delegation UI model. Our real-world application evaluation shows that developers can leverage our TEE UI with few changes to the existing app’s UI logic. CCS CONCEPTS
more »
« less
FabHacks: Transform Everyday Objects into Home Hacks Leveraging a Solver-aided DSL
Storage, organizing, and decorating are important aspects of home design. Buying commercial items for many of these tasks, this can be costly, and reuse is more sustainable. An alternative is a “home hack,” i.e., a functional assembly constructed from existing household items. However, coming up with such hacks requires combining objects to make a physically valid design, which might be difficult to test if they are large, require nailing or screwing to the wall, or if the designer has mobility limitations. We present a design and visualization system, FabHacks, for cre- ating workable functional assemblies. The system is based on a new solver-aided domain-specific language (S-DSL) called FabHaL. By analyzing existing home hacks shared online, we create a design abstraction for connecting household items using predefined con- nection types. We also provide a UI for designing hack assemblies that fulfill a given specification. FabHacks leverages a physics-based solver that finds the expected physical configuration of an assembly design. Our validation includes a user study with our UI, which shows that users can easily create assemblies and explore a range of designs.
more »
« less
- PAR ID:
- 10534117
- Publisher / Repository:
- ACM
- Date Published:
- ISBN:
- 9798400704963
- Page Range / eLocation ID:
- 1 to 16
- Format(s):
- Medium: X
- Location:
- Aarhus Denmark
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Homes constitute a large fraction of the total energy consumption. Producing an energy breakdown for a home has been shown to reduce household energy consumption by up to 15%, among other benefits. However, existing approaches to produce an energy breakdown require hardware to be installed in each home and are thus prohibitively expensive. In this paper, we propose a novel application of feature-based matrix factorisation that does not require any additional hardware installation. The basic premise of our approach is that common design and construction patterns for homes create a repeating structure in their energy data. Thus, a sparse basis can be used to represent energy data from a broad range of homes. We evaluate our approach on 516 homes from a publicly available data set and find it to be better than five baseline approaches that either require sensing in each home, or a very rigorous survey across a large number of homes coupled with complex modelling. We also present a deployment of our system as a live web application that can potentially provide energy breakdown to millions of homes.more » « less
-
PurposeFreezing extends the shelf life of food. Home freezing of fresh foods and the purchase of frozen foods have been advocated as approaches to reduce food waste in US households. This paper discusses how commonly US households apply these practices, quantifies frozen food waste and relates these practices to food waste. Design/methodology/approachWe add questions to the summer 2022 wave of the US Household Food Waste Tracking Survey. The novel survey data provide important baseline information and household behaviours, such as food waste, home freezing of fresh food and the purchase of frozen foods. We analyse the association among these behaviours from more than 1,000 US households. FindingsWe find that US household wastes about 26 g per person per week of food that was once frozen, which is about 6% of all household food waste. The finding indicates that a small portion of food waste in US households comes from frozen food. Vegetables and meats are the most commonly discarded frozen foods. Among the frozen items reported as discarded, about 30% were purchased as frozen rather than purchased fresh and then frozen at home by the consumer and about 30% more were reported as discarded from the refrigerator rather than directly from the freezer. The findings are important for informing strategies to reduce household food waste. Research limitations/implicationsWhile the data provide important baseline information and correlate the use of freezing with lower waste levels, more work is needed to understand if interventions encouraging frozen food purchase or home freezing would reduce household food waste. Originality/valueWe provide unique, detailed information about the quantity of frozen food waste in US households and the relationships between consumer food waste and the practices of frozen food purchasing and home freezing.more » « less
-
null (Ed.)Knitting is a popular craft that can be used to create customized fabric objects such as household items, clothing and toys. Additionally, many knitters fnd knitting to be a relaxing and calming exercise. Little is known about how disabled knitters use and beneft from knitting, and what accessibility solutions and challenges they create and encounter. We conducted interviews with 16 experienced, disabled knitters and analyzed 20 threads from six forums that discussed accessible knitting to identify how and why disabled knitters knit, and what accessibility concerns remain. We additionally conducted an iterative design case study developing knitting tools for a knitter who found existing solutions insufcient. Our innovations improved the range of stitches she could produce. We conclude by arguing for the importance of improving tools for both pattern generation and modifcation as well as adaptations or modifcations to existing tools such as looms to make it easier to track progressmore » « less
-
Abstract Nature‐inspired synthetic dissipative self‐assemblies have attracted much attention recently. However, it remains a major challenge to achieve precise control over dissipative supramolecular assembly structures and functions of self‐contained systems. Here we combine light and electricity as two clean, and spatiotemporally addressable fuels to provide precise control over the morphology for dissipative self‐assembly of a perylene bisimide glycine (PBIg) building block in a self‐contained solution. In this design, electrochemical oxidation provides the positive fuel to activate PBIg self‐assembly while photoreduction supplies the negative fuel to deactivate the system for disassembly. Through programming the two counteracting fuels, we demonstrated the control of PBIg self‐assembly into a variety of assembly morphologies in a self‐contained system. In addition, by exerting light and electrical dual fuels simultaneously, we could create an active homeostasis exhibiting dynamic instability, leading to morphological change to asymmetric assemblies with curvatures. Such precise control over self‐assembly of self‐contained systems may find future applications in programming complex active materials as well as formulating pharmaceutical reagents with desired morphologies.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Conference Paper:
- https://doi.org/10.1145/3639473.3665788
