IoTSan: Fortifying the Safety of IoT Systems

Today's IoT systems include event-driven smart applications (apps) that interact with sensors and actuators. A problem specific to IoT systems is that buggy apps, unforeseen bad app interactions, or device/communication failures, can cause unsafe and dangerous physical states. Detecting flaws that lead to such states, requires a holistic view of installed apps, component devices, their configurations, and more importantly, how they interact. In this paper, we design IoTSan, a novel practical system that uses model checking as a building block to reveal "interaction-level" flaws by identifying events that can lead the system to unsafe states. In building IoTSan, we design novel techniques tailored to IoT systems, to alleviate the state explosion associated with model checking. IoTSan also automatically translates IoT apps into a format amenable to model checking. Finally, to understand the root cause of a detected vulnerability, we design an attribution mechanism to identify problematic and potentially malicious apps. We evaluate IoTSan on the Samsung SmartThings platform. From 76 manually configured systems, IoTSan detects 147 vulnerabilities. We also evaluate IoTSan with malicious SmartThings apps from a previous effort. IoTSan detects the potential safety violations and also effectively attributes these apps as malicious.Comment: Proc. of the 14th ACM CoNEXT, 201

The activity of French Research Ethics Committees and characteristics of biomedical research protocols involving humans: a retrospective cohort study

BACKGROUND: Clinical trials throughout the world must be evaluated by research ethics committees. No one has yet attempted to clearly quantify at the national level the activity of ethics committees and describe the characteristics of the protocols submitted. The objectives of this study were to describe 1) the workload and the activity of Research Ethics Committees in France, and 2) the characteristics of protocols approved on a nation-wide basis. METHODS: Retrospective cohort of 976 protocols approved by a representative sample of 25/48 of French Research Ethics Committees in 1994. Protocols characteristics (design, study size, investigator), number of revisions requested by the ethics committee before approval, time to approval and number of amendments after approval were collected for each protocol by trained research assistant using the committee's files and archives. RESULTS: Thirty-one percent of protocols were approved with no modifications requested in 16 days (95% CI: 14–17). The number of revisions requested by the committee, and amendments submitted by the investigator was on average respectively 39 (95% CI: 25–53) and 37 (95% CI: 27–46), per committee and per year. When revisions were requested, the main reasons were related to information to the patient (28%) and consent modalities (18%). Drugs were the object of research in 68% of the protocols examined. The majority of the research was national (80%) with a predominance of single-centre studies. Workload per protocol has been estimated at twelve and half hours on average for administrative support and at eleven and half hours for expertise. CONCLUSION: The estimated workload justifies specific and independent administrative and financial support for Research Ethics Committees

Safety and pharmacokinetics of motesanib in combination with gemcitabine for the treatment of patients with solid tumours

The aim of this open-label phase 1b study was to assess the safety and pharmacokinetics of motesanib in combination with gemcitabine in patients with advanced solid tumours. Eligible patients with histologically or cytologically documented solid tumours or lymphoma were enroled in three sequential, dose-escalating cohorts to receive motesanib 50 mg once daily (QD), 75 mg two times daily (BID), or 125 mg QD in combination with gemcitabine (1000 mg m−2). The primary end point was the incidence of dose-limiting toxicities (DLTs). Twenty-six patients were enroled and received motesanib and gemcitabine. No DLTs occurred. The 75 mg BID cohort was discontinued early; therefore, 125 mg QD was the maximum target dose. Sixteen patients (62%) experienced motesanib-related adverse events, most commonly lethargy (n=6), diarrhoea (n=4), fatigue (n=3), headache (n=3), and nausea (n=3). The pharmacokinetics of motesanib and of gemcitabine were not markedly affected after combination therapy. The objective response rate was 4% (1 of 26), and 27% (7 of 26) of patients achieved stable disease. In conclusion, treatment with motesanib plus gemcitabine was well tolerated, with adverse event and pharmacokinetic profiles similar to that observed in monotherapy studies

Reliability and Validity of the Ethiopian Version of the Hospital Anxiety and Depression Scale (HADS) in HIV Infected Patients

The hospital anxiety and depression scale (HADS) is a widely used instrument for evaluating psychological distress from anxiety and depression. HADS has not yet been validated in Ethiopia. The aim of this study was to evaluate the reliability and validity of the Amharic (Ethiopian language) version of HADs among HIV infected patients.The translated scale was administered to 302 HIV/AIDS patients on follow up for and taking anti-retroviral treatment. Consistency assessment was conducted using Cronbach's alpha, test-retest reliability using intra-class correlation coefficients (ICC). Construct validity was examined using principal components analysis (PCA). Parallel analysis, Kaiser's criterion and the scree test were used for factor extraction.The internal consistency was 0.78 for the anxiety, 0.76 for depression subscales and 0.87 for the full scale of HADS. The intra-class correlation coefficient (ICC) was 80%, 86%, and 84% for the anxiety and depression subscales, and total score respectively. PCA revealed a one dimensional scale.This preliminary validation study of the Ethiopian version of the HADs indicates that it has promising acceptability, reliability and validity. The adopted scale has a single underlying dimension as indicated by Razavi's model. The HADS can be used to examine psychological distress in HIV infected patients. Findings are discussed and recommendations made

Liposomal Packaging Generates Wnt Protein with In Vivo Biological Activity

Wnt signals exercise strong cell-biological and regenerative effects of considerable therapeutic value. There are, however, no specific Wnt agonists and no method for in vivo delivery of purified Wnt proteins. Wnts contain lipid adducts that are required for activity and we exploited this lipophilicity by packaging purified Wnt3a protein into lipid vesicles. Rather than being encapsulated, Wnts are tethered to the liposomal surface, where they enhance and sustain Wnt signaling in vitro. Molecules that effectively antagonize soluble Wnt3a protein but are ineffective against the Wnt3a signal presented by a cell in a paracrine or autocrine manner are also unable to block liposomal Wnt3a activity, suggesting that liposomal packaging mimics the biological state of active Wnts. When delivered subcutaneously, Wnt3a liposomes induce hair follicle neogenesis, demonstrating their robust biological activity in a regenerative context

Symmetry in temporal logic model checking

Temporal logic model checking involves checking the state-space of a model of a system to determine whether errors can occur in the system. Often this involves checking symmetrically equivalent areas of the state-space. The use of symmetry reduction to increase the efficiency of model checking has inspired a wealth of activity in the area of model checking research. We provide a survey of the associated literature

Factor structure of the Hospital Anxiety and Depression Scale in Japanese psychiatric outpatient and student populations

<p>Abstract</p> <p>Background</p> <p>The Hospital Anxiety and Depression Scale (HADS) is a common screening instrument excluding somatic symptoms of depression and anxiety, but previous studies have reported inconsistencies of its factor structure. The construct validity of the Japanese version of the HADS has yet to be reported. To examine the factor structure of the HADS in a Japanese population is needed.</p> <p>Methods</p> <p>Exploratory and confirmatory factor analyses were conducted in the combined data of 408 psychiatric outpatients and 1069 undergraduate students. The data pool was randomly split in half for a cross validation. An exploratory factor analysis was performed on one half of the data, and the fitness of the plausible model was examined in the other half of the data using a confirmatory factor analysis. Simultaneous multi-group analyses between the subgroups (outpatients vs. students, and men vs. women) were subsequently conducted.</p> <p>Results</p> <p>A two-factor model where items 6 and 7 had dual loadings was supported. These factors were interpreted as reflecting anxiety and depression. Item 10 showed low contributions to both of the factors. Simultaneous multi-group analyses indicated a factor pattern stability across the subgroups.</p> <p>Conclusion</p> <p>The Japanese version of HADS indicated good factorial validity in our samples. However, ambiguous wording of item 7 should be clarified in future revisions.</p

The psychometric properties of the subscales of the GHQ-28 in a multi-ethnic maternal sample: results from the Born in Bradford cohort

Background: Poor maternal mental health can impact on children’s development and wellbeing; however, there is concern about the comparability of screening instruments administered to women of diverse ethnic origin. Methods: We used confirmatory factor analysis (CFA) and exploratory factor analysis (EFA) to examine the subscale structure of the GHQ-28 in an ethnically diverse community cohort of pregnant women in the UK (N = 5,089). We defined five groups according to ethnicity and language of administration, and also conducted a CFA between four groups of 1,095 women who completed the GHQ-28 both during and after pregnancy. Results: After item reduction, 17 of the 28 items were considered to relate to the same four underlying concepts in each group; however, there was variation in the response to individual items by women of different ethnic origin and this rendered between group comparisons problematic. The EFA revealed that these measurement difficulties might be related to variation in the underlying concepts being measured by the factors. Conclusions: We found little evidence to recommend the use of the GHQ-28 subscales in routine clinical or epidemiological assessment of maternal women in populations of diverse ethnicity