Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Vulnerability”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 55 records · Page 3

Investigating Formal Methods Tools and their Applicability for Hardware Vulnerability Remediation

Formal methods use mathematical logic and equations to prove that a system or code is secure. In this poster, I examine existing formal methods tools and their application for projects working to remediate vulnerabilities in hardware and hardware description language. This poster is focused on the tools ReWire and AutoGenILA and I hope to evaluate their benefits and weaknesses with the intention of creating an internal report on the application and weaknesses of existing formal methods tools and identifying gaps for future formal methods tool creation.

97 - MATHEMATICS AND COMPUTING↗

Hardware Aware Mitigation of Timing Side-Channel Vulnerabilities in Critical Infrastructure Software

Program runtime/timing attacks exploit variations in a program’s execution times to extract sensitive information from the program (e.g. encryption keys, sensitive variable data, intellectual property). State-of-the-art solutions to runtime sidechannel attacks attempt to balance the execution time of the sensitive code for different control flow paths to eliminate the timing leakage. However, during the mitigation process, most techniques do not consider the underlying hardware/device on which the target program is supposed to run on. This can lead to over-fixing (unnecessary extra operations), under-fixing (not solving the imbalance properly), and even failures. We propose DISARM, a joint hardware-software methodology (unlike any existing solution) for mitigating runtime side-channel vulnerabilities that utilizes timing values from real embedded devices to generate targeted software fixes. We implement DISARM to support C/C++/Java source codes and validate it across 22 standard benchmarks. DISARM outperforms state-of-the-art solutions such as PENDULUM and DifFuzzAR in terms of execution time overhead (up to −46%), code size overhead (up to −10%), and correctness (no failures) on five different embedded/edge devices.

Suha, Tasneem [University of Maine]↗

Sensitivity and vulnerability to summer heat extremes in major cities of the United States

Many cities are experiencing increases in extreme heat because of global temperature rise combined with the urban heat island effect. The heterogeneity of urban morphology also leads to fine-scale variability in potential for heat exposure. Yet, how this rise in temperature and local variability together impacts urban residents differently at exposure-relevant scales is still not clear. Here we map the Universal Thermal Climate Index, a more complete indicator of human heat stress at an unprecedentedly fine spatial resolution (1 m), for 14 major cities in the United States using urban microclimate modeling. We examined the different heat exposure levels across different socioeconomic and racial/ethnic groups in these cities, finding that income level is most consistently associated with heat stress. We further conducted scenario simulations for a hypothetical 1 °C increase of air temperature in all cities. Results show that a 1 °C increase would have a substantial impact on human heat stress, with impacts that differ across cities. The results of this study can help us better evaluate the impact of extreme heat on urban residents at decision-relevant scales.

54 ENVIRONMENTAL SCIENCES↗

Exploring Water System Vulnerabilities in California's Central Valley Under the Late Renaissance Megadrought and Climate Change

Abstract California faces cycles of drought and flooding that are projected to intensify, but these extremes may impact water users across the state differently due to the region's natural hydroclimate variability and complex institutional framework governing water deliveries. To assess these risks, this study introduces a novel exploratory modeling framework informed by paleo and climate‐change based scenarios to better understand how impacts propagate through the Central Valley's complex water system. A stochastic weather generator, conditioned on tree‐ring data, produces a large ensemble of daily weather sequences conditioned on drought and flood conditions under the Late Renaissance Megadrought period (1550–1580 CE). Regional climate changes are applied to this weather data and drive hydrologic projections for the Sacramento, San Joaquin, and Tulare Basins. The resulting streamflow ensembles are used in an exploratory stress test using the California Food‐Energy‐Water System model, a highly resolved, daily model of water storage and conveyance throughout California's Central Valley. Results show that megadrought conditions lead to unprecedented reductions in inflows and storage at major California reservoirs. Both junior and senior water rights holders experience multi‐year periods of curtailed water deliveries and complete drawdowns of groundwater assets. When megadrought dynamics are combined with climate change, risks for unprecedented depletion of reservoir storage and sustained curtailment of water deliveries across multiple years increase. Asymmetries in risk emerge depending on water source, rights, and access to groundwater banks.

Gupta, Rohini S. [School of Civil and Environmenta↗

Deforestation Increases Vegetation Vulnerability to Drought Across Biomes

Land use and land cover changes have altered terrestrial ecosystem carbon storage, but their impacts on ecosystem sensitivity to drought and temperature fluctuations have not been evaluated spatially over the globe. We estimate drought and temperature sensitivities of ecosystems using vegetation greenness from satellite observations and vegetation biomass from dynamic global vegetation model (DGVM) simulations. Using a space-for-time substitution with satellite data, we first illustrate the effects of vegetation cover changes on drought and temperature sensitivity and compare them with the effects estimated from DGVMs. We also compare simulations forced by scenarios with and without land cover changes to estimate the historical land cover change effects. Satellite data and vegetation models both show that converting forests to grasslands results in a more negative or decreased positive sensitivity of vegetation greenness or biomass to drought. Significant variability exists among models for other types of land cover transitions. We identify substantial effects of historical land cover changes on drought sensitivity from model simulations with a generally positive direction globally. Deforestation can lead to either an increased negative sensitivity, as drought-tolerant forests are replaced by grasslands based on model ensemble mean, or a decreased negative sensitivity, since forests under current land cover are predicted to exhibit greater drought resistance compared to those under pre-industrial land cover. Overall, our findings emphasize the critical role of forests in maintaining ecosystem stability and resistance to drought and temperature fluctuations, thereby implying their importance in stabilizing the carbon stock under increasingly extreme climate conditions.

Xiao, Chenwei [Max Planck Institute for Biogeochem↗

Scaling Individual Tree Transpiration With Thermal Cameras Reveals Interspecies Differences to Drought Vulnerability

Abstract Understanding tree transpiration variability is vital for assessing ecosystem water‐use efficiency and forest health amid climate change, yet most landscape‐level measurements do not differentiate individual trees. Using canopy temperature data from thermal cameras, we estimated the transpiration rates of individual trees at Harvard Forest and Niwot Ridge. PT‐JPL model was used to derive latent heat flux from thermal images at the canopy‐level, showing strong agreement with tower measurements ( R 2 = 0.70–0.96 at Niwot, 0.59–0.78 at Harvard at half‐hourly to monthly scales) and daily RMSE of 33.5 W/m 2 (Niwot) and 52.8 W/m 2 (Harvard). Tree‐level analysis revealed species‐specific responses to drought, with lodgepole pine exhibiting greater tolerance than Engelmann spruce at Niwot and red oak showing heightened resistance than red maple at Harvard. These findings show how ecophysiological differences between species result in varying responses to drought and demonstrate that these responses can be characterized by deriving transpiration from crown temperature measurements.

Javadian, Mostafa↗

Mapping Critical Vulnerabilities in Natural Gas Pipeline Systems through Network Centrality and GIS Analytics

Natural gas plays a central role in the US energy landscape, providing 43% of electricity generation in 2023. Its exclusive recovery ability on pipelines for transmission underscores the importance of understanding the disruption recovery ability of this infrastructure. This study employs a network-based analytical framework integrating geographic information systems (GIS) with multiple centrality measures—betweenness, closeness, degree, and eigenvector—to pinpoint key segments and evaluate the structural robustness of the national pipeline network. Pipelines are grouped by System ID and Operator ID to capture variations across organizational and physical structures. The analysis reveals uneven patterns of network influence, where certain pipelines function as critical connectors or dominant hubs. Spatial mapping highlights geographic dependencies and potential chokepoints, offering a clear view of where targeted risk prevention measures would be most effective. The findings provide practical guidance for prioritizing maintenance, enhancing system robustness, and mitigating risks to ensure a stable and secure energy supply. Future research will expand the framework to incorporate dynamic operational data and real-time network behavior.

Peterson, Steven [ORNL] (ORCID:0000000287672998)↗

Destabilizing a Social Network Model via Intrinsic Feedback Vulnerabilities

Social influence plays a significant role in shaping individual sentiments and actions, particularly in a world of ubiquitous digital interconnection. The rapid development of generative artificial intelligence (AI) has given rise to well-founded concerns regarding the potential implementation of radicalization techniques in social media. Motivated by these developments, we present a case study investigating the effects of small but intentional perturbations on a simple social network. We employ Taylor's classic model of social influence and tools from robust control theory (most notably the Dynamical Structure Function (DSF)), to identify perturbations that qualitatively alter the system's behavior while remaining as unobtrusive as possible. We examine two such scenarios: perturbations to an existing link and perturbations that introduce a new link to the network. In each case, we identify destabilizing perturbations of minimal norm and simulate their effects. Remarkably, we find that small but targeted alterations to network structure may lead to the radicalization of all agents, exhibiting the potential for large-scale shifts in collective behavior to be triggered by comparatively minuscule adjustments in social influence. Given that this method of identifying perturbations that are innocuous yet destabilizing applies to any suitable dynamical system, our findings emphasize a need for similar analyses to be carried out on real systems (e.g., real social networks), to identify the places where such dynamics may already exist.

Rogers, Lane [ORNL]↗

Associations between hormone therapy use and tau accumulation in brain regions vulnerable to Alzheimer’s disease

Elucidating the downstream impact of exogenous hormones on the aging brain will have far-reaching consequences for understanding why Alzheimer’s disease (AD) predominates in women almost twofold over men. We tested the extent to which menopausal hormone therapy (HT) use is associated with later-life amyloid-β (Aβ) and tau accumulation using PET onN = 146 baseline clinically normal women, aged 51 to 89 years. Women were scanned over a 4.5-year (SD, 2.1; range, 1.3 to 10.4) and 3.5-year (SD, 1.5; range, 1.2 to 8.1) period for Aβ and tau, respectively, ~14 years after the initiation of HT. In older women (aged >70 years), HT users exhibited faster regional tau accumulation relative to non-users, localized to the entorhinal cortex and the inferior temporal and fusiform gyri, with an indirect effect of HT on cognitive decline through regional tau accumulation. In younger women (aged <70 years), HT associations with tau accumulation were negligible. Findings are relevant for optimizing menopausal treatment guidelines.

Science & Technology - Other Topics↗

Housing Unit Level Social Vulnerability Indices for 2010 and 2020

Housing unit level demographic characteristics for SETX counties. Census years 2010 and 2020. These data are in beta testing stage, designed for use with the SETX-UIFL project. Contact Nathanael Rosenheim (nrosenheim@arch.tamu.edu) for more information. Papers using these data should include Nathanael Rosenheim in the development phase and co-authorship discussions.

Rosenheim, Nathanael↗

Extreme heat vulnerability of manufactured housing in arid urban environments

This article explores the role of land cover in relation to housing type and tenure in shaping exposure to extreme urban heat, focusing on residents of mobile and manufactured housing (MH). We hypothesize that MH residents will experience greater exposure to extreme heat than those living in other housing types due to lower levels of proximate vegetation. This hypothesis is based on the unique property relations and tenure regimes that characterize MH, which may disincentivize investments in planting and maintaining trees and vegetation in arid environments. To test this hypothesis, we compare the amount of vegetation on properties across housing types, within-type tenure arrangements and between three urbanized areas in Arizona with different levels of exposure to extreme heat. To conduct this comparison, we combine multispectral land cover data for 1.7 million parcels with tax assessor data and building footprints to measure land cover at a high resolution. We find that MH units have significantly less vegetation than single-family residential properties, and that MH units in MH parks have less vegetation than those on individual lots. We conclude that municipalities should promote (e.g. through incentives or other policy interventions) the planting of more vegetation around MH units where there is a risk of extreme heat exposure. Future research can expand this analysis with a closer examination of how municipal ordinances and policies affect land cover by housing type and tenure.

heat↗

PLC Vulnerabilities and Mitigations

Programmable Logic Controllers (PLCs) are used extensively in many high-importance industrial and nonindustrial settings including controlling elevators, manufacturing machines, and utility facilities such as power and natural gas, however cybersecurity protection for them has been neglected. Within recent years, PLCs have been put under more security scrutiny and experts have advocated for changes from the addition of protocol encryption and network segmentation to intrusion detection systems on the PLCs themselves. While PLC security is critical, a large portion of the PLCs available today will never receive these changes due to being legacy or the difficulty of overhauling the security on existing systems. Due to the infeasibility of applying many recommended security measures towards currently available machines, we aim to provide realistic and affordable best practices for hardening PLCs. We will first conduct security analysis and consider attack vectors within our target PLC. Once we’ve analyzed the device’s security, we will evaluate a variety of mitigation methods and create guidelines to effectively reduce the threat posed by PLC attacks with minimal disruption to operations.

42 ENGINEERING↗