Privacy Preserving Threat Hunting in Smart Home Environments

The recent proliferation of smart home environments offers new and transformative circumstances for various domains with a commitment to enhancing the quality of life and experience. Most of these environments combine different gadgets offered by multiple stakeholders in a dynamic and decentralized manner, which in turn presents new challenges from the perspective of digital investigation. In addition, a plentiful amount of data records got generated because of the day to day interactions between these gadgets and homeowners, which poses difficulty in managing and analyzing such data. The analysts should endorse new digital investigation approaches to tackle the current limitations in traditional approaches when used in these environments. The digital evidence in such environments can be found inside the records of logfiles that store the historical events occurred inside the smart home. Threat hunting can leverage the collective nature of these gadgets to gain deeper insights into the best way for responding to new threats, which in turn can be valuable in reducing the impact of breaches. Nevertheless, this approach depends mainly on the readiness of smart homeowners to share their own personal usage logs that have been extracted from their smart home environments. However, they might disincline to employ such service due to the sensitive nature of the information logged by their personal gateways. In this paper, we presented an approach to enable smart homeowners to share their usage logs in a privacy preserving manner. A distributed threat hunting approach has been developed to permit the composition of diverse threat classes without revealing the logged records to other involved parties. Furthermore, a scenario was proposed to depict a proactive threat Intelligence sharing for the detection of potential threats in smart home environments with some experimental results.Comment: In Proc. the International Conference on Advances in Cyber Security, Penang, Malaysia, July 201

Residual stress measurement in thin films using the semi-destructive ring-core drilling method using Focused Ion Beam

In the present study, residual stress evaluation in thin films was achieved using a semi-destructive trench-cutting method. Focused Ion Beam (FIB) was employed to introduce the strain relief by ring-core milling, i.e. creating a trench around an "island". Either SEM or FIB imaging can be used to record sequences of images for strain change evaluation by Digital Image Correlation (DIC) analysis of micrographs. A regular array of shallow holes was drilled on a thin overlayer of Pt (∼100nm) deposited on to the film prior to patterning and trenching, in order to reduce the damage introduced by the ion beam during imaging and to assist the DIC strain evaluation by adding traceable markers. Finite Element (FE) simulation was also carried out to predict the curves for strain relief as a function of milling depth, and compared with the experimental measurements, which show good agreement with each other. An empirical mathematical description of the curves was proposed that allows efficient residual stress evaluation in thin solid films. © 2011 Published by Elsevier Ltd

Speeding up the constraint-based method in difference logic

"The final publication is available at http://link.springer.com/chapter/10.1007%2F978-3-319-40970-2_18"Over the years the constraint-based method has been successfully applied to a wide range of problems in program analysis, from invariant generation to termination and non-termination proving. Quite often the semantics of the program under study as well as the properties to be generated belong to difference logic, i.e., the fragment of linear arithmetic where atoms are inequalities of the form u v = k. However, so far constraint-based techniques have not exploited this fact: in general, Farkas’ Lemma is used to produce the constraints over template unknowns, which leads to non-linear SMT problems. Based on classical results of graph theory, in this paper we propose new encodings for generating these constraints when program semantics and templates belong to difference logic. Thanks to this approach, instead of a heavyweight non-linear arithmetic solver, a much cheaper SMT solver for difference logic or linear integer arithmetic can be employed for solving the resulting constraints. We present encouraging experimental results that show the high impact of the proposed techniques on the performance of the VeryMax verification systemPeer ReviewedPostprint (author's final draft

Seminar Users in the Arabic Twitter Sphere

We introduce the notion of "seminar users", who are social media users engaged in propaganda in support of a political entity. We develop a framework that can identify such users with 84.4% precision and 76.1% recall. While our dataset is from the Arab region, omitting language-specific features has only a minor impact on classification performance, and thus, our approach could work for detecting seminar users in other parts of the world and in other languages. We further explored a controversial political topic to observe the prevalence and potential potency of such users. In our case study, we found that 25% of the users engaged in the topic are in fact seminar users and their tweets make nearly a third of the on-topic tweets. Moreover, they are often successful in affecting mainstream discourse with coordinated hashtag campaigns.Comment: to appear in SocInfo 201

Aspiration of parenteral nutrition – a previously unreported complication of central venous access in an infant: a case report

Introduction: The insertion of percutaneous central venous catheters is a common procedure in neonatal intensive care nurseries. Placement of the catheter tip in a large central vein is most desirable. Occasionally, due to difficult venous access, catheter tips are left in places that are less than ideal. Case presentation: A female infant with a complicated gastroschisis developed signs of short bowel syndrome post surgery. She was treated with a combination of parenteral nutrition and enteral feeds. A central venous line was inserted through a scalp vein. The tip was noted to be in a vessel at the level of the mandible. She subsequently became unwell with large milky pharyngeal aspirates and episodes of bradycardia. Chest radiography revealed aspiration. The central venous line was removed because of presumed extravasation. This is the first reported case of parenteral nutrition extravasation into the pharynx causing aspiration in an infant. Conclusion: This complication may have been prevented by recognising that the tip of the catheter was not correctly placed. When catheters are in unusual positions it may be useful to obtain a second radiograph from a different angle or an ultrasound scan to confirm the positioning of the catheter tip

Aspiration of parenteral nutrition – a previously unreported complication of central venous access in an infant: a case report

Introduction: The insertion of percutaneous central venous catheters is a common procedure in neonatal intensive care nurseries. Placement of the catheter tip in a large central vein is most desirable. Occasionally, due to difficult venous access, catheter tips are left in places that are less than ideal. Case presentation: A female infant with a complicated gastroschisis developed signs of short bowel syndrome post surgery. She was treated with a combination of parenteral nutrition and enteral feeds. A central venous line was inserted through a scalp vein. The tip was noted to be in a vessel at the level of the mandible. She subsequently became unwell with large milky pharyngeal aspirates and episodes of bradycardia. Chest radiography revealed aspiration. The central venous line was removed because of presumed extravasation. This is the first reported case of parenteral nutrition extravasation into the pharynx causing aspiration in an infant. Conclusion: This complication may have been prevented by recognising that the tip of the catheter was not correctly placed. When catheters are in unusual positions it may be useful to obtain a second radiograph from a different angle or an ultrasound scan to confirm the positioning of the catheter tip

Nanoscale residual stress depth profiling by Focused Ion Beam milling and eigenstrain analysis

Residual stresses play a crucial role in determining material properties and behaviour, in terms of structural integrity under monotonic and cyclic loading, and for functional performance, in terms of capacitance, conductivity, band gap, and other characteristics. The methods for experimental residual stress analysis at the macro- and micro-scales are well established, but residual stress evaluation at the nanoscale faces major challenges, e.g. the need for sample sectioning to prepare thin lamellae, by its very nature introducing major modifications to the quantity being evaluated. Residual stress analysis by micro-ring core Focused Ion Beam milling directly at sample surface offers lateral resolution better than 1 μm, and encodes information about residual stress depth variation. We report a new method for residual stress depth profiling at the resolution better than 50 nm by the application of a mathematically straightforward and robust approach based on the concept of eigenstrain. The results are validated by direct comparison with measurements by nano-focus synchrotron X-ray diffraction.</p

A hierarchical and modular approach to the discovery of robust associations in genome-wide association studies from pooled DNA samples

[Background] One of the challenges of the analysis of pooling-based genome wide association studies is to identify authentic associations among potentially thousands of false positive associations. [Results] We present a hierarchical and modular approach to the analysis of genome wide genotype data that incorporates quality control, linkage disequilibrium, physical distance and gene ontology to identify authentic associations among those found by statistical association tests. The method is developed for the allelic association analysis of pooled DNA samples, but it can be easily generalized to the analysis of individually genotyped samples. We evaluate the approach using data sets from diverse genome wide association studies including fetal hemoglobin levels in sickle cell anemia and a sample of centenarians and show that the approach is highly reproducible and allows for discovery at different levels of synthesis. [Conclusion] Results from the integration of Bayesian tests and other machine learning techniques with linkage disequilibrium data suggest that we do not need to use too stringent thresholds to reduce the number of false positive associations. This method yields increased power even with relatively small samples. In fact, our evaluation shows that the method can reach almost 70% sensitivity with samples of only 100 subjects.Supported by NHLBI grants R21 HL080463 (PS); R01 HL68970 (MHS); K-24, AG025727 (TP); K23 AG026754 (D.T.)

Age, gender, and cancer but not neurodegenerative and cardiovascular diseases strongly modulate systemic effect of the Apolipoprotein E4 allele on lifespan

Enduring interest in the Apolipoprotein E (ApoE) polymorphism is ensured by its evolutionary-driven uniqueness in humans and its prominent role in geriatrics and gerontology. We use large samples of longitudinally followed populations from the Framingham Heart Study (FHS) original and offspring cohorts and the Long Life Family Study (LLFS) to investigate gender-specific effects of the ApoE4 allele on human survival in a wide range of ages from midlife to extreme old ages, and the sensitivity of these effects to cardiovascular disease (CVD), cancer, and neurodegenerative disorders (ND). The analyses show that women's lifespan is more sensitive to the e4 allele than men's in all these populations. A highly significant adverse effect of the e4 allele is limited to women with moderate lifespan of about 70 to 95 years in two FHS cohorts and the LLFS with relative risk of death RR = 1.48 (p = 3.6×10(−6)) in the FHS cohorts. Major human diseases including CVD, ND, and cancer, whose risks can be sensitive to the e4 allele, do not mediate the association of this allele with lifespan in large FHS samples. Non-skin cancer non-additively increases mortality of the FHS women with moderate lifespans increasing the risks of death of the e4 carriers with cancer two-fold compared to the non-e4 carriers, i.e., RR = 2.07 (p = 5.0×10(−7)). The results suggest a pivotal role of non-sex-specific cancer as a nonlinear modulator of survival in this sample that increases the risk of death of the ApoE4 carriers by 150% (p = 5.3×10(−8)) compared to the non-carriers. This risk explains the 4.2 year shorter life expectancy of the e4 carriers compared to the non-carriers in this sample. The analyses suggest the existence of age- and gender-sensitive systemic mechanisms linking the e4 allele to lifespan which can non-additively interfere with cancer-related mechanisms