On solving fair exchange and related distributed problems in Byzantine environments

Abstract The solvability of the problem of fair exchange in a synchronous system subject to Byzantine failures is investigated in this work. The fair exchange problem arises when a group of processes are required to exchange digital items in a fair manner, which means that either each process obtains the item it was expecting or no process obtains any information on, the inputs of others. After introducing a novel specification of fair exchange that clearly separates safety and liveness, we give an overview of the difficulty of solving such a problem in the context of a fully-connected topology. On one hand, we show that no solution to fair exchange exists in the absence of an identified process that every process can trust a priori; on the other, a well-known solution to fair exchange relying on a trusted third party is recalled. These two results lead us to complete our system model with a flexible representation of the notion of trust. We then show that fair exchange is solvable if and only if a connectivity condition, named the reachable majority condition, is satisfied. The necessity of the condition is proven by an impossibility result and its sufficiency by presenting a general solution to fair exchange relying on a set of trusted processes. The focus is then turned towards a specific network topology in order to provide a fully decentralized, yet realistic, solution to fair exchange. The general solution mentioned above is optimized by reducing the computational load assumed by trusted processes as far as possible. Accordingly, our fair exchange protocol relies on trusted tamperproof modules that have limited communication abilities and are only required in key steps of the algorithm. This modular solution is then implemented in the context of a pedagogical application developed for illustrating and apprehending the complexity of fair exchange. This application, which also includes the implementation of a wide range of Byzantine behaviors, allows executions of the algorithm to be set up and monitored through a graphical display. Surprisingly, some of our results on fair exchange seem contradictory with those found in the literature of secure multiparty computation, a problem from the field of modern cryptography, although the two problems have much in common. Both problems are closely related to the notion of trusted third party, but their approaches and descriptions differ greatly. By introducing a common specification framework, a comparison is proposed in order to clarify their differences and the possible origins of the confusion between them. This leads us to introduce the problem of generalized fair computation, a generalization of fair exchange. Finally, a solution to this new problem is given by generalizing our modular solution to fair exchange

Des faux documents d'identité au renseignement forensique : développement d'une approche systématique et transversale du traitement de la donnée forensique à des fins de renseignement criminel

La fabrication, la distribution et l'usage de fausses pièces d'identité constituent une menace pour la sécurité autant publique que privée. Ces faux documents représentent en effet un catalyseur pour une multitude de formes de criminalité, des plus anodines aux formes les plus graves et organisées. La dimension, la complexité, la faible visibilité, ainsi que les caractères répétitif et évolutif de la fraude aux documents d'identité appellent des réponses nouvelles qui vont au-delà d'une approche traditionnelle au cas par cas ou de la stratégie du tout technologique dont la perspective historique révèle l'échec. Ces nouvelles réponses passent par un renforcement de la capacité de comprendre les problèmes criminels que posent la fraude aux documents d'identité et les phénomènes qui l'animent. Cette compréhension est tout bonnement nécessaire pour permettre d'imaginer, d'évaluer et de décider les solutions et mesures les plus appropriées. Elle requière de développer les capacités d'analyse et la fonction de renseignement criminel qui fondent en particulier les modèles d'action de sécurité les plus récents, tels que l'intelligence-led policing ou le problem-oriented policing par exemple. Dans ce contexte, le travail doctoral adopte une position originale en postulant que les fausses pièces d'identité se conçoivent utilement comme la trace matérielle ou le vestige résultant de l'activité de fabrication ou d'altération d'un document d'identité menée par les faussaires. Sur la base de ce postulat fondamental, il est avancé que l'exploitation scientifique, méthodique et systématique de ces traces au travers d'un processus de renseignement forensique permet de générer des connaissances phénoménologiques sur les formes de criminalité qui fabriquent, diffusent ou utilisent les fausses pièces d'identité, connaissances qui s'intègrent et se mettent avantageusement au service du renseignement criminel. A l'appui de l'épreuve de cette thèse de départ et de l'étude plus générale du renseignement forensique, le travail doctoral propose des définitions et des modèles. Il décrit des nouvelles méthodes de profilage et initie la constitution d'un catalogue de formes d'analyses. Il recourt également à des expérimentations et des études de cas. Les résultats obtenus démontrent que le traitement systématique de la donnée forensique apporte une contribution utile et pertinente pour le renseignement criminel stratégique, opérationnel et tactique, ou encore la criminologie. Combiné aux informations disponibles par ailleurs, le renseignement forensique produit est susceptible de soutenir l'action de sécurité dans ses dimensions répressive, proactive, préventive et de contrôle. En particulier, les méthodes de profilage des fausses pièces d'identité proposées permettent de révéler des tendances au travers de jeux de données étendus, d'analyser des modus operandi ou d'inférer une communauté ou différence de source. Ces méthodes appuient des moyens de détection et de suivi des séries, des problèmes et des phénomènes criminels qui s'intègrent dans le cadre de la veille opérationnelle. Ils permettent de regrouper par problèmes les cas isolés, de mettre en évidence les formes organisées de criminalité qui méritent le plus d'attention, ou de produire des connaissances robustes et inédites qui offrent une perception plus profonde de la criminalité. Le travail discute également les difficultés associées à la gestion de données et d'informations propres à différents niveaux de généralité, ou les difficultés relatives à l'implémentation du processus de renseignement forensique dans la pratique. Ce travail doctoral porte en premier lieu sur les fausses pièces d'identité et leur traitement par les protagonistes de l'action de sécurité. Au travers d'une démarche inductive, il procède également à une généralisation qui souligne que les observations ci-dessus ne valent pas uniquement pour le traitement systématique des fausses pièces d'identité, mais pour celui de tout type de trace dès lors qu'un profil en est extrait. Il ressort de ces travaux une définition et une compréhension plus transversales de la notion et de la fonction de renseignement forensique. The production, distribution and use of false identity documents constitute a threat to both public and private security. Fraudulent documents are a catalyser for a multitude of crimes, from the most trivial to the most serious and organised forms. The dimension, complexity, low visibility as well as the repetitive and evolving character of the production and use of false identity documents call for new solutions that go beyond the traditional case-by-case approach, or the technology-focused strategy whose failure is revealed by the historic perspective. These new solutions require to strengthen the ability to understand crime phenomena and crime problems posed by false identity documents. Such an understanding is pivotal in order to be able to imagine, evaluate and decide on the most appropriate measures and responses. Therefore, analysis capacities and crime intelligence functions, which found the most recent policing models such as intelligence-led policing or problem-oriented policing for instance, have to be developed. In this context, the doctoral research work adopts an original position by postulating that false identity documents can be usefully perceived as the material remnant resulting from the criminal activity undertook by forgers, namely the manufacture or the modification of identity documents. Based on this fundamental postulate, it is proposed that a scientific, methodical and systematic processing of these traces through a forensic intelligence approach can generate phenomenological knowledge on the forms of crime that produce, distribute and use false identity documents. Such knowledge should integrate and serve advantageously crime intelligence efforts. In support of this original thesis and of a more general study of forensic intelligence, the doctoral work proposes definitions and models. It describes new profiling methods and initiates the construction of a catalogue of analysis forms. It also leverages experimentations and case studies. Results demonstrate that the systematic processing of forensic data usefully and relevantly contributes to strategic, tactical and operational crime intelligence, and also to criminology. Combined with alternative information available, forensic intelligence may support policing in its repressive, proactive, preventive and control activities. In particular, the proposed profiling methods enable to reveal trends among extended datasets, to analyse modus operandi, or to infer that false identity documents have a common or different source. These methods support the detection and follow-up of crime series, crime problems and phenomena and therefore contribute to crime monitoring efforts. They enable to link and regroup by problems cases that were previously viewed as isolated, to highlight organised forms of crime which deserve greatest attention, and to elicit robust and novel knowledge offering a deeper perception of crime. The doctoral research work discusses also difficulties associated with the management of data and information relating to different levels of generality, or difficulties associated with the implementation in practice of the forensic intelligence process. The doctoral work focuses primarily on false identity documents and their treatment by policing stakeholders. However, through an inductive process, it makes a generalisation which underlines that observations do not only apply to false identity documents but to any kind of trace as soon as a profile is extracted. A more transversal definition and understanding of the concept and function of forensic intelligence therefore derives from the doctoral work.

Consensus recommendations on training and competing in the heat.

Exercising in the heat induces thermoregulatory and other physiological strain that can lead to impairments in endurance exercise capacity. The purpose of this consensus statement is to provide up-to-date recommendations to optimize performance during sporting activities undertaken in hot ambient conditions. The most important intervention one can adopt to reduce physiological strain and optimize performance is to heat acclimatize. Heat acclimatization should comprise repeated exercise-heat exposures over 1-2 weeks. In addition, athletes should initiate competition and training in a euhydrated state and minimize dehydration during exercise. Following the development of commercial cooling systems (e.g., cooling vest), athletes can implement cooling strategies to facilitate heat loss or increase heat storage capacity before training or competing in the heat. Moreover, event organizers should plan for large shaded areas, along with cooling and rehydration facilities, and schedule events in accordance with minimizing the health risks of athletes, especially in mass participation events and during the first hot days of the year. Following the recent examples of the 2008 Olympics and the 2014 FIFA World Cup, sport governing bodies should consider allowing additional (or longer) recovery periods between and during events for hydration and body cooling opportunities when competitions are held in the heat.

Sprint performance under heat stress: A review.

Training and competition in major track-and-field events, and for many team or racquet sports, often require the completion of maximal sprints in hot (>30 °C) ambient conditions. Enhanced short-term (<30 s) power output or single-sprint performance, resulting from transient heat exposure (muscle temperature rise), can be attributed to improved muscle contractility. Under heat stress, elevations in skin/core temperatures are associated with increased cardiovascular and metabolic loads in addition to decreasing voluntary muscle activation; there is also compelling evidence to suggest that large performance decrements occur when repeated-sprint exercise (consisting of brief recovery periods between sprints, usually <60 s) is performed in hot compared with cool conditions. Conversely, poorer intermittent-sprint performance (recovery periods long enough to allow near complete recovery, usually 60-300 s) in hotter conditions is solely observed when exercise induces marked hyperthermia (core temperature >39 °C). Here we also discuss strategies (heat acclimatization, precooling, hydration strategies) employed by "sprint" athletes to mitigate the negative influence of higher environmental temperatures.

AltitudeOmics : impaired pulmonary gas exchange efficiency and blunted ventilatory acclimatization in humans with patent foramen ovale after 16 days at 5,260 m.

A patent foramen ovale (PFO), present in ∼40% of the general population, is a potential source of right-to-left shunt that can impair pulmonary gas exchange efficiency [i.e., increase the alveolar-to-arterial Po2 difference (A-aDO2)]. Prior studies investigating human acclimatization to high-altitude with A-aDO2 as a key parameter have not investigated differences between subjects with (PFO+) or without a PFO (PFO-). We hypothesized that in PFO+ subjects A-aDO2 would not improve (i.e., decrease) after acclimatization to high altitude compared with PFO- subjects. Twenty-one (11 PFO+) healthy sea-level residents were studied at rest and during cycle ergometer exercise at the highest iso-workload achieved at sea level (SL), after acute transport to 5,260 m (ALT1), and again at 5,260 m after 16 days of high-altitude acclimatization (ALT16). In contrast to PFO- subjects, PFO+ subjects had 1) no improvement in A-aDO2 at rest and during exercise at ALT16 compared with ALT1, 2) no significant increase in resting alveolar ventilation, or alveolar Po2, at ALT16 compared with ALT1, and consequently had 3) an increased arterial Pco2 and decreased arterial Po2 and arterial O2 saturation at rest at ALT16. Furthermore, PFO+ subjects had an increased incidence of acute mountain sickness (AMS) at ALT1 concomitant with significantly lower peripheral O2 saturation (SpO2). These data suggest that PFO+ subjects have increased susceptibility to AMS when not taking prophylactic treatments, that right-to-left shunt through a PFO impairs pulmonary gas exchange efficiency even after acclimatization to high altitude, and that PFO+ subjects have blunted ventilatory acclimatization after 16 days at altitude compared with PFO- subjects.

Quantitative proteomics of heat-treated human cells show an across-the-board mild depletion of housekeeping proteins to massively accumulate few HSPs.

Classic semiquantitative proteomic methods have shown that all organisms respond to a mild heat shock by an apparent massive accumulation of a small set of proteins, named heat-shock proteins (HSPs) and a concomitant slowing down in the synthesis of the other proteins. Yet unexplained, the increased levels of HSP messenger RNAs (mRNAs) may exceed 100 times the ensuing relative levels of HSP proteins. We used here high-throughput quantitative proteomics and targeted mRNA quantification to estimate in human cell cultures the mass and copy numbers of the most abundant proteins that become significantly accumulated, depleted, or unchanged during and following 4 h at 41 °C, which we define as mild heat shock. This treatment caused a minor across-the-board mass loss in many housekeeping proteins, which was matched by a mass gain in a few HSPs, predominantly cytosolic HSPCs (HSP90s) and HSPA8 (HSC70). As the mRNAs of the heat-depleted proteins were not significantly degraded and less ribosomes were recruited by excess new HSP mRNAs, the mild depletion of the many housekeeping proteins during heat shock was attributed to their slower replenishment. This differential protein expression pattern was reproduced by isothermal treatments with Hsp90 inhibitors. Unexpectedly, heat-treated cells accumulated 55 times more new molecules of HSPA8 (HSC70) than of the acknowledged heat-inducible isoform HSPA1A (HSP70), implying that when expressed as net copy number differences, rather than as mere "fold change" ratios, new biologically relevant information can be extracted from quantitative proteomic data. Raw data are available via ProteomeXchange with identifier PXD001666.

Optimal Exchange Rate Policy in a Growing Semi-Open Economy

This paper considers an alternative perspective to China's exchange rate policy. It studies a semi-open economy where the private sector has no access to international capital markets but the central bank has full access. Moreover, it assumes limited financial development generating a large demand for saving instruments by the private sector. The paper analyzes the optimal exchange rate policy by modeling the central bank as a Ramsey planner. Its main result is that in a growth acceleration episode it is optimal to have an initial real depreciation of the currency combined with an accumulation of reserves, which is consistent with the Chinese experience. This depreciation is followed by an appreciation in the long run. The paper also shows that the optimal exchange rate path is close to the one that would result in an economy with full capital mobility and no central bank intervention.

Analyse systématique des faux documents d'identité à des fins de renseignement criminel: vers la construction de connaissances sur la criminalité par l'étude de la trace matérielle

Détecter et comprendre les formes de criminalité, notamment organisées, qui sont impliquées dans la fabrication, la diffusion et/ou l'utilisation de faux documents d'identité est un enjeu complexe et persistant, mais est une nécessité pour soutenir l'action de la sécurité et l'étude des phénomènes criminels. A cet égard, il est postulé qu'une approche traçologique s'appuyant sur un profilage systématique des caractéristiques matérielles des faux documents d'identité peut fournir des renseignements criminels originaux, utiles et pertinents. Une méthode générale a été développée pour extraire, mémoriser et comparer systématiquement les profils des faux documents d'identité saisis par les acteurs de la sécurité. Cette méthode permet de détecter et de suivre les relations entre cas, les tendances et patterns criminels, dont l'interprétation au travers de différentes formes d'analyse permet la mise en évidence de potentiels groupes criminels, d'auteurs prolifiques et de <i>modus operandi</i> récurrents. Par l'étude de centaines de faux documents d'identité saisis par la police et les garde-frontière dans deux pays distincts, cet article démontre comment le renseignement forensique peut soutenir la génération et l'étude d'hypothèses sur la criminalité, aidant par-là la compréhension des marchés et réseaux criminels sur les plans stratégique, opérationnel et tactique. L'article illustre également comment le renseignement forensique peut soutenir des mesures préventives et peut contribuer à l'analyse des risques que posent les faux documents d'identité, voire à la remise en cause de la stratégie sécuritaire et de contrôle actuelle. L'approche proposée présente un carctère essentiellement générique puisque, à l'instar de l'exemple des faux documents d'identité, n'importe quel type de trace matérielle peut être traité systématiquement et scientifiquement de sorte à contribuer à la construction structurée de connaissances sur la criminalité et la sécurité.

Consensus recommendations on training and competing in the heat.

Exercising in the heat induces thermoregulatory and other physiological strain that can lead to impairments in endurance exercise capacity. The purpose of this consensus statement is to provide up-to-date recommendations to optimise performance during sporting activities undertaken in hot ambient conditions. The most important intervention one can adopt to reduce physiological strain and optimise performance is to heat acclimatise. Heat acclimatisation should comprise repeated exercise-heat exposures over 1-2 weeks. In addition, athletes should initiate competition and training in a euhydrated state and minimise dehydration during exercise. Following the development of commercial cooling systems (eg, cooling-vest), athletes can implement cooling strategies to facilitate heat loss or increase heat storage capacity before training or competing in the heat. Moreover, event organisers should plan for large shaded areas, along with cooling and rehydration facilities, and schedule events in accordance with minimising the health risks of athletes, especially in mass participation events and during the first hot days of the year. Following the recent examples of the 2008 Olympics and the 2014 FIFA World Cup, sport governing bodies should consider allowing additional (or longer) recovery periods between and during events, for hydration and body cooling opportunities, when competitions are held in the heat.

Continental faunal exchange and the asymmetrical radiation of carnivores.

Lineages arriving on islands may undergo explosive evolutionary radiations owing to the wealth of ecological opportunities. Although studies on insular taxa have improved our understanding of macroevolutionary phenomena, we know little about the macroevolutionary dynamics of continental exchanges. Here we study the evolution of eight Carnivora families that have migrated across the Northern Hemisphere to investigate if continental invasions also result in explosive diversification dynamics. We used a Bayesian approach to estimate speciation and extinction rates from a substantial dataset of fossil occurrences while accounting for the incompleteness of the fossil record. Our analyses revealed a strongly asymmetrical pattern in which North American lineages invading Eurasia underwent explosive radiations, whereas lineages invading North America maintained uniform diversification dynamics. These invasions into Eurasia were characterized by high rates of speciation and extinction. The radiation of the arriving lineages in Eurasia coincide with the decline of established lineages or phases of climate change, suggesting differences in the ecological settings between the continents may be responsible for the disparity in diversification dynamics. These results reveal long-term outcomes of biological invasions and show that the importance of explosive radiations in shaping diversity extends beyond insular systems and have significant impact at continental scales.