740 research outputs found
CONFLLVM: A Compiler for Enforcing Data Confidentiality in Low-Level Code
We present an instrumenting compiler for enforcing data confidentiality in
low-level applications (e.g. those written in C) in the presence of an active
adversary. In our approach, the programmer marks secret data by writing
lightweight annotations on top-level definitions in the source code. The
compiler then uses a static flow analysis coupled with efficient runtime
instrumentation, a custom memory layout, and custom control-flow integrity
checks to prevent data leaks even in the presence of low-level attacks. We have
implemented our scheme as part of the LLVM compiler. We evaluate it on the SPEC
micro-benchmarks for performance, and on larger, real-world applications
(including OpenLDAP, which is around 300KLoC) for programmer overhead required
to restructure the application when protecting the sensitive data such as
passwords. We find that performance overheads introduced by our instrumentation
are moderate (average 12% on SPEC), and the programmer effort to port OpenLDAP
is only about 160 LoC.Comment: Technical report for CONFLLVM: A Compiler for Enforcing Data
Confidentiality in Low-Level Code, appearing at EuroSys 201
An Instrumenting Compiler for Enforcing Confidentiality in Low-Level Code
We present an instrumenting compiler for enforcing data confidentiality in low-level applications (e.g. those written in C) in the presence of an active adversary. In our approach, the programmer marks secret data by writing lightweight annotations on top-level definitions in the source code. The compiler then uses a static flow analysis coupled with efficient runtime instrumentation, a custom memory layout, and custom control-flow integrity checks to prevent data leaks even in the presence of low-level attacks. We have implemented our scheme as part of the LLVM compiler. We evaluate it on the SPEC micro-benchmarks for performance, and on larger, real-world applications (including OpenLDAP, which is around 300KLoC) for programmer overhead required to restructure the application when protecting the sensitive data such as passwords. We find that performance overheads introduced by our instrumentation are moderate (average 12% on SPEC), and the programmer effort to port OpenLDAP is only about 160 LoC
879-3 Utility of atrioventricular delay optimization in patients undergoing cardiac resynchronization therapy
CoMeT: An Integrated Interval Thermal Simulation Toolchain for 2D, 2.5 D, and 3D Processor-Memory Systems
Processing cores and the accompanying main memory working in tandem enable
the modern processors. Dissipating heat produced from computation, memory
access remains a significant problem for processors. Therefore, processor
thermal management continues to be an active research topic. Most thermal
management research takes place using simulations, given the challenges of
measuring temperature in real processors. Since core and memory are fabricated
on separate packages in most existing processors, with the memory having lower
power densities, thermal management research in processors has primarily
focused on the cores.
Memory bandwidth limitations associated with 2D processors lead to
high-density 2.5D and 3D packaging technology. 2.5D packaging places cores and
memory on the same package. 3D packaging technology takes it further by
stacking layers of memory on the top of cores themselves. Such packagings
significantly increase the power density, making processors prone to heating.
Therefore, mitigating thermal issues in high-density processors (packaged with
stacked memory) becomes an even more pressing problem. However, given the lack
of thermal modeling for memories in existing interval thermal simulation
toolchains, they are unsuitable for studying thermal management for
high-density processors.
To address this issue, we present CoMeT, the first integrated Core and Memory
interval Thermal simulation toolchain. CoMeT comprehensively supports thermal
simulation of high- and low-density processors corresponding to four different
core-memory configurations - off-chip DDR memory, off-chip 3D memory, 2.5D, and
3D. CoMeT supports several novel features that facilitate overlying system
research. Compared to an equivalent state-of-the-art core-only toolchain, CoMeT
adds only a ~5% simulation-time overhead. The source code of CoMeT has been
made open for public use under the MIT license.Comment: https://github.com/marg-tools/CoMe
Proprietary Milk Protein Concentrate Reduces Joint Discomfort While Improving Exercise Performance in Non-Osteoarthritic Individuals
Milk and dairy products are known to contain various bioactives with potential anti-inflammatory and immune modulating effects. Previous research has indicated that milk produced from hyperimmunized cows provided meaningful health benefits to individuals suffering from varying degrees of osteoarthritis and rheumatoid arthritis. PURPOSE: To examine the impact of a proprietary milk protein concentrate on joint discomfort and physical function, exercise performance, quality of life and various measures of affect. METHODS: Non-osteoarthritic men (42.5 ± 8.9 years, 176.7 ± 6.7 cm, 89.9 ± 11.5 kg, 28.8 ± 3.5 kg/m2, n = 30) and women (46.4 ± 9.6 years, 163.1 ± 8.2 cm, 72.2 ± 13.1 kg, 27.2 ± 5.3 kg/m2, n = 28) with mild to moderate knee pain during physical activity were randomized in a double-blind, placebo-controlled fashion to consume daily either a placebo (PLA) or a proprietary milk protein concentrate (MP) for a period of 8 weeks. Participants completed a functional capacity test pre and post-supplementation and completed visual analog scales (VAS), a 6-min walking test, WOMAC and profile of mood states (POMS) to assess changes in joint health, discomfort, physical function, exercise performance and affect. Mixed factorial ANOVA was used for all statistical analysis and significance was set a priori at p ≤ 0.05. RESULTS: Distance covered in the 6-min walking significantly improved 9% in MP versus 2% in PLA (mean difference: 110 ± 43 m, p = 0.012) in addition to 11 WOMAC components and 5 VAS reflective of MP improving joint health, discomfort and joint stability (all p \u3c 0.05 vs. PLA). Additionally, MP also improved overall perceptions of neck and back health compared to PLA. Serum and whole blood indicators of clinical safety remained within normal ranges throughout the study. CONCLUSIONS: In comparison to placebo, daily doses of proprietary milk protein concentrate yielded improvements in several components of the WOMAC, multiple visual analog scales indicative of joint health and stability, discomfort and pain, as well as significant improvements in distance covered during a 6-min walking test. Supplementation was well tolerated with no significant changes in whole-blood or serum markers of clinical safety
Amyloid-β(1-42) aggregation initiates its cellular uptake and cytotoxicity
The accumulation of amyloid beta peptide(1-42) (Abeta(1-42)) in extracellular plaques is one of the pathological hallmarks of Alzheimer disease (AD). Several studies have suggested that cellular reuptake of Abeta(1-42) may be a crucial step in its cytotoxicity, but the uptake mechanism is not yet understood. Abeta may be present in an aggregated form prior to cellular uptake. Alternatively, monomeric peptide may enter the endocytic pathway and conditions in the endocytic compartments may induce the aggregation process. Our study aims to answer the question whether aggregate formation is a prerequisite or a consequence of Abeta endocytosis. We visualized aggregate formation of fluorescently labeled Abeta(1-42) and tracked its internalization by human neuroblastoma cells and neurons. beta-Sheet-rich Abeta(1-42) aggregates entered the cells at low nanomolar concentration of Abeta(1-42). In contrast, monomer uptake faced a concentration threshold and occurred only at concentrations and time scales that allowed Abeta(1-42) aggregates to form. By uncoupling membrane binding from internalization, we found that Abeta(1-42) monomers bound rapidly to the plasma membrane and formed aggregates there. These structures were subsequently taken up and accumulated in endocytic vesicles. This process correlated with metabolic inhibition. Our data therefore imply that the formation of beta-sheet-rich aggregates is a prerequisite for Abeta(1-42) uptake and cytotoxicity
Recommended from our members
Improving survival of probiotic bacteria using bacterial poly-γ-glutamic acid
A major hurdle in producing a useful probiotic food product is bacterial survival during storage and ingestion. The aim of this study was to test the effect of γ-PGA immobilisation on the survival of probiotic bacteria when stored in acidic fruit juice. Fruit juices provide an alternative means of probiotic delivery, especially to lactose intolerant individuals. In addition, the survival of γ-PGA-immobilised cells in simulated gastric juice was also assessed. Bifidobacteria strains (B. longum, B. breve), immobilised on 2.5 % γ-PGA, survived significantly better (P < 0.05) in orange and pomegranate juice for 39 and 11 days respectively, compared to free cells. However, cells survived significantly better (P < 0.05) when stored in orange juice compared to pomegranate juice. Moreover, both strains, when protected with 2.5 % γ-PGA, survived in simulated gastric juice (pH 2.0) with a marginal reduction (<0.47 log CFU/ml) or no significant reduction in viable cells after four hours, whereas free cells died within two hours. In conclusion, this research indicates that γ-PGA can be used to protect Bifidobacteria cells in fruit juice, and could also help improve the survival of cells as they pass through the harsh conditions of the gastrointestinal tract (GIT). Following our previous report on the use of γ-PGA as a cryoprotectant for probiotic bacteria, this research further suggests that γ-PGA could be used to improve probiotic survival during the various stages of preparation, storage and ingestion of probiotic cells
Recommended from our members
Application of multiplexed ion mobility spectrometry towards the identification of host protein signatures of treatment effect in pulmonary tuberculosis.
RationaleThe monitoring of TB treatments in clinical practice and clinical trials relies on traditional sputum-based culture status indicators at specific time points. Accurate, predictive, blood-based protein markers would provide a simpler and more informative view of patient health and response to treatment.ObjectiveWe utilized sensitive, high throughput multiplexed ion mobility-mass spectrometry (IM-MS) to characterize the serum proteome of TB patients at the start of and at 8 weeks of rifamycin-based treatment. We sought to identify treatment specific signatures within patients as well as correlate the proteome signatures to various clinical markers of treatment efficacy.MethodsSerum samples were collected from 289 subjects enrolled in CDC TB Trials Consortium Study 29 at time of enrollment and at the end of the intensive phase (after 40 doses of TB treatment). Serum proteins were immunoaffinity-depleted of high abundant components, digested to peptides and analyzed for data acquisition utilizing a unique liquid chromatography IM-MS platform (LC-IM-MS). Linear mixed models were utilized to identify serum protein changes in the host response to antibiotic treatment as well as correlations with culture status end points.ResultsA total of 10,137 peptides corresponding to 872 proteins were identified, quantified, and used for statistical analysis across the longitudinal patient cohort. In response to TB treatment, 244 proteins were significantly altered. Pathway/network comparisons helped visualize the interconnected proteins, identifying up regulated (lipid transport, coagulation cascade, endopeptidase activity) and down regulated (acute phase) processes and pathways in addition to other cross regulated networks (inflammation, cell adhesion, extracellular matrix). Detection of possible lung injury serum proteins such as HPSE, significantly downregulated upon treatment. Analyses of microbiologic data over time identified a core set of serum proteins (TTHY, AFAM, CRP, RET4, SAA1, PGRP2) which change in response to treatment and also strongly correlate with culture status. A similar set of proteins at baseline were found to be predictive of week 6 and 8 culture status.ConclusionA comprehensive host serum protein dataset reflective of TB treatment effect is defined. A repeating set of serum proteins (TTHY, AFAM, CRP, RET4, SAA1, PGRP2, among others) were found to change significantly in response to treatment, to strongly correlate with culture status, and at baseline to be predictive of future culture conversion. If validated in cohorts with long term follow-up to capture failure and relapse of TB, these protein markers could be developed for monitoring of treatment in clinical trials and in patient care
Effects of a dietary supplement on golf drive distance and functional indices of golf performance
Background
Limited research exists examining the impact of nutrition on golfing performance. This study’s purpose was to determine the impact of daily supplementation with an over-the-counter dietary supplement on golf performance. Methods
Healthy men (30.3 ± 6.9 y, 183.1 ± 5.6 cm, 86.7 ± 11.9 kg), with a 5–15 handicap were assigned in a double-blind, placebo-controlled manner to ingest for 30 days either a placebo (PLA, n = 13) or a dietary supplement containing creatine monohydrate, coffea arabica fruit extract, calcium fructoborate and vitamin D (Strong Drive™, SD, n = 14). Subjects ingested two daily doses for the first two weeks and one daily dose for the remaining two weeks. Participants followed their normal dietary habits and did not change their physical activity patterns. Two identical testing sessions in a pre/post fashion were completed consisting of a fasting blood sample, anthropometric measurements, 1-RM bench press, upper body power and golf swing performance using their driver and 7-iron. Data were analyzed using two-way mixed factorial ANOVAs and ANCOVA when baseline differences were present. Statistical significance was established a priori at p ≤ 0.05. Results
ANCOVA revealed significantly greater (post-test) best drive distance (p = 0.04) for SD (+5.0% [+13.6 yards], ES = 0.75) as well as a tendency (p = 0.07) for average drive distance to increase (+8.4% [+19.6 yards], ES = 0.65), while no such changes were found with PLA (−0.5% [−1.2 yards], ES = 0.04 and +1.3% [+2.8 yards], ES = 0.08, respectively). Both groups experienced significant increases in body mass and 1-RM bench press (p \u3c 0.001). No other significant group × time interactions were found. For the SD group only, within-group analysis confirmed significant improvements in set 1 average (+8.9%, p = 0.001) and peak velocity (+6.8%, p \u3c =0.01). No changes were noted for reported adverse events, pain inventories, quality of life or any measured blood parameter. Conclusions
SD supplementation for 30 days significantly improved best drive distance more than placebo. Supplementation was well tolerated and did not result in any clinically significant changes in markers of health or adverse events/side effect profiles
Cosmological Solutions to the Lithium Problem
The abundance of primordial lithium is derived from the observed spectroscopy
of metal-poor stars in the galactic halo. However, the observationally inferred
abundance remains at about a factor of three below the abundance predicted by
standard big bang nucleosynthesis (BBN). The resolution of this dilemma can be
either astrophysical (stars destroy lithium after BBN), nuclear (reactions
destroy lithium during BBN), or cosmological, i.e. new physics beyond the
standard BBN is responsible for destroying lithium. Here, we overview a variety
of possible cosmological solutions, and their shortcomings. On the one hand, we
examine the possibility of physical processes that modify the velocity
distribution of particles from the usually assumed Maxwell-Boltzmann
statistics. A physical justification for this is an inhomogeneous spatial
distribution of domains of primordial magnetic field strength as a means to
reduce the primordial lithium abundance. Another possibility is that scattering
with the mildly relativistic electrons in the background plasma alters the
baryon distribution to one resembling a Fermi-Dirac distribution. We show that
neither of these possibilities can adequately resolve the lithium problem. A
number of alternate hybrid models are discussed including a mix of neutrino
degeneracy, unified dark matter, axion cooling, and the presence of decaying
and/or charged supersymmetric particles.Comment: 6 pages, 0 figures, conference proceeding
- …