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

Enhancement of the spin pumping efficiency by spin-wave mode selection

The spin pumping efficiency of lateral standing spin wave modes in a rectangular YIG/Pt sample has been investigated by means of the inverse spin-Hall effect (ISHE). The standing spin waves drive spin pumping, the generation of spin currents from magnetization precession, into the Pt layer which is converted into a detectable voltage due to the ISHE. We discovered that the spin pumping efficiency is significantly higher for lateral standing surface spin waves rather than for volume spin wave modes. The results suggest that the use of higher-mode surface spin waves allows for the fabrication of an efficient spin-current injector

Suppression of spin-orbit effects in 1D system

We report the absence of spin effects such as spin-galvanic effect, spin polarization and spin current under static electric field and inter-spin-subband absorption in 1D system with spin-orbit interaction of arbitrary form. It was also shown that the accounting for the direct interaction of electron spin with magnetic field violates this statement.Comment: 8 pages, 1Figur

Spin quadrupoletronics: moving spin anisotropy around

We show that spin anisotropy can be transferred to an isotropic system by transport of spin quadrupole moment. We derive the quadrupole moment current and continuity equation and study a high-spin valve structure consisting of two ferromagnets coupled to a quantum dot probing an impurity spin. The quadrupole back-action on their coupled spin results in spin torques and anisotropic spin relaxation which do not follow from standard spin current considerations. We demonstrate the detection of the impurity spin by charge transport and its manipulation by electric fields.Comment: v2 updated arXiv reference [6