Device-Based Isolation for Securing Cryptographic Keys

In this work, we describe an eective device-based isolation approach for achieving data security. Device-based isolation leverages the proliferation of personal computing devices to provide strong run-time guarantees for the condentiality of secrets. To demonstrate our isolation approach, we show its use in protecting the secrecy of highly sensitive data that is crucial to security operations, such as cryptographic keys used for decrypting ciphertext or signing digital signatures. Private key is usually encrypted when not used, however, when being used, the plaintext key is loaded into the memory of the host for access. In our threat model, the host may be compromised by attackers, and thus the condentiality of the host memory cannot be preserved. We present a novel and practical solution and its prototype called DataGuard to protect the secrecy of the highly sensitive data through the storage isolation and secure tunneling enabled by a mobile handheld device. DataGuard can be deployed for the key protection of individuals or organizations

Centralizing (Sigma, Tau)-Derivations on Prime Gamma-Rings

More information can be found in the full paper

Centralizing Higher Left Centralizers on Prime Gamma Rings

In this paper  we study the commutativity  of prime ................

Stigma impedes AIDS prevention

Thirty years since the first cases of AIDS were described, there is much to celebrate regarding progress in the treatment and prevention of the disease. Within the past year alone, several studies have revealed that antiretroviral drugs can prevent the sexual transmission of HIV. Yet worldwide, many people who are potentially exposed to the virus avoid finding out whether they carry it, or deny that they are at risk of contracting it. Unless people establish whether they are infected, they will not be able to be adopt the most appropriate preventive measures. As scientists and clinicians, our ability to overcome this denialism will determine whether we ultimately succeed in using combinations of all the preventive and therapeutic tools now available to slow, and eventually stop, the HIV/AIDS pandemic

Growth Performance of the Nile Tilapia, Oreochromis Niloticusf Cultured in Cages in Two Dams in the Bongo District of Ghana

This study was carried out to compare the growth performance and survival rate of Nile tilapia, Oreochromis niloticus cultured in cages in two different dams in the Bongo District of the Upper East Region of Ghana. Three cages with the same structural characteristics were constructed in each of the dams as replicates. Each cage was stocked with 9500 all male O. niloticus fingerlings and fed with 48 % nourish plus feed thrice daily for a period of eight weeks. Twenty-five samples of the fishes were randomly collected bi-weekly from each cage and measurements such as standard length and body weight recorded. Other growth characteristics such as specific growth rate (SGR), feed conversion ratio (FCR), protein efficiency ratio (PER), mean weight gain (MWG), condition factor (K) and survival rate (SR) were estimated. The results revealed that, O. niloticus cultured in the Soe-Yidongo community dam recorded the highest growth performance in terms of final body weight, standard length, weight gain, specific growth rate, condition factor and protein efficiency ratio, and they were significantly different (p < 0.05) from those recorded in the Bon-Gurigo community dam which was attributed to the variations recorded in the physicochemical parameters of the two dams. It was concluded that tilapia cultured in cages might be an important alternative livelihood strategy for poor people in rural communities in Ghana

Anion Distribution, Structural Distortion, and Symmetry-Driven Optical Band Gap Bowing in Mixed Halide Cs2SnX6 Vacancy Ordered Double Perovskites.

Mixed anion compounds in the Fm3̅m vacancy ordered perovskite structure were synthesized and characterized experimentally and computationally with a focus on compounds where A = Cs+. Pure anion Cs2SnX6 compounds were formed with X = Cl, Br, and I using a room temperature solution phase method. Mixed anion compounds were formed as solid solutions of Cs2SnCl6 and Cs2SnBr6 and a second series from Cs2SnBr6 and Cs2SnI6. Single phase structures formed across the entirety of both composition series with no evidence of long-range anion ordering observed by diffraction. A distortion of the cubic A2BX6 structure was identified in which the spacing of the BX6 octahedra changes to accommodate the A site cation without reduction of overall symmetry. Optical band gap values varied with anion composition between 4.89 eV in Cs2SnCl6 to 1.35 eV in Cs2SnI6 but proved highly nonlinear with changes in composition. In mixed halide compounds, it was found that lower energy optical transitions appeared that were not present in the pure halide compounds, and this was attributed to lowering of the local symmetry within the tin halide octahedra. The electronic structure was characterized by photoemission spectroscopy, and Raman spectroscopy revealed vibrational modes in the mixed halide compounds that could be assigned to particular mixed halide octahedra. This analysis was used to determine the distribution of octahedra types in mixed anion compounds, which was found to be consistent with a near-random distribution of halide anions throughout the structure, although some deviations from random halide distribution were noted in mixed iodide-bromide compounds, where the larger iodide anions preferentially adopted trans configurations

Neural-Augmented Static Analysis of Android Communication

We address the problem of discovering communication links between applications in the popular Android mobile operating system, an important problem for security and privacy in Android. Any scalable static analysis in this complex setting is bound to produce an excessive amount of false-positives, rendering it impractical. To improve precision, we propose to augment static analysis with a trained neural-network model that estimates the probability that a communication link truly exists. We describe a neural-network architecture that encodes abstractions of communicating objects in two applications and estimates the probability with which a link indeed exists. At the heart of our architecture are type-directed encoders (TDE), a general framework for elegantly constructing encoders of a compound data type by recursively composing encoders for its constituent types. We evaluate our approach on a large corpus of Android applications, and demonstrate that it achieves very high accuracy. Further, we conduct thorough interpretability studies to understand the internals of the learned neural networks.Comment: Appears in Proceedings of the 2018 ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE

On zero sets in the Dirichlet space

We study the zeros sets of functions in the Dirichlet space. Using Carleson formula for Dirichlet integral, we obtain some new families of zero sets. We also show that any closed subset of E \subset \TT with logarithmic capacity zero is the accumulation points of the zeros of a function in the Dirichlet space. The zeros satisfy a growth restriction which depends on $E$.Comment: Journal of Geometric Analysis (2011