Output-sensitive Information flow analysis

Part 1: Full PapersInternational audienceConstant-time programming is a countermeasure to prevent cache based attacks where programs should not perform memory accesses that depend on secrets. In some cases this policy can be safely relaxed if one can prove that the program does not leak more information than the public outputs of the computation. We propose a novel approach for verifying constant-time programming based on a new information flow property, called output-sensitive non-interference. Noninterference states that a public observer cannot learn anything about the private data. Since real systems need to intentionally declassify some information, this property is too strong in practice. In order to take into account public outputs we proceed as follows: instead of using complex explicit declassification policies, we partition variables in three sets: input, output and leakage variables. Then, we propose a typing system to statically check that leakage variables do not leak more information about the secret inputs than the public normal output. The novelty of our approach is that we track the dependence of leakage variables with respect not only to the initial values of input variables (as in classical approaches for noninterference), but taking also into account the final values of output variables. We adapted this approach to LLVM IR and we developed a prototype to verify LLVM implementations

Chronic stroke sensorimotor impairment is related to smaller hippocampal volumes: an ENIGMA analysis

Background Persistent sensorimotor impairments after stroke can negatively impact quality of life. The hippocampus is vulnerable to poststroke secondary degeneration and is involved in sensorimotor behavior but has not been widely studied within the context of poststroke upper‐limb sensorimotor impairment. We investigated associations between non‐lesioned hippocampal volume and upper limb sensorimotor impairment in people with chronic stroke, hypothesizing that smaller ipsilesional hippocampal volumes would be associated with greater sensorimotor impairment. Methods and Results Cross‐sectional T1‐weighted magnetic resonance images of the brain were pooled from 357 participants with chronic stroke from 18 research cohorts of the ENIGMA (Enhancing NeuoImaging Genetics through Meta‐Analysis) Stroke Recovery Working Group. Sensorimotor impairment was estimated from the FMA‐UE (Fugl‐Meyer Assessment of Upper Extremity). Robust mixed‐effects linear models were used to test associations between poststroke sensorimotor impairment and hippocampal volumes (ipsilesional and contralesional separately; Bonferroni‐corrected, P<0.025), controlling for age, sex, lesion volume, and lesioned hemisphere. In exploratory analyses, we tested for a sensorimotor impairment and sex interaction and relationships between lesion volume, sensorimotor damage, and hippocampal volume. Greater sensorimotor impairment was significantly associated with ipsilesional (P=0.005; β=0.16) but not contralesional (P=0.96; β=0.003) hippocampal volume, independent of lesion volume and other covariates (P=0.001; β=0.26). Women showed progressively worsening sensorimotor impairment with smaller ipsilesional (P=0.008; β=−0.26) and contralesional (P=0.006; β=−0.27) hippocampal volumes compared with men. Hippocampal volume was associated with lesion size (P<0.001; β=−0.21) and extent of sensorimotor damage (P=0.003; β=−0.15). Conclusions The present study identifies novel associations between chronic poststroke sensorimotor impairment and ipsilesional hippocampal volume that are not caused by lesion size and may be stronger in women