Checking Interaction-Based Declassification Policies for Android Using Symbolic Execution

Mobile apps can access a wide variety of secure information, such as contacts and location. However, current mobile platforms include only coarse access control mechanisms to protect such data. In this paper, we introduce interaction-based declassification policies, in which the user's interactions with the app constrain the release of sensitive information. Our policies are defined extensionally, so as to be independent of the app's implementation, based on sequences of security-relevant events that occur in app runs. Policies use LTL formulae to precisely specify which secret inputs, read at which times, may be released. We formalize a semantic security condition, interaction-based noninterference, to define our policies precisely. Finally, we describe a prototype tool that uses symbolic execution to check interaction-based declassification policies for Android, and we show that it enforces policies correctly on a set of apps.Comment: This research was supported in part by NSF grants CNS-1064997 and 1421373, AFOSR grants FA9550-12-1-0334 and FA9550-14-1-0334, a partnership between UMIACS and the Laboratory for Telecommunication Sciences, and the National Security Agenc

Nucleosomes in colorectal cancer patients during radiochemotherapy

Apoptotic markers and tumor-associated antigens might be suitable to indicate the response to radiochemotherapy early. We analyzed the courses of nucleosomes, CEA, CA 19-9 and CYFRA 21-1 in 25 colorectal cancer patients during radiochemotherapy (4 postoperative, 13 preoperative, 8 local relapse therapy). Blood was taken before therapy, daily during the first week, once weekly during the following weeks, and at the end of the radiochemotherapy. After a temporary decline 6 h after the first irradiation, nucleosomes rose in most patients rapidly reaching a maximum during the first days which was followed by a subsequent decrease. In patients receiving postoperative therapy after complete resection of tumor, nucleosome levels generally were lower than in patients with preoperative or relapse therapy. Correspondingly, CEA, CA 19-9 and CYFRA 21-1 levels of postoperatively treated patients were the lowest whereas those with tumor relapse had the highest ones. During preoperative therapy, lower nucleosome concentrations were found in patients with response to therapy resulting in a smaller area under the curve of days 1-3 (AUC) than in those with progressive disease (p = 0.028). The other parameters did not indicate the response to therapy at the initial treatment phase. In conclusion, the course of nucleosomes (AUC) might be valuable for the early prediction of therapy response in preoperatively treated colorectal cancer patients. Copyright (c) 2006 S. Karger AG, Basel

On Embeddability of Buses in Point Sets

Set membership of points in the plane can be visualized by connecting corresponding points via graphical features, like paths, trees, polygons, ellipses. In this paper we study the \emph{bus embeddability problem} (BEP): given a set of colored points we ask whether there exists a planar realization with one horizontal straight-line segment per color, called bus, such that all points with the same color are connected with vertical line segments to their bus. We present an ILP and an FPT algorithm for the general problem. For restricted versions of this problem, such as when the relative order of buses is predefined, or when a bus must be placed above all its points, we provide efficient algorithms. We show that another restricted version of the problem can be solved using 2-stack pushall sorting. On the negative side we prove the NP-completeness of a special case of BEP.Comment: 19 pages, 9 figures, conference version at GD 201

Nucleosomes in serum of patients with early cerebral stroke

Background: Nucleosomes are cell death products that are elevated in serum of patients with diseases that are associated with massive cell destruction. We investigated the kinetics of circulating nucleosomes after cerebral stroke and their correlation with the clinical status. Methods: In total, we analyzed nucleosomes by ELISA in sera of 63 patients with early stroke daily during the first week after onset. For correlation with the clinical pathology, patients were grouped into those with medium to slight functional impairment (Barthel Index BI >= 50) and those with severe functional impairment (BI = 50 showed a continuous increase in nucleosomes until day 5 (median: 523 arbitrary units, AU) followed by a slow decline. In contrast, patients with BI = 50 (497 AU; p = 0.031). Concerning the infarction volume, nucleosomes showed significant correlations for the concentrations on day 3 (r = 0.43; p = 0.001) and for the area under the curve (r = 0.34; p = 0.016). Conclusion: Even if nucleosomes are nonspecific cell death markers, their release into serum after cerebral stroke correlates with the gross functional status as well as with the infarction volume and can be considered as biochemical correlative to the severity of stroke. Copyright (c) 2006 S. Karger AG, Basel

Associations between taste perception profiles and empirically derived dietary patterns: an exploratory analysis among older adults with metabolic syndrome

Taste perception is a primary driver of food choices; however, little is known about how perception of all five tastes (sweet, salt, sour, bitter, umami) collectively inform dietary patterns. Our aim was to examine the associations between a multivariable measure of taste perception—taste perception profiles—and empirically derived dietary patterns. The cohort included 367 community-dwelling adults (55–75 years; 55% female; BMI = 32.2 ± 3.6 kg/m2) with metabolic syndrome from PREDIMED-Plus, Valencia. Six taste perception profiles were previously derived via data-driven clustering (Low All, High Bitter, High Umami, Low Bitter and Umami, High All But Bitter, High All But Umami); three dietary patterns were derived via principal component analysis (% variance explained = 20.2). Cross-sectional associations between profiles and tertials of dietary pattern adherence were examined by multinomial logistic regression. Overall, there were several significant differences in dietary pattern adherence between profiles: the vegetables, fruits, and whole grains pattern was significantly more common for the High All But Umami profile (OR range for high vs. low adherence relative to other profiles (1.45–1.99; 95% CI minimum lower, maximum upper bounds: 1.05, 2.74), the non-extra virgin olive oils, sweets, and refined grains pattern tended to be less common for Low All or High Bitter profiles (OR range: 0.54–0.82), while the alcohol, salty foods, and animal fats pattern tended to be less common for Low Bitter and Umami and more common for High All But Bitter profiles (OR range: 0.55–0.75 and 1.11–1.81, respectively). In conclusion, among older adults with metabolic syndrome, taste perception profiles were differentially associated with dietary patterns, suggesting the benefit of integrating taste perception into personalized nutrition guidance

Point-of-Care Ultrasound Assessment of Tropical Infectious Diseases—A Review of Applications and Perspectives

The development of good quality and affordable ultrasound machines has led to the establishment and implementation of numerous point-of-care ultrasound (POCUS) protocols in various medical disciplines. POCUS for major infectious diseases endemic in tropical regions has received less attention, despite its likely even more pronounced benefit for populations with limited access to imaging infrastructure. Focused assessment with sonography for HIV-associated TB (FASH) and echinococcosis (FASE) are the only two POCUS protocols for tropical infectious diseases, which have been formally investigated and which have been implemented in routine patient care today. This review collates the available evidence for FASH and FASE, and discusses sonographic experiences reported for urinary and intestinal schistosomiasis, lymphatic filariasis, viral hemorrhagic fevers, amebic liver abscess, and visceral leishmaniasis. Potential POCUS protocols are suggested and technical as well as training aspects in the context of resource-limited settings are reviewed. Using the focused approach for tropical infectious diseases will make ultrasound diagnosis available to patients who would otherwise have very limited or no access to medical imaging

Radiation management and credentialing of fluoroscopy users

During the last 15 years, developments in X-ray technologies have substantially improved the ability of practitioners to treat patients using fluoroscopically guided interventional techniques. Many of these procedures require a greater use of fluoroscopy and more recording of images. This increases the potential for radiation-induced dermatitis and epilation, as well as severe radiation-induced burns to patients. Many fluoroscope operators are untrained in radiation management and do not realize that these procedures increase the risk of radiation injury and radiation-induced cancer in personnel as well as patients. The hands of long-time fluoroscope operators in some cases exhibit radiation damage—especially when sound radiation protection practices have not been followed. In response, the Center for Devices and Radiological Health of the United States Food and Drug Administration has issued an Advisory calling for proper training of operators. Hospitals and administrators need to support and enforce the need for this training by requiring documentation of credentials in radiation management as a prerequisite for obtaining fluoroscopy privileges. A concerted effort on the part of professional medical organizations and regulatory agencies will be required to train fluoroscopy users to prevent physicians from unwittingly imparting serious radiation injuries to their patients

The ownership of digital infrastructure: Exploring the deployment of software libraries in a digital innovation cluster

Boundary resources have been shown to enable the arm’s-length relationships between platform owners and third-party developers that underlie digital innovation in platform ecosystems. While boundary resources that are owned by open-source communities and smaller-scale software vendors are also critical components in the digital infrastructure, their role in digital innovation has yet to be systematically explored. In particular, software libraries are popular boundary resources that provide functionality without the need for continued interaction with their owners. They are used extensively by commercial vendors to enable customization of their software products, by communities to disseminate open-source software, and by big-tech platform owners to provide functionality that does not involve control. This paper reports on the deployment of such software libraries in the web and mobile (Android) contexts by 107 startup companies in London. Our findings show that libraries owned by big-tech companies, product vendors, and communities coexist; that the deployment of big-tech libraries is unaffected by the scale of the deploying startup; and that context evolution paths are consequential for library deployment. These findings portray a balanced picture of digital infrastructure as neither the community-based utopia of early open-source research nor the dystopia of the recent digital dominance literature