Equivalence-based Security for Querying Encrypted Databases: Theory and Application to Privacy Policy Audits

Motivated by the problem of simultaneously preserving confidentiality and usability of data outsourced to third-party clouds, we present two different database encryption schemes that largely hide data but reveal enough information to support a wide-range of relational queries. We provide a security definition for database encryption that captures confidentiality based on a notion of equivalence of databases from the adversary's perspective. As a specific application, we adapt an existing algorithm for finding violations of privacy policies to run on logs encrypted under our schemes and observe low to moderate overheads.Comment: CCS 2015 paper technical report, in progres

High temperature ferromagnetism of Li-doped vanadium oxide nanotubes

The nature of a puzzling high temperature ferromagnetism of doped mixed-valent vanadium oxide nanotubes reported earlier by Krusin-Elbaum et al., Nature 431 (2004) 672, has been addressed by static magnetization, muon spin relaxation, nuclear magnetic and electron spin resonance spectroscopy techniques. A precise control of the charge doping was achieved by electrochemical Li intercalation. We find that it provides excess electrons, thereby increasing the number of interacting magnetic vanadium sites, and, at a certain doping level, yields a ferromagnetic-like response persisting up to room temperature. Thus we confirm the surprising previous results on the samples prepared by a completely different intercalation method. Moreover our spectroscopic data provide first ample evidence for the bulk nature of the effect. In particular, they enable a conclusion that the Li nucleates superparamagnetic nanosize spin clusters around the intercalation site which are responsible for the unusual high temperature ferromagnetism of vanadium oxide nanotubes.Comment: with some amendments published in Europhysics Letters (EPL) 88 (2009) 57002; http://epljournal.edpsciences.or

Isotopic evidence for biogenic molecular hydrogen production in the Atlantic Ocean

Oceans are a net source of molecular hydrogen (H2) to the atmosphere. The production of marine H2 is assumed to be mainly biological by N2 fixation, but photochemical pathways are also discussed. We present measurements of mole fraction and isotopic composition of dissolved and atmospheric H2 from the southern and northern Atlantic between 2008 and 2010. In total almost 400 samples were taken during five cruises along a transect between Punta Arenas (Chile) and Bremerhaven (Germany), as well as at the coast of Mauretania. The isotopic source signatures of dissolved H2 extracted from surface water are highly deuterium-depleted and correlate negatively with temperature, showing δD values of (−629 ± 54) ‰ for water temperatures at (27 ± 3) °C and (−249 ± 88) ‰ below (19 ± 1) °C. The results for warmer water masses are consistent with biological production of H2. This is the first time that marine H2 excess has been directly attributed to biological production by isotope measurements. However, the isotope values obtained in the colder water masses indicate that beside possible biological production a significant different source should be considered. The atmospheric measurements show distinct differences between both hemispheres as well as between seasons. Results from the global chemistry transport model TM5 reproduce the measured H2 mole fractions and isotopic composition well. The climatological global oceanic emissions from the GEMS database are in line with our data and previously published flux calculations. The good agreement between measurements and model results demonstrates that both the magnitude and the isotopic signature of the main components of the marine H2 cycle are in general adequately represented in current atmospheric models despite a proposed source different from biological production or a substantial underestimation of nitrogen fixation by several authors

The magnetoelectrochemical switch

In the field of spintronics, the archetype solid-state two-terminal device is the spin valve, where the resistance is controlled by the magnetization configuration. We show here how this concept of spin-dependent switch can be extended to magnetic electrodes in solution, by magnetic control of their chemical environment. Appropriate nanoscale design allows a huge enhancement of the magnetic force field experienced by paramagnetic molecular species in solutions, which changes between repulsive and attractive on changing the electrodes' magnetic orientations. Specifically, the field gradient force created within a sub-100-nm-sized nanogap separating two magnetic electrodes can be reversed by changing the orientation of the electrodes' magnetization relative to the current flowing between the electrodes. This can result in a breaking or making of an electric nanocontact, with a change of resistance by a factor of up to 103. The results reveal how an external field can impact chemical equilibrium in the vicinity of nanoscale magnetic circuits

Irreducible Killing Tensors from Third Rank Killing-Yano Tensors

We investigate higher rank Killing-Yano tensors showing that third rank Killing-Yano tensors are not always trivial objects being possible to construct irreducible Killing tensors from them. We give as an example the Kimura IIC metric were from two rank Killing-Yano tensors we obtain a reducible Killing tensor and from third rank Killing-Yano tensors we obtain three Killing tensors, one reducible and two irreducible.Comment: 10 page

Energy levels and decoherence properties of single electron and nuclear spins in a defect center in diamond

The coherent behavior of the single electron and single nuclear spins of a defect center in diamond and a 13C nucleus in its vicinity, respectively, are investigated. The energy levels associated with the hyperfine coupling of the electron spin of the defect center to the 13C nuclear spin are analyzed. Methods of magnetic resonance together with optical readout of single defect centers have been applied in order to observe the coherent dynamics of the electron and nuclear spins. Long coherence times, in the order of microseconds for electron spins and tens of microseconds for nuclear spins, recommend the studied system as a good experimental approach for implementing a 2-qubit gate.Comment: 4 pages, 4 figure

Dirac Spinor Waves and Solitons in Anisotropic Taub-NUT Spaces

We apply a new general method of anholonomic frames with associated nonlinear connection structure to construct new classes of exact solutions of Einstein-Dirac equations in five dimensional (5D)gravity. Such solutions are parametrized by off-diagonal metrics in coordinate (holonomic) bases, or, equivalently, by diagonal metrics given with respect to some anholonomic frames (pentads, or funfbiends, satisfing corresponding constraint relations). We consider two possibilities of generalization of the Taub NUT metric in order to obtain vacuum solutions of 5D Einsitein equations with effective renormalization of constants having distinguished anisotropies on an angular parameter or on extra dimension coordinate. The constructions are extended to solutions describing self-consistent propagations of 3D Dirac wave packets in 5D anisotropic Taub NUT spacetimes. We show that such anisotropic configurations of spinor matter can induce gravitational 3D solitons being solutions of Kadomtsev-Petviashvili or of sine-Gordon equations.Comment: revtex, 16 pages, version 4, affiliation changed, accepted to CQ

Goldstone bosons and a dynamical Higgs field

Higgs inflation uses the gauge variant Higgs field as the inflaton. During inflation the Higgs field is displaced from its minimum, which results in associated Goldstone bosons that are apparently massive. Working in a minimally coupled U(1) toy model, we use the closed-time-path formalism to show that these Goldstone bosons do contribute to the one-loop effective action. Therefore the computation in unitary gauge gives incorrect results. Our expression for the effective action is gauge invariant upon using the background equations of motion.Comment: 27 pages, 2 figures, published version with minor correction

Dynamical effects of the neutrino gravitational clustering at Planck angular scales

We study the CMB anisotropy induced by the non-linear perturbations in the massive neutrino density associated to the non-linear gravitational clustering proceses. Our results show that for the neutrino fraction in agreement with that indicated by the astroparticle and nuclear physics experiments and a cosmological accreting mass comparable with the mass of known clusters, the angular resolution and the sensitivity of the CMB anisotropy measurements from the Planck surveyor will allow the detection of the dynamical effects of the neutrino gravitational clustering.Comment: 40 pages and 12 figures, submitted to ApJ (14 March 2002

Do Search for Dibaryonic De - Excitations in Relativistic Nuclear Reactions

Some odd characteristics are observed in the single particle distributions obtained from $He + Li$ interactions at $4.5 AGeV/c$ momenta which are explained as the manifestation of a new mechanism of strangeness production via dibaryonic de-excitations. A signature of the formation of hadronic and baryonic clusters is also reported. The di-pionic signals of the dibaryonic orbital de-excitations are analyzed in the frame of the MIT - bag Model and a Monte Carlo simulation.The role played by the dibaryonic resonances in relativistic nuclear collisions could be a significant one. Key words: Relativistic nuclear interactions negative pions, negative kaons, di-pions , streamer chamber, dibaryons, MIT - bag model PACS codes: 25.75.+r,14.40.Aq,14.20.Pt,12.40.AsComment: 17 pages,LATEX, preprint ICTP -243 1993,figures available by reques