Formalizing Threat Models for Virtualized Systems

We propose a framework, called FATHoM (FormAlizing THreat Models), to define threat models for virtualized systems. For each component of a virtualized system, we specify a set of security properties that defines its control responsibility, its vulnerability and protection states. Relations are used to represent how assumptions made about a component’s security state restrict the assumptions that can be made on the other components. FATHoM includes a set of rules to compute the derived security states from the assumptions and the components’ relations. A further set of relations and rules is used to define how to protect the derived vulnerable components. The resulting system is then analysed, among others, for consistency of the threat model. We have developed a tool that implements FATHoM, and have validated it with use-cases adapted from the literature

Empowering Executive Functions in 5- and 6-Year-Old Typically Developing Children Through Educational Robotics: An RCT Study

Educational Robotics (ER) is a new learning approach that is known mainly for its effects on scientific academic subjects such as science, technology, engineering, and mathematics. Recent studies indicate that ER can also affect cognitive development by improving critical reasoning and planning skills. This study aimed to quantify the ability of ER to empower Executive Functions (EF), including the ability to control, update, and program information, in 5- and 6-year-old children attending first grade, a crucial evolutionary window for the development of such abilities. A total of 187 typically developing children were enrolled and randomly allocated into two experimental conditions: A, for immediate ER training, and B, for waitlist. ER-Laboratories (ER-Lab) for small groups were organized at schools, using a child-friendly, bee-shaped robot called Bee-Bot® (Campus Store). Activities were intensive, enjoyable, and progressively more challenging over the 20 twice-weekly sessions. Outcome measures, based on standardized tests, were used to quantify the effects of ER on EF. Compared to the control group, the ER-Lab group showed significantly better ability to actively manipulate information in short-term memory and suppress automatic responses in favor of goal-appropriate actions. This RCT study provides the first quantitative evidence of the positive effects of ER activities for improving working memory and inhibition in the early school years

Compressed representation of a partially defined integer function over multiple arguments

In OLAP (OnLine Analitical Processing) data are analysed in an n-dimensional cube. The cube may be represented as a partially defined function over n arguments. Considering that often the function is not defined everywhere, we ask: is there a known way of representing the function or the points in which it is defined, in a more compact manner than the trivial one

Action observation training for rehabilitation in brain injuries: A systematic review and meta-analysis

Background : To systematically review and analyse the effects of Action Observation Training on adults and children with brain damage. Methods : Seven electronic databases (Cochrane, EBSCO, Embase, Eric, PubMed, Scopus and Web of Science) were searched up to 16 September 2018 to select Randomized Controlled Trials focused on adults and children with brain damage that included AOT training on upper and/or lower limb carried out for at least 1 week. Identification of studies and data extraction was conducted with two reviewers working independently. Oxford Centre for Evidence-based Medicine (March2009) – Levels of Evidence and Physiotherapy Evidence Database scale were used to grade studies. The data collected from the articles were analysed using software R, version 3.4.3. Hedge’s g values were calculated and effect size estimates were pooled across studies. Separate meta-analyses were carried out for each ICF domain (i.e. body function and activity) for upper and lower limb. Results : Out of the 210 records identified after removing duplicates, 22 were selected for systematic review and 19 were included in the meta-analysis. Thirteen studies included in the meta-analysis focused on upper limb rehabilitation (4 in children and 9 in adults) and 6 on lower limb rehabilitation (only studies in adults). A total of 626 patients were included in the meta-analysis. An overall statistically significant effect size was found for upper limb body function (0.44, 95% CI: [0.24, 0.64], p<0.001) and upper limb activity domain (0.47, 95% CI: [0.30, 0.64], p<0.001). For lower limb, only the activity domain was analysed, revealing a statistically significant overall effect size (0.56, 95% CI: [0.28, 0.84], p<0.001). Conclusions : Action Observation Training (AOT) is an innovative rehabilitation tool for individuals with brain damage, which shows promising results in improving the activity domain for upper and lower limbs, and also the body function domain for the upper limb. However, the examined studies lack uniformity and further well-designed, larger controlled trials are necessary to determine the most suitable type of AOT particularly in childre

Search for pair-produced resonances decaying to jet pairs in proton-proton collisions at √s=8 TeV

Results are reported of a general search for pair production of heavy resonances decaying to pairs of hadronic jets in events with at least four jets. The study is based on up to 19.4 fb(-1) of integrated luminosity from proton-proton collisions at a center-of-mass energy of 8 TeV, recorded with the CMS detector at the LHC. Limits are determined on the production of scalar top quarks (top squarks) in the framework of R-parity violating supersymmetry and on the production of color-octet vector bosons (colorons). First limits at the LHC are placed on top squark production for two scenarios. The first assumes decay to a bottom quark and a light-flavor quark and is excluded for masses between 200 and 385 GeV, and the second assumes decay to a pair of light-flavor quarks and is excluded for masses between 200 and 350 GeV at 95% confidence level. Previous limits on colorons decaying to light-flavor quarks are extended to exclude masses from 200 to 835 GeV

Evidence for the 125 GeV Higgs boson decaying to a pair of tau leptons

Peer reviewe