On Ladder Logic Bombs in Industrial Control Systems

In industrial control systems, devices such as Programmable Logic Controllers (PLCs) are commonly used to directly interact with sensors and actuators, and perform local automatic control. PLCs run software on two different layers: a) firmware (i.e. the OS) and b) control logic (processing sensor readings to determine control actions). In this work, we discuss ladder logic bombs, i.e. malware written in ladder logic (or one of the other IEC 61131-3-compatible languages). Such malware would be inserted by an attacker into existing control logic on a PLC, and either persistently change the behavior, or wait for specific trigger signals to activate malicious behaviour. For example, the LLB could replace legitimate sensor readings with manipulated values. We see the concept of LLBs as a generalization of attacks such as the Stuxnet attack. We introduce LLBs on an abstract level, and then demonstrate several designs based on real PLC devices in our lab. In particular, we also focus on stealthy LLBs, i.e. LLBs that are hard to detect by human operators manually validating the program running in PLCs. In addition to introducing vulnerabilities on the logic layer, we also discuss countermeasures and we propose two detection techniques.Comment: 11 pages, 14 figures, 2 tables, 1 algorith

Light Dark Matter Detection Prospects at Neutrino Experiments

We consider the prospects for the detection of relatively light dark matter through direct annihilation to neutrinos. We specifically focus on the detection possibilities of water Cherenkov and liquid scintillator neutrino detection devices. We find in particular that liquid scintillator detectors may potentially provide excellent detection prospects for dark matter in the 4-10 GeV mass range. These experiments can provide excellent corroborative checks of the DAMA/LIBRA annual modulation signal, but may yield results for low mass dark matter in any case. We identify important tests of the ratio of electron to muon neutrino events (and neutrino versus anti-neutrino events), which discriminate against background atmospheric neutrinos. In addition, the fraction of events which arise from muon neutrinos or anti-neutrinos ($R_{\mu}$ and $R_{\bar \mu}$) can potentially yield information about the branching fractions of hypothetical dark matter annihilations into different neutrino flavors. These results apply to neutrinos from secondary and tertiary decays as well, but will suffer from decreased detectability.Comment: 13 pages, 2 figures, pdflatex, references, one figure and comments on electron neutrino bounds and on spin-dependent scattering limits added. Figures updated

Impact of changes in GRACE derived terrestrial water storage on vegetation growth in Eurasia

We use GRACE-derived terrestrial water storage (TWS) and ERA-interim air temperature, as proxy for available water and temperature constraints on vegetation productivity, inferred from MODIS satellite normalized difference vegetation index (NDVI), in Northern Eurasia during 2002–2011. We investigate how changes in TWS affect the correlation between NDVI and temperature during the non-frozen season. We find that vegetation growth exhibits significant spatial and temporal variability associated with varying trend in TWS and temperature. The largest NDVI gains occur over boreal forests associated with warming and wetting. The largest NDVI losses occur over grasslands in the Southwestern Ob associated with regional drying and cooling, with dominant constraint from TWS. Over grasslands and temperate forests in the Southeast Ob and South Yenisei, wetting and cooling lead to a dominant temperature constraint due to the relaxation of TWS constraints. Overall, we find significant monthly correlation of NDVI with TWS and temperature over 35% and 50% of the domain, respectively. These results indicate that water availability (TWS) plays a major role in modulating Eurasia vegetation response to temperature changes

The Potential Trajectory of Carbapenem-Resistant Enterobacteriaceae, an Emerging Threat to Health-Care Facilities, and the Impact of the Centers for Disease Control and Prevention Toolkit.

Carbapenem-resistant Enterobacteriaceae (CRE), a group of pathogens resistant to most antibiotics and associated with high mortality, are a rising emerging public health threat. Current approaches to infection control and prevention have not been adequate to prevent spread. An important but unproven approach is to have hospitals in a region coordinate surveillance and infection control measures. Using our Regional Healthcare Ecosystem Analyst (RHEA) simulation model and detailed Orange County, California, patient-level data on adult inpatient hospital and nursing home admissions (2011-2012), we simulated the spread of CRE throughout Orange County health-care facilities under 3 scenarios: no specific control measures, facility-level infection control efforts (uncoordinated control measures), and a coordinated regional effort. Aggressive uncoordinated and coordinated approaches were highly similar, averting 2,976 and 2,789 CRE transmission events, respectively (72.2% and 77.0% of transmission events), by year 5. With moderate control measures, coordinated regional control resulted in 21.3% more averted cases (n = 408) than did uncoordinated control at year 5. Our model suggests that without increased infection control approaches, CRE would become endemic in nearly all Orange County health-care facilities within 10 years. While implementing the interventions in the Centers for Disease Control and Prevention's CRE toolkit would not completely stop the spread of CRE, it would cut its spread substantially, by half

The Galaxy Populations of X-Ray Detected, Poor Groups

(Abridged) We determine the quantitative morphology and star formation properties of galaxies in six nearby X-ray detected, poor groups using multi-object spectroscopy and wide-field R imaging. We measure structural parameters for each galaxy by fitting a PSF-convolved, two component model to their surface brightness profiles. To compare directly the samples, we fade, smooth, and rebin each galaxy image so that we effectively observe each galaxy at the same redshift (9000 km/s) and physical resolution (0.87h^(-1) kpc). We compare results for the groups to a sample of field galaxies. We find that: 1) Galaxies spanning a wide range in morphological type and luminosity are well-fit by a de Vaucouleurs bulge with exponential disk profile. 2) Morphologically classifying these nearby group galaxies by their bulge fraction (B/T) is fairly robust on average, even when their redshift has increased by up to a factor of four and the effective resolution of the images is degraded by up to a factor of five. 3) The fraction of bulge-dominated systems in these groups is higher than in the field (~50% vs. ~20%). 4) The fraction of bulge-dominated systems in groups decreases with increasing radius, similar to the morphology-radius (~density) relation observed in galaxy clusters. 5) Current star formation in group galaxies is correlated with significant morphological asymmetry for disk-dominated systems (B/T<0.4). 6) The group galaxies that are most disk-dominated (B/T<0.2) are less star forming and asymmetric on average than their counterparts in the field.Comment: Accepted for publication in the Astrophysical Journal (26 pages + 12 figures); Figs 1 & 2 also available at http://www.ucolick.org/~vy/astronomy/groups_figs.tar.g

The Phase Diagram of Compact QED Coupled to a Four-Fermi Interaction

Compact lattice Quantum Electrodynamics (QED) with four species of fermions is simulated with massless quarks by using the $\chi$QED scheme of adding a four-fermi interaction to the action. Simulations directly in the chiral limit of massless quarks are done with high statistics on $8^4$, and $16^4$ lattices, and the phase diagram, parameterized by the gauge and the four-fermi couplings, is mapped out. The line of monopole condensation transitions is separate from the line of chiral symmetry restoration. The simulation results indicate that the monopole condensation transition is first order while the chiral transition is second order. The challenges in determining the Universality class of the chiral transition are discussed. If the scaling region for the chiral transition is sufficiently wide, the $16^4$ simulations predict critical indices far from mean field values. We discuss a speculative scenario in which anti-screening provided by double-helix strands of monopole and anti-monopole loops are the agent that balances the screening of fermion anti-fermion pairs to produce an ultra-violet fixed point in the electric coupling.Comment: 29 pages, 8 figures and 2 table

Strong enhancement of drag and dissipation at the weak- to strong- coupling phase transition in a bi-layer system at a total Landau level filling nu=1

We consider a bi-layer electronic system at a total Landau level filling factor nu =1, and focus on the transition from the regime of weak inter-layer coupling to that of the strongly coupled (1,1,1) phase (or ''quantum Hall ferromagnet''). Making the assumption that in the transition region the system is made of puddles of the (1,1,1) phase embedded in a bulk of the weakly coupled state, we show that the transition is accompanied by a strong increase in longitudinal Coulomb drag, that reaches a maximum of approximately $h/2e^{2}$. In that regime the longitudinal drag is increased with decreasing temperature.Comment: four pages, one included figur

Comparison of Surface Area across the Allograft-Host Junction Site Using Conventional and Navigated Osteotomy Technique.

Bulk allograft reconstruction plays an important role in limb-salvage surgery; however, non-union has been reported in up to 27% of cases. The purpose of this study is to quantify average surface contact areas across simulated intraoperative osteotomies using both free-hand and computer-assisted navigation techniques. Pressure-sensitive paper was positioned between two cut ends of a validated composite sawbone and compression was applied using an eight-hole large fragment dynamic compression plate. Thirty-two samples were analyzed for surface area contact to determine osteotomy congruity. Mean contact area using the free-hand osteotomy technique was equal to 0.21 square inches. Compared with a control of 0.69 square inches, average contact area was found to be 30.5% of optimal surface contact. Mean contact area using computer-assisted navigation was equal to 0.33 square inches. Compared with a control of 0.76 square inches, average contact area was found to be 43.7% of optimal surface contact. Limited contact achieved using standard techniques may play a role in the high rate of observed non-union, and an increase in contact area using computer-assisted navigation may improve rates of bone healing. The development of an oncology software package and navigation hardware may serve an important role in decreasing non-union rates in limb salvage surgery

Three Dimensional Hydrodynamic-Sedimentation Modeling Study : Hampton Roads Crossing, Lower James River, Virginia

A three-dimensional hydrodynamic-sedimentation computer model, HYSED-3D, was used to evaluate the effect of bridge-tunnel infrastructure for a proposed highway crossing of Hampton Roads on the physical characteristics (tides, currents, circulation, salinity, and sedimentation) of the James River estuary in Virginia. Model-represented infrastructure included tunnel islands and bridges on pilings connecting the islands to interstate highways in Newport News, Hampton, Norfolk, and Portsmouth, Virginia. Combinations of these elements occur in each of three proposed crossing routes designated Alternative 1 (Hampton-Norfolk), Alternative 2 (Hampton-Norfolk, Norfolk-Portsmouth), and Alternative 9 (Newport News-Portsmouth-Norfolk). Simulation comparisons were made between the existing waterways and infrastructure in Hampton Roads (Base Case) and the proposed construction in a series of model test runs representing both normal and extreme hydrologic conditions. Variations in tidal range were simulated using a three constituent tide model. Three levels of freshwater inflow into the headwaters of the James River were represented using historical stream gauge data. The simulation of sedimentation was designed based on the existence of a \u27turbidity maximum\u27 upstream from the area of concern