Quantifying Information Leaks Using Reliability Analysis

acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4acmid: 2632367 keywords: Model Counting, Quantitative Information Flow, Reliability Analysis, Symbolic Execution location: San Jose, CA, USA numpages: 4We report on our work-in-progress into the use of reliability analysis to quantify information leaks. In recent work we have proposed a software reliability analysis technique that uses symbolic execution and model counting to quantify the probability of reaching designated program states, e.g. assert violations, under uncertainty conditions in the environment. The technique has many applications beyond reliability analysis, ranging from program understanding and debugging to analysis of cyber-physical systems. In this paper we report on a novel application of the technique, namely Quantitative Information Flow analysis (QIF). The goal of QIF is to measure information leakage of a program by using information-theoretic metrics such as Shannon entropy or Renyi entropy. We exploit the model counting engine of the reliability analyzer over symbolic program paths, to compute an upper bound of the maximum leakage over all possible distributions of the confidential data. We have implemented our approach into a prototype tool, called QILURA, and explore its effectiveness on a number of case studie

The Study of Isomeric Ratios in Photonuclear Reactions Forming High Spin Isomers in the Giant Dipole Resonance Region

We studied the isomeric ratios  in  odd-odd nuclei $^{196}$Au,$^{182}$Ta  and $^{194}$Ir  with    high spin isomeric states  produced  in $^{197}$Au$(\gamma,  n)$ $^{196m,g}$Au, $^{183}$W$(\gamma,  p)$ $^{182m,g}$Ta  and $^{185}$Pt$(\gamma,  p)$$^{194m,g}$Ir  reactions  by  using  the activation  technique  and  $\gamma$-ray  spectroscopic  method  in  the  giant    dipole  resonance  (GDR)  region.  The high-purity natural Au, W and Pt  foils in disc shape were irradiated with bremsstrahlungs  generated from an  electron  accelerator  Microtron.  The  irradiated  foils  were  measured  by  the  high  resolution  $\gamma$-ray spectroscopic system which consists of a Ge(HP) detector and a multichannel analyzer. In order to improve the  accuracy  of  the  experimental  results,  necessary  corrections  were  made  in  the  $\gamma$-ray  activity measurements and data analysis.  The results were  analyzed,  discussed and compared with those of other authors  as well as with theoretical model calculations.  The study shows that the isomeric ratios in  nuclei with high spin isomeric states are much lower than that in low spin isomeric state isomers

Radon in the DRIFT-II directional dark matter TPC: emanation, detection and mitigation

Radon gas emanating from materials is of interest in environmental science and also a major concern in rare event non-accelerator particle physics experiments such as dark matter and double beta decay searches, where it is a major source of background. Notable for dark matter experiments is the production of radon progeny recoils (RPRs), the low energy (~ 100 keV) recoils of radon daughter isotopes, which can mimic the signal expected from WIMP interactions. Presented here are results of measurements of radon emanation from detector materials in the 1 m3 DRIFT-II directional dark matter gas time projection chamber experiment. Construction and operation of a radon emanation facility for this work is described, along with an analysis to continuously monitor DRIFT data for the presence of internal 222Rn and 218Po. Applying this analysis to historical DRIFT data, we show how systematic substitution of detector materials for alternatives, selected by this device for low radon emanation, has resulted in a factor of ~ 10 reduction in internal radon rates. Levels are found to be consistent with the sum from separate radon emanation measurements of the internal materials and also with direct measurement using an attached alpha spectrometer. The current DRIFT detector, DRIFT-IId, is found to have sensitivity to 222Rn of 2.5 μBql−1 with current analysis efficiency, potentially opening up DRIFT technology as a new tool for sensitive radon assay of materials

Measurement of the neutrino mass splitting and flavor mixing by MINOS

Measurements of neutrino oscillations using the disappearance of muon neutrinos from the Fermilab NuMI neutrino beam as observed by the two MINOS detectors are reported. New analysis methods have been applied to an enlarged data sample from an exposure of $7.25 imes 10^{20}$ protons on target. A fit to neutrino oscillations yields values of $|Delta m^2| = (2.32^{+0.12}_{-0.08}) imes10^{-3}$,eV$^2$ for the atmospheric mass splitting and m sin^2!(2 heta) > 0.90 (90%,C.L.) for the mixing angle. Pure neutrino decay and quantum decoherence hypotheses are excluded at 7 and 9 standard deviations, respectively

The Pierre Auger Observatory III: Other Astrophysical Observations

Astrophysical observations of ultra-high-energy cosmic rays with the Pierre Auger ObservatoryComment: Contributions to the 32nd International Cosmic Ray Conference, Beijing, China, August 201

Search for CP violation in D+→ϕπ+ and D+s→K0Sπ+ decays

A search for CP violation in D + → ϕπ + decays is performed using data collected in 2011 by the LHCb experiment corresponding to an integrated luminosity of 1.0 fb−1 at a centre of mass energy of 7 TeV. The CP -violating asymmetry is measured to be (−0.04 ± 0.14 ± 0.14)% for candidates with K − K + mass within 20 MeV/c 2 of the ϕ meson mass. A search for a CP -violating asymmetry that varies across the ϕ mass region of the D + → K − K + π + Dalitz plot is also performed, and no evidence for CP violation is found. In addition, the CP asymmetry in the D+s→K0Sπ+ decay is measured to be (0.61 ± 0.83 ± 0.14)%