Strategies for protecting intellectual property when using CUDA applications on graphics processing units

Recent advances in the massively parallel computational abilities of graphical processing units (GPUs) have increased their use for general purpose computation, as companies look to take advantage of big data processing techniques. This has given rise to the potential for malicious software targeting GPUs, which is of interest to forensic investigators examining the operation of software. The ability to carry out reverse-engineering of software is of great importance within the security and forensics elds, particularly when investigating malicious software or carrying out forensic analysis following a successful security breach. Due to the complexity of the Nvidia CUDA (Compute Uni ed Device Architecture) framework, it is not clear how best to approach the reverse engineering of a piece of CUDA software. We carry out a review of the di erent binary output formats which may be encountered from the CUDA compiler, and their implications on reverse engineering. We then demonstrate the process of carrying out disassembly of an example CUDA application, to establish the various techniques available to forensic investigators carrying out black-box disassembly and reverse engineering of CUDA binaries. We show that the Nvidia compiler, using default settings, leaks useful information. Finally, we demonstrate techniques to better protect intellectual property in CUDA algorithm implementations from reverse engineering

Testing a Simplified Version of Einstein's Equations for Numerical Relativity

Solving dynamical problems in general relativity requires the full machinery of numerical relativity. Wilson has proposed a simpler but approximate scheme for systems near equilibrium, like binary neutron stars. We test the scheme on isolated, rapidly rotating, relativistic stars. Since these objects are in equilibrium, it is crucial that the approximation work well if we are to believe its predictions for more complicated systems like binaries. Our results are very encouraging.Comment: 9 pages (RevTeX 3.0 with 6 uuencoded figures), CRSR-107

Graphic simualtion test bed for robotics applications in a workstation environment

Graphical simulation is a cost-effective solution for developing and testing robots and their control systems. The availability of various high-performance workstations makes these systems feasible. Simulation offers preliminary testing of systems before their actual realizations, and it provides a framework for developing new control and planning algorithms. On the other hand, these simulation systems have to have the capability of incorporating various knowledge-based system components, e.g., task planners, representation formalisms, etc. They also should have an appropriate user interface, which makes possible the creation and control of simulation models. ROBOSIM was developed jointly by MSFC and Vanderbilt University, first in a VAX environment. Recently, the system has been ported to an HP-9000 workstation equipped with an SRX graphics accelerator. The user interface of the system now contains a menu- and icon-based facility, as well as the original ROBOSIM language. The system is also coupled to a symbolic computing system based on Common Lisp, where knowledge-based functionalities are implemented. The knowledge-based layer uses various representation and reasoning facilities for programming and testing the control systems of robots

Pareto optimality in multilayer network growth

We model the formation of multi-layer transportation networks as a multi-objective optimization process, where service providers compete for passengers, and the creation of routes is determined by a multi-objective cost function encoding a trade-off between efficiency and competition. The resulting model reproduces well real-world systems as diverse as airplane, train and bus networks, thus suggesting that such systems are indeed compatible with the proposed local optimization mechanisms. In the specific case of airline transportation systems, we show that the networks of routes operated by each company are placed very close to the theoretical Pareto front in the efficiency-competition plane, and that most of the largest carriers of a continent belong to the corresponding Pareto front. Our results shed light on the fundamental role played by multi-objective optimization principles in shaping the structure of large-scale multilayer transportation systems, and provide novel insights to service providers on the strategies for the smart selection of novel routes

The Star Formation History of LGS 3

We have determined the distance and star formation history of the Local Group dwarf galaxy LGS 3 from deep Hubble Space Telescope WFPC2 observations. LGS 3 is intriguing because ground-based observations showed that, while its stellar population is dominated by old, metal-poor stars, there is a handful of young, blue stars. Also, the presence of HI gas makes this a possible ``transition object'' between dwarf spheroidal and dwarf irregular galaxies. The HST data are deep enough to detect the horizontal branch and young main sequence for the first time. A new distance of D=620+/-20 kpc has been measured from the positions of the TRGB, the red clump, and the horizontal branch. The mean metallicity of the stars older than 8 Gyr is Fe/H = -1.5 +/- 0.3. The most recent generation of stars has Fe/H ~ -1. For the first few Gyr the global star formation rate was several times higher than the historical average and has been fairly constant since then. However, we do see significant changes in stellar populations and star formation history with radial position in the galaxy. Most of the young stars are found in the central 63 pc (21''), where the star formation rate has been relatively constant, while the outer parts have had a declining star formation rate.Comment: To appear in The Astrophysical Journal, 26 pages, 14 figures, uses AASTe

Ecological Effects of Fear: How Spatiotemporal Heterogeneity in Predation Risk Influences Mule Deer Access to Forage in a Sky‐Island System

Forage availability and predation risk interact to affect habitat use of ungulates across many biomes. Within sky‐island habitats of the Mojave Desert, increased availability of diverse forage and cover may provide ungulates with unique opportunities to extend nutrient uptake and/or to mitigate predation risk. We addressed whether habitat use and foraging patterns of female mule deer (Odocoileus hemionus) responded to normalized difference vegetation index (NDVI), NDVI rate of change (green‐up), or the occurrence of cougars (Puma concolor). Female mule deer used available green‐up primarily in spring, although growing vegetation was available during other seasons. Mule deer and cougar shared similar habitat all year, and our models indicated cougars had a consistent, negative effect on mule deer access to growing vegetation, particularly in summer when cougar occurrence became concentrated at higher elevations. A seemingly late parturition date coincided with diminishing NDVI during the lactation period. Sky‐island populations, rarely studied, provide the opportunity to determine how mule deer respond to growing foliage along steep elevation and vegetation gradients when trapped with their predators and seasonally limited by aridity. Our findings indicate that fear of predation may restrict access to the forage resources found in sky islands

Reduction of Two-Dimensional Dilute Ising Spin Glasses

The recently proposed reduction method is applied to the Edwards-Anderson model on bond-diluted square lattices. This allows, in combination with a graph-theoretical matching algorithm, to calculate numerically exact ground states of large systems. Low-temperature domain-wall excitations are studied to determine the stiffness exponent y_2. A value of y_2=-0.281(3) is found, consistent with previous results obtained on undiluted lattices. This comparison demonstrates the validity of the reduction method for bond-diluted spin systems and provides strong support for similar studies proclaiming accurate results for stiffness exponents in dimensions d=3,...,7.Comment: 7 pages, RevTex4, 6 ps-figures included, for related information, see http://www.physics.emory.edu/faculty/boettcher

Reducing weight and increasing physical activity in people at high risk of cardiovascular disease: a randomised controlled trial comparing the effectiveness of enhanced motivational interviewing intervention with usual care.

OBJECTIVE: The epidemic of obesity is contributing to the increasing prevalence of people at high risk of cardiovascular disease (CVD), negating the medical advances in reducing CVD mortality. We compared the clinical and cost-effectiveness of an intensive lifestyle intervention consisting of enhanced motivational interviewing in reducing weight and increasing physical activity for patients at high risk of CVD. METHODS: A three-arm, single-blind, parallel-group randomised controlled trial was conducted in consenting primary care centres in south London. We recruited patients aged 40-74 years with a QRisk2 score ≥20.0%, which indicates the probability of having a CVD event in the next 10 years. The intervention was enhanced motivational interviewing which included additional behaviour change techniques and was delivered by health trainers in 10 sessions over 1 year, in either group (n=697) or individual (n=523) format. The third arm received usual care (UC; n=522). The primary outcomes were physical activity (mean steps/day) and weight (kg). Secondary outcomes were changes in low-density lipoprotein cholesterol and CVD risk score. We estimated the relative cost-effectiveness of each intervention. RESULTS: At 24 months, the group and individual interventions were not more effective than UC in increasing physical activity (mean difference=70.05 steps, 95% CI -288.00 to 147.90 and mean difference=7.24 steps, 95% CI -224.01 to 238.50, respectively), reducing weight (mean difference=-0.03 kg, 95% CI -0.49 to 0.44 and mean difference=-0.42 kg, 95% CI -0.93 to 0.09, respectively) or improving any secondary outcomes. The group and individual interventions were not cost-effective at conventional thresholds. CONCLUSIONS: Enhancing motivational interviewing with additional behaviour change techniques was not effective in reducing weight or increasing physical activity in those at high CVD risk

Compound-specific Carbon Isotope Compositions of Aldehydes and Ketones in the Murchison Meteorite

Compoundspecific carbon isotope analysis (13C) of meteoritic organic compounds can be used to elucidate the abiotic chemical reactions involved in their synthesis. The soluble organic content of the Murchison carbonaceous chondrite has been extensively investigated over the years, with a focus on the origins of amino acids and the potential role of Streckercyanohydrin synthesis in the early solar system. Previous 13C investigations have targeted amino acid and hydroxy acid Strecker products and reactant HCN; however, 13C values for meteoritic aldehydes and ketones (Strecker precursors) have not yet been reported. As such, the distribution of aldehydes and ketones in the cosmos and their role in prebiotic reactions have not been fully investigated. Here, we have applied an optimized O(2,3,4,5,6pentafluorobenzyl)hydroxylamine (PFBHA) derivatization procedure to the extraction, identification, and 13C analysis of carbonyl compounds in the Murchison meteorite. A suite of aldehydes and ketones, dominated by acetaldehyde, propionaldehyde, and acetone, were detected in the sample. 13C values, ranging from 10.0 to +66.4, were more 13Cdepleted than would be expected for aldehydes and ketones derived from the interstellar medium, based on interstellar 12C/13C ratios. These relatively 13Cdepleted values suggest that chemical processes taking place in asteroid parent bodies (e.g., oxidation of the IOM) may provide a secondary source of aldehydes and ketones in the solar system. Comparisons between 13C compositions of meteoritic aldehydes and ketones and other organic compound classes were used to evaluate potential structural relationships and associated reactions, including Strecker synthesis and alterationdriven chemical pathways