Composable security of delegated quantum computation

Delegating difficult computations to remote large computation facilities, with appropriate security guarantees, is a possible solution for the ever-growing needs of personal computing power. For delegated computation protocols to be usable in a larger context---or simply to securely run two protocols in parallel---the security definitions need to be composable. Here, we define composable security for delegated quantum computation. We distinguish between protocols which provide only blindness---the computation is hidden from the server---and those that are also verifiable---the client can check that it has received the correct result. We show that the composable security definition capturing both these notions can be reduced to a combination of several distinct "trace-distance-type" criteria---which are, individually, non-composable security definitions. Additionally, we study the security of some known delegated quantum computation protocols, including Broadbent, Fitzsimons and Kashefi's Universal Blind Quantum Computation protocol. Even though these protocols were originally proposed with insufficient security criteria, they turn out to still be secure given the stronger composable definitions.Comment: 37+9 pages, 13 figures. v3: minor changes, new references. v2: extended the reduction between composable and local security to include entangled inputs, substantially rewritten the introduction to the Abstract Cryptography (AC) framewor

Poaching and firm-sponsored training: first clean evidence

A series of seminal theoretical papers argues that poaching of employees may hamper company-sponsored general training. However, the extent of poaching, its determinants and consequences, remains an open empirical question. We provide a novel empirical identification strategy for poaching and investigate its causes and consequences. We find that only a small number of training firms in Germany are poaching victims. Firms are more likely to poach employees during an economic downturn. Training firms respond to poaching by lowering the share of new apprentice intakes in the following years

Mono Lake Analog Mars Sample Return Expedition for AMASE

We explored the performance of one robotic prototype for sample acquisition and caching of martian materials that has been developed at the Jet Propulsion Laboratory for potential use in the proposed MAX-C Mars Sample Return architecture in an environment, rich in chemical diversity with a variety of mineralogical textures. Mono Lake State Tufa Reserve in Mono County, CA possesses a variety of minerals including a variety of evaporites, volcanic glass and lava, and sand and mudstones. The lake itself is an interesting chemical system: the water is highly alkaline (pH is approximately 10) and contains concentrations of Cl, K, B, with lesser amounts of S Ca Mg, F, As, Li, I and Wand generally enriched HREEs. There are also traces of radioactive elements U, Th, Pl

A Graph-Based Semantics Workbench for Concurrent Asynchronous Programs

A number of novel programming languages and libraries have been proposed that offer simpler-to-use models of concurrency than threads. It is challenging, however, to devise execution models that successfully realise their abstractions without forfeiting performance or introducing unintended behaviours. This is exemplified by SCOOP---a concurrent object-oriented message-passing language---which has seen multiple semantics proposed and implemented over its evolution. We propose a "semantics workbench" with fully and semi-automatic tools for SCOOP, that can be used to analyse and compare programs with respect to different execution models. We demonstrate its use in checking the consistency of semantics by applying it to a set of representative programs, and highlighting a deadlock-related discrepancy between the principal execution models of the language. Our workbench is based on a modular and parameterisable graph transformation semantics implemented in the GROOVE tool. We discuss how graph transformations are leveraged to atomically model intricate language abstractions, and how the visual yet algebraic nature of the model can be used to ascertain soundness.Comment: Accepted for publication in the proceedings of FASE 2016 (to appear

Surface modification of structural materials by low-energy high-current pulsed electron beam treatment

Microstructure formation in surface layers of pure titanium and ferritic-martensitic steel subjected to electron beam treatment is studied. It is shown that low energy high-current pulsed electron beam irradiation leads to the martensite structure within the surface layer of pure titanium. Contrary, the columnar ferrite grains grow during solidification of ferritic-martensitic steel. The effect of electron beam energy density on the surface morphology and microstructure of the irradiated metals is demonstrated

Long-lived non-equilibrium superconductivity in a non-centrosymmetric Rashba semiconductor

We report non-equilibrium magnetodynamics in the Rashba-superconductor GeTe, which lacks inversion symmetry in the bulk. We find that at low temperature the system exhibits a non-equilibrium state, which decays on time scales that exceed conventional electronic scattering times by many orders of magnitude. This reveals a non-equilibrium magnetoresponse that is asymmetric under magnetic field reversal and, strikingly, induces a non-equilibrium superconducting state distinct from the equilibrium one. We develop a model of a Rashba system where non-equilibrium configurations relax on a finite timescale which captures the qualitative features of the data. We also obtain evidence for the slow dynamics in another non-superconducting Rashba system. Our work provides novel insights into the dynamics of non-centrosymmetric superconductors and Rashba systems in general

Second harmonic generation in SiC polytypes

LMTO calculations are presented for the frequency dependent second harmonic generation (SHG) in the polytypes 2H, 4H, 6H, 15R and 3C of SiC. All independent tensor components are calculated. The spectral features and the ratios of the 333 to 311 tensorial components are studied as a function of the degree of hexagonality. The relationship to the linear optical response and the underlying band structure are investigated. SHG is suggested to be a sensitive tool for investigating the near band edge interband excitations.Comment: 12 pages, 10 figure