Publications

Critical vulnerabilities continue to be discovered in the boot process of Android smartphones used around the world. The entire device's security is compromised if boot security is compromised, so any weakness presents undue risk to users. Vulnerabilities persist, in part, because independent security analysts lack access and appropriate tools. In response to this gap, we implemented a procedure for emulating the early phase of the Android boot process. This work demonstrated feasibility and utility of emulation in this space. By using HALucinator, we derived execution context and data flow, as well as incorporated peripheral hardware behavior. While smartphones with shared processors have substantial code overlap regardless of vendor, generational changes can have a significant impact. By applying our approach to older and modern devices, we learned interesting characteristics about the system. Such capabilities introduce new levels of introspection and operation understanding not previously available to mobile researchers.

Sandia National Laboratories in collaboration with the National Renewable Energy Laboratory outline a framework for developing a solar fuels roadmap based on novel concepts for hybridizing gas-splitting thermochemical cycle s with high-temperature electro chemical steps. We call this concept SoHyTEC, a Solar Hybrid Thermochemical-Electrochemical Cycle. The strategy focuses on transforming purely thermochemical cycles that split water (H₂O) and carbon dioxide (CO₂) to produce hydrogen (H 2 ) and carbon monoxide (CO) , respectively, the fundamental chemical building blocks for diverse fuels and chemicals , by substituting thermochemical reactions with high-temperature electrochemical steps. By invoking high-temperature electrochemistry, the energy required to complete the gas-splitting cycle is divided into a thermal component (process temperature) and an electrical component (applied voltage). These components, sourced from solar energy, are independently variable knobs to maximize overall process efficiency. Furthermore, a small applied voltage can reduce cycle process temperature by hundreds of degrees , opening the door to cost-effective solar concentrators and practical receiver/reactor de signs. Using the SoHyTEC concept as a backdrop, we outline a framework that advocates developing methods for automating information gathering, critically evaluating thermochemical cycles for adapting into SoHyTEC, establishing requirements based on thermodynamic analysis, and developing a model-based approach to benchmarking a SoHyTEC system against a baseline concentrating solar thermal integrated electrolysis plant. We feel these framework elements are a necessary precursor to creating a robust and adaptive technology development roadmap for producing solar fuels using SoHyTEC. In one example, we introduce high-temperature electrochemistry as a method to manipulate a fully stoichiometric two-step metal oxide cycle that circumvents costly separation processes and ultra-high cycle temperatures. We also identify and group water-splitting chemistries that are conceptually amenable to hybridization.

Abstract not provided.