SlowFuzz: Automated Domain-Independent Detection of Algorithmic Complexity Vulnerabilities

Algorithmic complexity vulnerabilities occur when the worst-case time/space complexity of an application is significantly higher than the respective average case for particular user-controlled inputs. When such conditions are met, an attacker can launch Denial-of-Service attacks against a vulnerable application by providing inputs that trigger the worst-case behavior. Such attacks have been known to have serious effects on production systems, take down entire websites, or lead to bypasses of Web Application Firewalls. Unfortunately, existing detection mechanisms for algorithmic complexity vulnerabilities are domain-specific and often require significant manual effort. In this paper, we design, implement, and evaluate SlowFuzz, a domain-independent framework for automatically finding algorithmic complexity vulnerabilities. SlowFuzz automatically finds inputs that trigger worst-case algorithmic behavior in the tested binary. SlowFuzz uses resource-usage-guided evolutionary search techniques to automatically find inputs that maximize computational resource utilization for a given application.Comment: ACM CCS '17, October 30-November 3, 2017, Dallas, TX, US

Evolutionary neurocontrol: A novel method for low-thrust gravity-assist trajectory optimization

This article discusses evolutionary neurocontrol, a novel method for low-thrust gravity-assist trajectory optimization

Trajectory generation for road vehicle obstacle avoidance using convex optimization

This paper presents a method for trajectory generation using convex optimization to find a feasible, obstacle-free path for a road vehicle. Consideration of vehicle rotation is shown to be necessary if the trajectory is to avoid obstacles specified in a fixed Earth axis system. The paper establishes that, despite the presence of significant non-linearities, it is possible to articulate the obstacle avoidance problem in a tractable convex form using multiple optimization passes. Finally, it is shown by simulation that an optimal trajectory that accounts for the vehicle’s changing velocity throughout the manoeuvre is superior to a previous analytical method that assumes constant speed

Exploratory Environmental Tests of Several Heat Shields

Exploratory tests have been conducted with several conceptual radiative heat shields of composite construction. Measured transient temperature distributions were obtained for a graphite heat shield without insulation and with three types of insulating materials, and for a metal multipost heat shield, at surface temperatures of approximately 2,000 F and 1,450 F, respectively, by use of a radiant-heat facility. The graphite configurations suffered loss of surface material under repeated irradiation. Temperature distribution calculated for the metal heat shield by a numerical procedure was in good agreement with measured data. Environmental survival tests of the graphite heat shield without insulation, an insulated multipost heat shield, and a stainless-steel-tile heat shield were made at temperatures of 2,000 F and dynamic pressures of approximately 6,000 lb/sq ft, provided by an ethylene-heated jet operating at a Mach number of 2.0 and sea-level conditions. The graphite heat shield survived the simulated aerodynamic heating and pressure loading. A problem area exists in the design and materials for heat-resistant fasteners between the graphite shield and the base structure. The insulated multipost heat shield was found to be superior to the stainless-steel-tile heat shield in retarding heat flow. Over-lapped face-plate joints and surface smoothness of the insulated multi- post heat shield were not adversely affected by the test environment. The graphite heat shield without insulation survived tests made in the acoustic environment of a large air jet. This acoustic environment is random in frequency and has an overall noise level of 160 decibels

Evolution of the Australian lithosphere

The evolution of the Australian plate can be interpreted in a plate-tectonic paradigm in which lithospheric growth occurred via vertical and horizontal accretion. The lithospheric roots of Archaean lithosphere developed contemporaneously with the overlying crust. Vertical accretion of the Archaean lithosphere is probably related to the arrival of large plumes, although horizontal lithospheric accretion was also important to crustal growth. The Proterozoic was an era of major crustal growth in which the components of the North Australian, West Australian and South Australian cratons were formed and amalgamated during a series of accretionary events and continent-continent collisions, interspersed with periods of lithospheric extension. During Phanerozoic accretionary tectonism, approximately 30% of the Australian crust was added to the eastern margin of the continent in a predominantly suprasubduction environment. Widespread plume-driven rifting during the breakup of Gondwana may have contributed to the destruction of Archaean lithospheric roots (as a result of lithospheric stretching). However, lithospheric growth occurred at the same time due to mafic underplating along the eastern margin of the plate. Northward drift of Australia during the Tertiary led to the development of a complex accretionary margin at the leading edge of the plate (Papua New Guinea)

Lattice Kinetics of Diffusion-Limited Coalescence and Annihilation with Sources

We study the 1D kinetics of diffusion-limited coalescence and annihilation with back reactions and different kinds of particle input. By considering the changes in occupation and parity of a given interval, we derive sets of hierarchical equations from which exact expressions for the lattice coverage and the particle concentration can be obtained. We compare the mean-field approximation and the continuum approximation to the exact solutions and we discuss their regime of validity.Comment: 24 pages and 3 eps figures, Revtex, accepted for publication in J. Phys.