Towards Bidirectional Ratcheted Key Exchange

Ratcheted key exchange (RKE) is a cryptographic technique used in instant messaging systems like Signal and the WhatsApp messenger for attaining strong security in the face of state exposure attacks. RKE received academic attention in the recent works of Cohn-Gordon et al. (EuroS&P 2017) and Bellare et al. (CRYPTO 2017). While the former is analytical in the sense that it aims primarily at assessing the security that one particular protocol does achieve (which might be weaker than the notion that it should achieve), the authors of the latter develop and instantiate a notion of security from scratch, independently of existing implementations. Unfortunately, however, their model is quite restricted, e.g. for considering only unidirectional communication and the exposure of only one of the two parties.In this article we resolve the limitations of prior work by developing alternative security definitions, for unidirectional RKE as well as for RKE where both parties contribute. We follow a purist approach, aiming at finding strong yet convincing notions that cover a realistic communication model with fully concurrent operation of both participants. We further propose secure instantiations (as the protocols analyzed or proposed by Cohn-Gordon et al. and Bellare et al. turn out to be weak in our models). While our scheme for the unidirectional case builds on a generic KEM as the main building block (differently to prior work that requires explicitly Diffie–Hellman), our schemes for bidirectional RKE require a stronger, HIBE-like component

Dispelling urban myths about default uncertainty factors in chemical risk assessment - Sufficient protection against mixture effects?

© 2013 Martin et al.; licensee BioMed Central LtdThis article has been made available through the Brunel Open Access Publishing Fund.Assessing the detrimental health effects of chemicals requires the extrapolation of experimental data in animals to human populations. This is achieved by applying a default uncertainty factor of 100 to doses not found to be associated with observable effects in laboratory animals. It is commonly assumed that the toxicokinetic and toxicodynamic sub-components of this default uncertainty factor represent worst-case scenarios and that the multiplication of those components yields conservative estimates of safe levels for humans. It is sometimes claimed that this conservatism also offers adequate protection from mixture effects. By analysing the evolution of uncertainty factors from a historical perspective, we expose that the default factor and its sub-components are intended to represent adequate rather than worst-case scenarios. The intention of using assessment factors for mixture effects was abandoned thirty years ago. It is also often ignored that the conservatism (or otherwise) of uncertainty factors can only be considered in relation to a defined level of protection. A protection equivalent to an effect magnitude of 0.001-0.0001% over background incidence is generally considered acceptable. However, it is impossible to say whether this level of protection is in fact realised with the tolerable doses that are derived by employing uncertainty factors. Accordingly, it is difficult to assess whether uncertainty factors overestimate or underestimate the sensitivity differences in human populations. It is also often not appreciated that the outcome of probabilistic approaches to the multiplication of sub-factors is dependent on the choice of probability distributions. Therefore, the idea that default uncertainty factors are overly conservative worst-case scenarios which can account both for the lack of statistical power in animal experiments and protect against potential mixture effects is ill-founded. We contend that precautionary regulation should provide an incentive to generate better data and recommend adopting a pragmatic, but scientifically better founded approach to mixture risk assessment. © 2013 Martin et al.; licensee BioMed Central Ltd.Oak Foundatio

Offspring Hormones Reflect the Maternal Prenatal Social Environment: Potential for Foetal Programming?

Females of many species adaptively program their offspring to predictable environmental conditions, a process that is often mediated by hormones. Laboratory studies have shown, for instance, that social density affects levels of maternal cortisol and testosterone, leading to fitness-relevant changes in offspring physiology and behaviour. However, the effects of social density remain poorly understood in natural populations due to the difficulty of disentangling confounding influences such as climatic variation and food availability. Colonially breeding marine mammals offer a unique opportunity to study maternal effects in response to variable colony densities under similar ecological conditions. We therefore quantified maternal and offspring hormone levels in 84 Antarctic fur seals (Arctocephalus gazella) from two closely neighbouring colonies of contrasting density. Hair samples were used as they integrate hormone levels over several weeks or months and therefore represent in utero conditions during foetal development. We found significantly higher levels of cortisol and testosterone (both P < 0.001) in mothers from the high density colony, reflecting a more stressful and competitive environment. In addition, offspring testosterone showed a significant positive correlation with maternal cortisol (P < 0.05). Although further work is needed to elucidate the potential consequences for offspring fitness, these findings raise the intriguing possibility that adaptive foetal programming might occur in fur seals in response to the maternal social environment. They also lend support to the idea that hormonally mediated maternal effects may depend more strongly on the maternal regulation of androgen rather than cortisol levels

Mathematical model insights into arsenic detoxification

<p>Abstract</p> <p>Background</p> <p>Arsenic in drinking water, a major health hazard to millions of people in South and East Asia and in other parts of the world, is ingested primarily as trivalent inorganic arsenic (iAs), which then undergoes hepatic methylation to methylarsonic acid (MMAs) and a second methylation to dimethylarsinic acid (DMAs). Although MMAs and DMAs are also known to be toxic, DMAs is more easily excreted in the urine and therefore methylation has generally been considered a detoxification pathway. A collaborative modeling project between epidemiologists, biologists, and mathematicians has the purpose of explaining existing data on methylation in human studies in Bangladesh and also testing, by mathematical modeling, effects of nutritional supplements that could increase As methylation.</p> <p>Methods</p> <p>We develop a whole body mathematical model of arsenic metabolism including arsenic absorption, storage, methylation, and excretion. The parameters for arsenic methylation in the liver were taken from the biochemical literature. The transport parameters between compartments are largely unknown, so we adjust them so that the model accurately predicts the urine excretion rates of time for the iAs, MMAs, and DMAs in single dose experiments on human subjects.</p> <p>Results</p> <p>We test the model by showing that, with no changes in parameters, it predicts accurately the time courses of urinary excretion in mutiple dose experiments conducted on human subjects. Our main purpose is to use the model to study and interpret the data on the effects of folate supplementation on arsenic methylation and excretion in clinical trials in Bangladesh. Folate supplementation of folate-deficient individuals resulted in a 14% decrease in arsenicals in the blood. This is confirmed by the model and the model predicts that arsenicals in the liver will decrease by 19% and arsenicals in other body stores by 26% in these same individuals. In addition, the model predicts that arsenic methyltransferase has been upregulated by a factor of two in this population. Finally, we also show that a modification of the model gives excellent fits to the data on arsenic metabolism in human cultured hepatocytes.</p> <p>Conclusions</p> <p>The analysis of the Bangladesh data using the model suggests that folate supplementation may be more effective at reducing whole body arsenic than previously expected. There is almost no data on the upregulation of arsenic methyltransferase in populations chronically exposed to arsenic. Our model predicts upregulation by a factor of two in the Bangladesh population studied. This prediction should be verified since it could have important public health consequences both for treatment strategies and for setting appropriate limits on arsenic in drinking water. Our model has compartments for the binding of arsenicals to proteins inside of cells and we show that these comparments are necessary to obtain good fits to data. Protein-binding of arsenicals should be explored in future biochemical studies.</p

Population Structure as Revealed by mtDNA and Microsatellites in Northern Fur Seals, Callorhinus ursinus, throughout Their Range

Background: The northern fur seal (Callorhinus ursinus; NFS) is a widely distributed pinniped that has been shown to exhibit a high degree of philopatry to islands, breeding areas on an island, and even to specific segments of breeding areas. This level of philopatry could conceivably lead to highly genetically divergent populations. However, northern fur seals have the potential for dispersal across large distances and have experienced repeated rapid population expansions following glacial retreat and the more recent cessation of intensive harvest pressure. Methodology/Principal Findings: Using microsatellite and mitochondrial loci, we examined population structure in NFS throughout their range. We found only weak population genetic structure among breeding islands including significant FST and W ST values between eastern and western Pacific islands. Conclusions: We conclude that insufficient time since rapid population expansion events (both post glacial and following the cessation of intense harvest pressure) mixed with low levels of contemporary migration have resulted in an absence of genetic structure across the entire northern fur seal range

Optimal Channel Security Against Fine-Grained State Compromise: The Safety of Messaging

We aim to understand the best possible security of a (bidirectional) cryptographic channel against an adversary that may arbitrarily and repeatedly learn the secret state of either communicating party. We give a formal security definition and a proven-secure construction. This construction provides better security against state compromise than the Signal Double Ratchet Algorithm or any other known channel construction. To facilitate this we define and construct new forms of public-key encryption and digital signatures that update their keys over time

Influences of Domestication and Island Evolution on Dental Growth in Sheep

Abstract: Domestication and island evolution can lead to changes of life history along the slow-fast gradient. Shifts of life history patterns, in turn, are potentially related to alterations of patterns and timing of tooth eruption. Schultz’s rule predicts an earlier eruption of molars relative to premolars as fecundity increases during the domestication process. On the other hand, evolution on a predator-free, resource limited island might lead to a generally slow life history and delayed tooth eruption, as in the Plio-Pleistocene Balearic caprine Myotragus. In this study, we investigate tooth eruption and its relation to life history in a unique sheep population that is an example of both domestication and island evolution: the ancient and feral Soay sheep (Ovis aries) of the St. Kilda archipelago, Scotland. Tooth eruption timing and sequence is investigated in a comparative framework featuring new data on other domestic sheep (O. aries), including European mouflon (O. a. musimon), as well as wild sheep (O. vignei, O. cycloceros, O. arkal, O. orientalis, O. ammon). These data indicate that the order of eruption is similar in wild and domestic sheep, despite the fundamental life history changes that came about with domestication. However, in contrast to other domestic sheep breeds, Soay sheep erupt their teeth at an absolute older age and also tend to grow more slowly, which resembles the evolutionary trend in island-adapted Myotragus. Despite these similarities, Soay sheep do not share the slow life history pattern inferred for Myotragus, highlighting the distinctive nature of tooth eruption in Soay sheep