Discovering Physical Interaction Vulnerabilities in IoT Deployments

Internet of Things (IoT) applications drive the behavior of IoT deployments according to installed sensors and actuators. It has recently been shown that IoT deployments are vulnerable to physical interactions, caused by design flaws or malicious intent, that can have severe physical consequences. Yet, extant approaches to securing IoT do not translate the app source code into its physical behavior to evaluate physical interactions. Thus, IoT consumers and markets do not possess the capability to assess the safety and security risks these interactions present. In this paper, we introduce the IoTSeer security service for IoT deployments, which uncovers undesired states caused by physical interactions. IoTSeer operates in four phases (1) translation of each actuation command and sensor event in an app source code into a hybrid I/O automaton that defines an app's physical behavior, (2) combining apps in a novel composite automaton that represents the joint physical behavior of interacting apps, (3) applying grid-based testing and falsification to validate whether an IoT deployment conforms to desired physical interaction policies, and (4) identification of the root cause of policy violations and proposing patches that guide users to prevent them. We use IoTSeer in an actual house with 13 actuators and six sensors with 37 apps and demonstrate its effectiveness and performance

Quantitative measurements of cerebral metabolic rate of oxygen utilization using MRI: a volunteer study

Quantitative estimates of cerebral metabolic rate of oxygen utilization using magnetic resonance imaging can have profound implications for the understanding of brain metabolic activity as well as the investigation of cerebrovascular disease. In this study, five normal volunteers were studied. All images were acquired on a Siemens 1.5 T scanner (Siemens Medical Systems Inc, Erlangen, Germany). Cerebral blood flow (CBF) was obtained in vivo with a dynamic imaging approach and the acquired images were post-processed with the singular value decomposition method (SVD). In addition, a multi-echo gradient echo/spin echo sequence was employed to provide MR estimates of oxygen extraction fraction (MR_OEF) in vivo. Subsequently, an absolute measure of MR cerebral metabolic rate of oxygen utilization (MR_CMRO2) was obtained in all subjects by taking the product of CBF and MR_OEF. A mean MR_CMRO2 of 28.94 ± 3.26 ml/min/100 g and 12.57 ± 3.11 ml/min/100 g was obtained for gray matter and white matter, respectively, suggesting that the gray matter utilizes more oxygen than white matter under normal physiological conditions. These results yield a gray matter to white matter CMRO2 ratio of 2.37 ± 0.37, which is comparable to the reported values in the literature. More studies are needed to further improve on the accuracy as well as shortening the required data acquisition time so that the proposed approaches can be utilized in a routine clinical setting

Growth and Viability of Cutaneous Squamous Cell Carcinoma Cell Lines Display Different Sensitivities to Isoform-Specific Phosphoinositide 3-Kinase Inhibitors.

Cutaneous squamous cell carcinomas (cSCCs) account for about 20% of keratinocyte carcinomas, the most common cancer in the UK. Therapeutic options for cSCC patients who develop metastasis are limited and a better understanding of the biochemical pathways involved in cSCC development/progression is crucial to identify novel therapeutic targets. Evidence indicates that the phosphoinositide 3-kinases (PI3Ks)/Akt pathway plays an important role, in particular in advanced cSCC. Questions remain of whether all four PI3K isoforms able to activate Akt are involved and whether selective inhibition of specific isoform(s) might represent a more targeted strategy. Here we determined the sensitivity of four patient-derived cSCC cell lines to isoform-specific PI3K inhibitors to start investigating their potential therapeutic value in cSCC. Parallel experiments were performed in immortalized keratinocyte cell lines. We observed that pan PI3Ks inhibition reduced the growth/viability of all tested cell lines, confirming the crucial role of this pathway. Selective inhibition of the PI3K isoform p110α reduced growth/viability of keratinocytes and of two cSCC cell lines while affecting the other two only slightly. Importantly, p110α inhibition reduced Akt phosphorylation in all cSCC cell lines. These data indicate that growth and viability of the investigated cSCC cells display differential sensitivity to isoform-specific PI3K inhibitors

Depression and sickness behavior are Janus-faced responses to shared inflammatory pathways

It is of considerable translational importance whether depression is a form or a consequence of sickness behavior. Sickness behavior is a behavioral complex induced by infections and immune trauma and mediated by pro-inflammatory cytokines. It is an adaptive response that enhances recovery by conserving energy to combat acute inflammation. There are considerable phenomenological similarities between sickness behavior and depression, for example, behavioral inhibition, anorexia and weight loss, and melancholic (anhedonia), physio-somatic (fatigue, hyperalgesia, malaise), anxiety and neurocognitive symptoms. In clinical depression, however, a transition occurs to sensitization of immuno-inflammatory pathways, progressive damage by oxidative and nitrosative stress to lipids, proteins, and DNA, and autoimmune responses directed against self-epitopes. The latter mechanisms are the substrate of a neuroprogressive process, whereby multiple depressive episodes cause neural tissue damage and consequent functional and cognitive sequelae. Thus, shared immuno-inflammatory pathways underpin the physiology of sickness behavior and the pathophysiology of clinical depression explaining their partially overlapping phenomenology. Inflammation may provoke a Janus-faced response with a good, acute side, generating protective inflammation through sickness behavior and a bad, chronic side, for example, clinical depression, a lifelong disorder with positive feedback loops between (neuro)inflammation and (neuro)degenerative processes following less well defined triggers

Substrate binding and translocation of the serotonin transporter studied by docking and molecular dynamics simulations

The serotonin (5-HT) transporter (SERT) plays an important role in the termination of 5-HT-mediated neurotransmission by transporting 5-HT away from the synaptic cleft and into the presynaptic neuron. In addition, SERT is the main target for antidepressant drugs, including the selective serotonin reuptake inhibitors (SSRIs). The three-dimensional (3D) structure of SERT has not yet been determined, and little is known about the molecular mechanisms of substrate binding and transport, though such information is very important for the development of new antidepressant drugs. In this study, a homology model of SERT was constructed based on the 3D structure of a prokaryotic homologous leucine transporter (LeuT) (PDB id: 2A65). Eleven tryptamine derivates (including 5-HT) and the SSRI (S)-citalopram were docked into the putative substrate binding site, and two possible binding modes of the ligands were found. To study the conformational effect that ligand binding may have on SERT, two SERT–5-HT and two SERT–(S)-citalopram complexes, as well as the SERT apo structure, were embedded in POPC lipid bilayers and comparative molecular dynamics (MD) simulations were performed. Our results show that 5-HT in the SERT–5-HTB complex induced larger conformational changes in the cytoplasmic parts of the transmembrane helices of SERT than any of the other ligands. Based on these results, we suggest that the formation and breakage of ionic interactions with amino acids in transmembrane helices 6 and 8 and intracellular loop 1 may be of importance for substrate translocation

Whole shaft visibility and mechanical performance for active MR catheters using copper-nitinol braided polymer tubes

<p>Abstract</p> <p>Background</p> <p>Catheter visualization and tracking remains a challenge in interventional MR.</p> <p>Active guidewires can be made conspicuous in "profile" along their whole shaft exploiting metallic core wire and hypotube components that are intrinsic to their mechanical performance. Polymer-based catheters, on the other hand, offer no conductive medium to carry radio frequency waves. We developed a new "active" catheter design for interventional MR with mechanical performance resembling braided X-ray devices. Our 75 cm long hybrid catheter shaft incorporates a wire lattice in a polymer matrix, and contains three distal loop coils in a flexible and torquable 7Fr device. We explored the impact of braid material designs on radiofrequency and mechanical performance.</p> <p>Results</p> <p>The incorporation of copper wire into in a superelastic nitinol braided loopless antenna allowed good visualization of the whole shaft (70 cm) <it>in vitro </it>and <it>in vivo </it>in swine during real-time MR with 1.5 T scanner. Additional distal tip coils enhanced tip visibility. Increasing the copper:nitinol ratio in braiding configurations improved flexibility at the expense of torquability. We found a 16-wire braid of 1:1 copper:nitinol to have the optimum balance of mechanical (trackability, flexibility, torquability) and antenna (signal attenuation) properties. With this configuration, the temperature increase remained less than 2°C during real-time MR within 10 cm horizontal from the isocenter. The design was conspicuous <it>in vitro </it>and <it>in vivo</it>.</p> <p>Conclusion</p> <p>We have engineered a new loopless antenna configuration that imparts interventional MR catheters with satisfactory mechanical and imaging characteristics. This compact loopless antenna design can be generalized to visualize the whole shaft of any general-purpose polymer catheter to perform safe interventional procedures.</p

Dynamic temporary blood facility location-allocation during and post-disaster periods

The key objective of this study is to develop a tool (hybridization or integration of different techniques) for locating the temporary blood banks during and post-disaster conditions that could serve the hospitals with minimum response time. We have used temporary blood centers, which must be located in such a way that it is able to serve the demand of hospitals in nearby region within a shorter duration. We are locating the temporary blood centres for which we are minimizing the maximum distance with hospitals. We have used Tabu search heuristic method to calculate the optimal number of temporary blood centres considering cost components. In addition, we employ Bayesian belief network to prioritize the factors for locating the temporary blood facilities. Workability of our model and methodology is illustrated using a case study including blood centres and hospitals surrounding Jamshedpur city. Our results shows that at-least 6 temporary blood facilities are required to satisfy the demand of blood during and post-disaster periods in Jamshedpur. The results also show that that past disaster conditions, response time and convenience for access are the most important factors for locating the temporary blood facilities during and post-disaster periods

The role of leptin in the respiratory system: an overview

Since its cloning in 1994, leptin has emerged in the literature as a pleiotropic hormone whose actions extend from immune system homeostasis to reproduction and angiogenesis. Recent investigations have identified the lung as a leptin responsive and producing organ, while extensive research has been published concerning the role of leptin in the respiratory system. Animal studies have provided evidence indicating that leptin is a stimulant of ventilation, whereas researchers have proposed an important role for leptin in lung maturation and development. Studies further suggest a significant impact of leptin on specific respiratory diseases, including obstructive sleep apnoea-hypopnoea syndrome, asthma, COPD and lung cancer. However, as new investigations are under way, the picture is becoming more complex. The scope of this review is to decode the existing data concerning the actions of leptin in the lung and provide a detailed description of leptin's involvement in the most common disorders of the respiratory system