Quantum encryption with certified deletion

Given a ciphertext, is it possible to prove the deletion of the underlying plaintext? Since classical ciphertexts can be copied, clearly such a feat is impossible using classical information alone. In stark contrast to this, we show that quantum encodings enable certified deletion. More precisely, we show that it is possible to encrypt classical data into a quantum ciphertext such that the recipient of the ciphertext can produce a classical string which proves to the originator that the recipient has relinquished any chance of recovering the plaintext should the decryption key be revealed. Our scheme is feasible with current quantum technology: the honest parties only require quantum devices for single-qubit preparation and measurements; the scheme is also robust against noise in these devices. Furthermore, we provide an analysis that is suitable in the finite-key regime.Comment: 28 pages, 1 figure. Some technical details modifie

Protocol for the saMS trial (supportive adjustment for multiple sclerosis): a randomized controlled trial comparing cognitive behavioral therapy to supportive listening for adjustment to multiple sclerosis

BackgroundMultiple Sclerosis (MS) is an incurable, chronic, potentially progressive and unpredictable disease of the central nervous system. The disease produces a range of unpleasant and debilitating symptoms, which can have a profound impact including disrupting activities of daily living, employment, income, relationships, social and leisure activities, and life goals. Adjusting to the illness is therefore particularly challenging. This trial tests the effectiveness of a cognitive behavioural intervention compared to supportive listening to assist adjustment in the early stages of MS.MethodsThis is a two arm randomized multi-centre parallel group controlled trial. 122 consenting participants who meet eligibility criteria will be randomly allocated to receive either Cognitive Behavioral Therapy or Supportive Listening. Eight one hour sessions of therapy (delivered over a period of 10 weeks) will be delivered by general nurses trained in both treatments. Self-report questionnaire data will be collected at baseline (0 weeks), mid-therapy (week 5 of therapy), post-therapy (15 weeks) and at six months (26 weeks) and twelve months (52 weeks) follow-up. Primary outcomes are distress and MS-related social and role impairment at twelve month follow-up. Analysis will also consider predictors and mechanisms of change during therapy. In-depth interviews to examine participants’ experiences of the interventions will be conducted with a purposively sampled sub-set of the trial participants. An economic analysis will also take place. DiscussionThis trial is distinctive in its aims in that it aids adjustment to MS in a broad sense. It is not a treatment specifically for depression. Use of nurses as therapists makes the interventions potentially viable in terms of being rolled out in the NHS. The trial benefits from incorporating patient input in the development and evaluation stages. The trial will provide important information about the efficacy, cost-effectiveness and acceptability of the interventions as well as mechanisms of psychosocial adjustment.Trial registrationCurrent Controlled Trials ISRCTN91377356<br/

Best of both worlds

International audienceSecure communication is emerging as a significant challenge for our hyper-connected data-dependent society. The answer may lie in a clever combination of quantum and classical cryptographic techniques

Finding Collisions in a Quantum World: Quantum Black-Box Separation of Collision-Resistance and One-Wayness

Since the celebrated work of Impagliazzo and Rudich (STOC 1989), a number of black-box impossibility results have been established. However, these works only ruled out classical black-box reductions among cryptographic primitives. Therefore it may be possible to overcome these impossibility results by using quantum reductions. To exclude such a possibility, we have to extend these impossibility results to the quantum setting. In this paper, we study black-box impossibility in the quantum setting. We first formalize a quantum counterpart of fully-black-box reduction following the formalization by Reingold, Trevisan and Vadhan (TCC 2004). Then we prove that there is no quantum fully-black-box reduction from collision-resistant hash functions to one-way permutations (or even trapdoor permutations). We take both of classical and quantum implementations of primitives into account. This is an extension to the quantum setting of the work of Simon (Eurocrypt 1998) who showed a similar result in the classical setting

An Integrated Decision Making Approach for Adaptive Shared Control of Mobility Assistance Robots

© 2016, Springer Science+Business Media Dordrecht. Mobility assistance robots provide support to elderly or patients during walking. The design of a safe and intuitive assistance behavior is one of the major challenges in this context. We present an integrated approach for the context-specific, on-line adaptation of the assistance level of a rollator-type mobility assistance robot by gain-scheduling of low-level robot control parameters. A human-inspired decision-making model, the drift-diffusion Model, is introduced as the key principle to gain-schedule parameters and with this to adapt the provided robot assistance in order to achieve a human-like assistive behavior. The mobility assistance robot is designed to provide (a) cognitive assistance to help the user following a desired path towards a predefined destination as well as (b) sensorial assistance to avoid collisions with obstacles while allowing for an intentional approach of them. Further, the robot observes the user long-term performance and fatigue to adapt the overall level of (c) physical assistance provided. For each type of assistance a decision-making problem is formulated that affects different low-level control parameters. The effectiveness of the proposed approach is demonstrated in technical validation experiments. Moreover, the proposed approach is evaluated in a user study with 35 elderly persons. Obtained results indicate that the proposed gain-scheduling technique incorporating ideas of human decision-making models shows a general high potential for the application in adaptive shared control of mobility assistance robots

Visual ecology of aphids – a critical review on the role of colours in host finding

We review the rich literature on behavioural responses of aphids (Hemiptera: Aphididae) to stimuli of different colours. Only in one species there are adequate physiological data on spectral sensitivity to explain behaviour crisply in mechanistic terms. Because of the great interest in aphid responses to coloured targets from an evolutionary, ecological and applied perspective, there is a substantial need to expand these studies to more species of aphids, and to quantify spectral properties of stimuli rigorously. We show that aphid responses to colours, at least for some species, are likely based on a specific colour opponency mechanism, with positive input from the green domain of the spectrum and negative input from the blue and/or UV region. We further demonstrate that the usual yellow preference of aphids encountered in field experiments is not a true colour preference but involves additional brightness effects. We discuss the implications for agriculture and sensory ecology, with special respect to the recent debate on autumn leaf colouration. We illustrate that recent evolutionary theories concerning aphid–tree interactions imply far-reaching assumptions on aphid responses to colours that are not likely to hold. Finally we also discuss the implications for developing and optimising strategies of aphid control and monitoring

Extra-cellular expansion in the normal, non-infarcted myocardium is associated with worsening of regional myocardial function after acute myocardial infarction

Background: Expansion of the myocardial extracellular volume (ECV) is a surrogate measure of focal/diffuse fibrosis and is an independent marker of prognosis in chronic heart disease. Changes in ECV may also occur after myocardial infarction, acutely because of oedema and in convalescence as part of ventricular remodelling. The objective of this study was to investigate changes in the pattern of distribution of regional (normal, infarcted and oedematous segments) and global left ventricular (LV) ECV using semi-automated methods early and late after reperfused ST-elevation myocardial infarction (STEMI). Methods: Fifty patients underwent cardiovascular magnetic resonance (CMR) imaging acutely (24 h–72 h) and at convalescence (3 months). The CMR protocol included: cines, T2-weighted (T2 W) imaging, pre−/post-contrast T1-maps and LGE-imaging. Using T2 W and LGE imaging on acute scans, 16-segments of the LV were categorised as normal, oedema and infarct. 800 segments (16 per-patient) were analysed for changes in ECV and wall thickening (WT). Results: From the acute studies, 325 (40.6%) segments were classified as normal, 246 (30.8%) segments as oedema and 229 (28.6%) segments as infarct. Segmental change in ECV between acute and follow-up studies (Δ ECV) was significantly different for normal, oedema and infarct segments (0.8 ± 6.5%, −1.78 ± 9%, −2.9 ± 10.9%, respectively; P < 0.001). Normal segments which demonstrated deterioration in wall thickening at follow-up showed significantly increased Δ ECV compared with normal segments with preserved wall thickening at follow up (1.82 ± 6.05% versus −0.10 ± 6.88%, P < 0.05). Conclusion: Following reperfused STEMI, normal myocardium demonstrates subtle expansion of the extracellular volume at 3-month follow up. Segmental ECV expansion of normal myocardium is associated with worsening of contractile function

Thresholds of riparian forest use by terrestrial mammals in a fragmented Amazonian deforestation frontier

Species persistence in fragmented landscapes is intimately related to the quality, structure, and context of remaining habitat remnants. Riparian vegetation is legally protected within private landholdings in Brazil, so we quantitatively assessed occupancy patterns of terrestrial mammals in these remnants, examining under which circumstances different species effectively use them. We selected 38 riparian forest patches and five comparable riparian sites within continuous forest, at which we installed four to five camera-traps per site (199 camera-trap stations). Terrestrial mammal assemblages were sampled for 60 days per station during the dry seasons of 2013 and 2014. We modelled species occupancy and detection probabilities within riparian forest remnants, and examined the effects of patch size, habitat quality, and landscape structure on occupancy probabilities. We then scaled-up modelled occupancies to all 1915 riparian patches throughout the study region to identify which remnants retain the greatest potential to work as habitat for terrestrial vertebrates. Of the ten species for which occupancy was modelled, six responded to forest quality (remnant degradation, cattle intrusion, palm aggregations, and understorey density) or structure (remnant width, isolation, length, and area of the patch from which it originates). Patch suitability was lower considering habitat quality than landscape structure, and virtually all riparian remnants were unsuitable to maintain a high occupancy probability for all species that responded to forest patch quality or structure. Beyond safeguarding legal compliance concerning riparian remnant amount, ensuring terrestrial vertebrate persistence in fragmented landscapes will require curbing the drivers of forest degradation within private landholdings