Probabilistic timing covert channels: to close or not to close?

We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of low variables. We then propose an algorithm which computes an estimate of the security of a program with respect to this notion in terms of timing leakage and show how to use this estimate for cost optimization

Rifampicin reduces plasma concentration of linezolid in patients with infective endocarditis

BACKGROUND\nOBJECTIVES\nPATIENTS AND METHODS\nRESULTS\nCONCLUSIONS\nLinezolid in combination with rifampicin has been used in treatment of infective endocarditis especially for patients infected with staphylococci.\nBecause rifampicin has been reported to reduce the plasma concentration of linezolid, the present study aimed to characterize the population pharmacokinetics of linezolid for the purpose of quantifying an effect of rifampicin cotreatment. In addition, the possibility of compensation by dosage adjustments was evaluated.\nPharmacokinetic measurements were performed in 62 patients treated with linezolid for left-sided infective endocarditis in the Partial Oral Endocarditis Treatment (POET) trial. Fifteen patients were cotreated with rifampicin. A total of 437 linezolid plasma concentrations were obtained. The pharmacokinetic data were adequately described by a one-compartment model with first-order absorption and first-order elimination.\nWe demonstrated a substantial increase of linezolid clearance by 150% (95% CI: 78%-251%), when combined with rifampicin. The final model was evaluated by goodness-of-fit plots showing an acceptable fit, and a visual predictive check validated the model. Model-based dosing simulations showed that rifampicin cotreatment decreased the PTA of linezolid from 94.3% to 34.9% and from 52.7% to 3.5% for MICs of 2 mg/L and 4 mg/L, respectively.\nA substantial interaction between linezolid and rifampicin was detected in patients with infective endocarditis, and the interaction was stronger than previously reported. Model-based simulations showed that increasing the linezolid dose might compensate without increasing the risk of adverse effects to the same degree.Pharmacolog

The trans-ancestral genomic architecture of glycemic traits

Glycemic traits are used to diagnose and monitor type 2 diabetes and cardiometabolic health. To date, most genetic studies of glycemic traits have focused on individuals of European ancestry. Here we aggregated genome-wide association studies comprising up to 281,416 individuals without diabetes (30% non-European ancestry) for whom fasting glucose, 2-h glucose after an oral glucose challenge, glycated hemoglobin and fasting insulin data were available. Trans-ancestry and single-ancestry meta-analyses identified 242 loci (99 novel; P < 5 x 10(-8)), 80% of which had no significant evidence of between-ancestry heterogeneity. Analyses restricted to individuals of European ancestry with equivalent sample size would have led to 24 fewer new loci. Compared with single-ancestry analyses, equivalent-sized trans-ancestry fine-mapping reduced the number of estimated variants in 99% credible sets by a median of 37.5%. Genomic-feature, gene-expression and gene-set analyses revealed distinct biological signatures for each trait, highlighting different underlying biological pathways. Our results increase our understanding of diabetes pathophysiology by using trans-ancestry studies for improved power and resolution.A trans-ancestry meta-analysis of GWAS of glycemic traits in up to 281,416 individuals identifies 99 novel loci, of which one quarter was found due to the multi-ancestry approach, which also improves fine-mapping of credible variant sets.Diabetes mellitus: pathophysiological changes and therap

The Influence of Age and Sex on Genetic Associations with Adult Body Size and Shape : A Large-Scale Genome-Wide Interaction Study

Genome-wide association studies (GWAS) have identified more than 100 genetic variants contributing to BMI, a measure of body size, or waist-to-hip ratio (adjusted for BMI, WHRadjBMI), a measure of body shape. Body size and shape change as people grow older and these changes differ substantially between men and women. To systematically screen for age-and/or sex-specific effects of genetic variants on BMI and WHRadjBMI, we performed meta-analyses of 114 studies (up to 320,485 individuals of European descent) with genome-wide chip and/or Metabochip data by the Genetic Investigation of Anthropometric Traits (GIANT) Consortium. Each study tested the association of up to similar to 2.8M SNPs with BMI and WHRadjBMI in four strata (men 50y, women 50y) and summary statistics were combined in stratum-specific meta-analyses. We then screened for variants that showed age-specific effects (G x AGE), sex-specific effects (G x SEX) or age-specific effects that differed between men and women (G x AGE x SEX). For BMI, we identified 15 loci (11 previously established for main effects, four novel) that showed significant (FDR= 50y). No sex-dependent effects were identified for BMI. For WHRadjBMI, we identified 44 loci (27 previously established for main effects, 17 novel) with sex-specific effects, of which 28 showed larger effects in women than in men, five showed larger effects in men than in women, and 11 showed opposite effects between sexes. No age-dependent effects were identified for WHRadjBMI. This is the first genome-wide interaction meta-analysis to report convincing evidence of age-dependent genetic effects on BMI. In addition, we confirm the sex-specificity of genetic effects on WHRadjBMI. These results may providefurther insights into the biology that underlies weight change with age or the sexually dimorphism of body shape.Peer reviewe

Designing ionic liquids: Imidazolium melts with inert carborane anions

A new class of low-melting N,N'-dialkylimidazolium salts has been prepared with carborane counterions, some of the most inert and least nucleophilic anions presently known. The cations and anions have been systematically varied with combinations of 1-ethyl-3-methyl-(EMIM+), 1-octyl-3-methyl-(OMIM+), 1-ethyl-2,3-dimethyl-(EDMIM+), and 1-butyl-2,3-dimethyl-(BDMIM+) imidazolium cations and CB11H12-, CB11H6Cl6-, and CB11H6Br6- carborane anions to elucidate the factors which affect their melting points. From trends in melting points, which range from 156 °C down to 45 °C, it is clear that the alkylation pattern on the imidazolium cation is the main determinant of melting point and that packing inefficiency of the cation is the intrinsic cause of low melting points. C-Alkylation of the anion can also contribute to low melting points by the introduction of a further packing inefficiency. Nine of the thirteen salts have been the subject of X-ray crystal structural determination. Notably, crystallographic disorder of the cation is observed in all but one of these salts. It is the most direct evidence to date that packing inefficiency is the major reason unsymmetrical N,N'-dialkylimidazolium salts can be liquids at room temperature