Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “fuzzing”

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 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
DOE OSTI2012

Leveraging Formal Methods and Fuzzing to Verify Security and Reliability Properties of Large-Scale High-Consequence Systems

Formal methods describe a class of system analysis techniques that seek to prove specific properties about analyzed designs, or locate flaws compromising those properties. As an analysis capability,these techniques are the subject of increased interest from both internal and external customers of Sandia National Laboratories. Given this lab's other areas of expertise, Sandia is uniquely positioned to advance the state-of-the-art with respect to several research and application areas within formal methods. This research project was a one-year effort funded by Sandia's CyberSecurity S&T Investment Area in its Laboratory Directed Research & Development program to investigate the opportunities for formal methods to impact Sandia's present mission areas, more fully understand the needs of the research community in the area of formal methods and where Sandia can contribute, and clarify from those potential research paths those that would best advance the mission-area interests of Sandia. The accomplishments from this project reinforce the utility of formal methods in Sandia, particularly in areas relevant to Cyber Security, and set the stage for continued Sandia investments to ensure this capabilityis utilized and advanced within this laboratory to serve the national interest.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2019

Program Fuzzing on High Performance Computing Resources

American Fuzzy Lop (AFL) is an evolutionary fuzzer that is strategically implemented as a tool for discovering bugs in software during vulnerability research. This work seeks to understand how to best implement AFL on the High-Performance Computing resources available on the unclassified network at Sandia National Laboratories. We investigate various methods of executing AFL, requesting varying numbers of tasks on single compute nodes with 36 physical cores and 72 total threads. A Python script called Blue Claw is presented as an automated testbed generator tool to assist in the tedious process of creating and executing experiments of any scale and duration.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2017

Impact of helium ion energy modulation on tungsten surface morphology and nano-tendril growth

Here, time-modulated helium (He) ion energy (e.g. V Bias = –50 + 25·sin(2πf RF · t), f RF =13.56 MHz) is demonstrated to strongly affect the development of tungsten (W) surface morphology that results from He plasma irradiation in the DIONISOS linear plasma experiment. Nano-tendril bundles (NTBs), which appear as isolated 'islands' of nano-tendrils, can rapidly grow on an otherwise smooth W surface. This is in contrast to previously seen full-surface coverage of nano-tendril growth known as 'fuzz'. When tall NTBs form, less than 15% of the surface contains nano-tendrils. The NTB surface coverage changes with growth conditions and the total volume of nano-tendrils in the NTBs is observed to be up to a factor of 16 larger than when fuzz is grown. This indicates that long-range W surface transport underlies nano-tendril formation. Surface temperature 870–1220K, the DC bias potential –30 to –70 V, and the ion flux density 4.4 x 10 21 –1.1 x 10 22 He · m –2 · s –1 are varied in the experiments. NTBs form at similar conditions as fuzz with the critical difference being the RF modulation of the ion energy bombarding the W, another indication of the importance of W surface transport. Mass loss measurements indicate net erosion with a yield of 1–8 x 10 –4 W/He when NTBs form; erosion that is not attributable to chemical or physical sputtering by He or impurities in the plasma. The erosion is correlated to the NTB growth, based on post-exposure inspection by electron microscopy indicating that NTBs are prone to loss from the surface. NTB growth is compared to the empirical growth-erosion model of fuzz, showing NTBs grow up to a factor of 100 times taller than the expected fuzz layer depth under DC bias conditions. Insights into nano-tendril growth provided by this new growth regime are discussed. Strategies to mitigate W fuzz growth may inadvertently result in rapid localized nano-tendril bundle growth with a higher probability of dust production.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2018

Impact of Helium Ion Energy Modulation on Tungsten Surface Morphology and Nano-Tendril Growth

Time-modulated helium (He) ion energy (e.g. V_Bias = -50 + 25*sin(2*pi*f_RF*t), f_RF = 13.56 MHz) is demonstrated to strongly affect the development of tungsten (W) surface morphology that results from He plasma irradiation in the DIONISOS linear plasma experiment. Nano-tendril bundles (NTBs), which appear as isolated “islands” of nano-tendrils, can rapidly grow on an otherwise smooth W surface. This is in contrast to previously seen full-surface coverage of nano-tendril growth known as “fuzz”. When tall NTBs form, less than 15% of the surface contains nano-tendrils. The NTB surface coverage changes with growth conditions and the total volume of nano-tendrils in the NTBs is observed to be up to a factor of 16 larger than when fuzz is grown. This indicates that long-range W surface transport underlies nano-tendril formation. Surface temperature 870–1220 K, the DC bias potential -30 to -70 V, and the ion flux density 4.4x10^21–1.1x10^22 He*m^-2*s^-1 are varied in the experiments. NTBs form at similar conditions as fuzz with the critical difference being the RF modulation of the ion energy bombarding the W, another indication of the importance of W surface transport. Mass loss measurements indicate net erosion with a yield of 1–8x10^-4 W/He when NTBs form; erosion that is not attributable to chemical or physical sputtering by He or impurities in the plasma. The erosion is correlated to the NTB growth, based on post-exposure inspection by electron microscopy indicating that NTBs are prone to loss from the surface. NTB growth is compared to the empirical growth-erosion model of fuzz, showing NTBs grow up to a factor of 100 times taller than the expected fuzz layer depth under DC bias conditions. Insights into nano-tendril growth provided by this new growth regime are discussed. Strategies to mitigate W fuzz growth may inadvertently result in rapid localized nano-tendril bundle growth with a higher probability of dust production.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗