Brief Announcement: Induced Churn to Face Adversarial Behavior in Peer-to-Peer Systems

International audienceAwerbuch and Scheideler have shown that peer-to-peer overlays networks can only survive Byzantine attacks if malicious nodes are not able to predict what will be the topology of the network for a given sequence of join and leave operations. A prerequisite for this condition to hold is to guarantee that nodes identifiers randomness is continuously preserved. However targeted join/leave attacks may quickly endanger the relevance of such an assumption. Inducing churn has been shown to be the other fundamental ingredient to preserve randomness. Several strategies based on these principles have been proposed. Most of them are based on locally induced churn. However either they have been proven incorrect or they involve a too high level of complexity to be practically acceptable. The other ones, based on globally induced churn, enforce limited lifetime for each node in the system. However, these solutions keep the system in an unnecessary hyper-activity, and thus need to impose strict restrictions on nodes joining rate which clearly limit their applicability to open systems. In this paper we propose to leverage the power of clustering to design a provably correct and practically usable solution that preserves randomness under a bounded adversary

Consolidation of an Olfactory Memory Trace in the Olfactory Bulb Is Required for Learning-Induced Survival of Adult-Born Neurons and Long-Term Memory

Background: It has recently been proposed that adult-born neurons in the olfactory bulb, whose survival is modulated by learning, support long-term olfactory memory. However, the mechanism used to select which adult-born neurons following learning will participate in the long-term retention of olfactory information is unknown. We addressed this question by investigating the effect of bulbar consolidation of olfactory learning on memory and neurogenesis. Methodology/Principal Findings: Initially, we used a behavioral ecological approach using adult mice to assess the impact of consolidation on neurogenesis. Using learning paradigms in which consolidation time was varied, we showed that a spaced (across days), but not a massed (within day), learning paradigm increased survival of adult-born neurons and allowed long-term retention of the task. Subsequently, we used a pharmacological approach to block consolidation in the olfactory bulb, consisting in intrabulbar infusion of the protein synthesis inhibitor anisomycin, and found impaired learning and no increase in neurogenesis, while basic olfactory processing and the basal rate of adult-born neuron survival remained unaffected. Taken together these data indicate that survival of adult-born neurons during learning depends on consolidation processes taking place in the olfactory bulb. Conclusion/Significance: We can thus propose a model in which consolidation processes in the olfactory bulb determine both survival of adult-born neurons and long-term olfactory memory. The finding that adult-born neuron survival durin

Memory consolidation in the cerebellar cortex

Several forms of learning, including classical conditioning of the eyeblink, depend upon the cerebellum. In examining mechanisms of eyeblink conditioning in rabbits, reversible inactivations of the control circuitry have begun to dissociate aspects of cerebellar cortical and nuclear function in memory consolidation. It was previously shown that post-training cerebellar cortical, but not nuclear, inactivations with the GABA(A) agonist muscimol prevented consolidation but these findings left open the question as to how final memory storage was partitioned across cortical and nuclear levels. Memory consolidation might be essentially cortical and directly disturbed by actions of the muscimol, or it might be nuclear, and sensitive to the raised excitability of the nuclear neurons following the loss of cortical inhibition. To resolve this question, we simultaneously inactivated cerebellar cortical lobule HVI and the anterior interpositus nucleus of rabbits during the post-training period, so protecting the nuclei from disinhibitory effects of cortical inactivation. Consolidation was impaired by these simultaneous inactivations. Because direct application of muscimol to the nuclei alone has no impact upon consolidation, we can conclude that post-training, consolidation processes and memory storage for eyeblink conditioning have critical cerebellar cortical components. The findings are consistent with a recent model that suggests the distribution of learning-related plasticity across cortical and nuclear levels is task-dependent. There can be transfer to nuclear or brainstem levels for control of high-frequency responses but learning with lower frequency response components, such as in eyeblink conditioning, remains mainly dependent upon cortical memory storage

Refined Interfaces for Compositional Verification

The compositional verification approach of Graf & Steffen aims at avoiding state space explosion for individual processes of a concurrent system. It relies on interfaces that express the behavioural constraints imposed on each process by synchronization with the other processes, thus preventing the exploration of states and transitions that would not be reachable in the global state space. Krimm & Mounier, and Cheung & Kramer proposed two techniques to generate such interfaces automatically. In this report, we propose a refined interface generation technique that derives the interface of a process automatically from the examination of (a subset of) concurrent processes. This technique is applicable to formalisms where concurrent processes are composed either using synchronization vectors or process algebra parallel composition operators (including those of CCS, CSP, muCRL, LOTOS, and E-LOTOS). We implemented this approach in the EXP.OPEN 2.0 tool of the CADP toolbox. Several experiments indicate state space reductions by more than two orders of magnitude for the largest processes

Analytical Study of Adversarial Strategies in Cluster-based Overlays

International audienceScheideler has shown that peer-to-peer overlays networks can only survive Byzantine attacks if malicious nodes are not able to predict what is going to be the topology of the network for a given sequence of join and leave operations. In this paper we investigate adversarial strategies by following specific games. Our analysis demonstrates first that an adversary can very quickly subvert DHT-based overlays by simply never triggering leave operations. We then show that when all nodes (honest and malicious ones) are imposed on a limited lifetime, the system eventually reaches a stationary regime where the ratio of polluted clusters is bounded, independently from the initial amount of corruption in the system

Étude de la carbonatation et de l'hydratation des membranes alcalines solides dans les piles à combustibles

Les piles à combustible alcalines sont des systèmes performants qui fonctionnent à température ambiante et nécessitent moins de métaux précieux (platine) que les piles à combustible à membrane protonique (PEMFC). Des études approfondies concernant la synthèse de membranes alcalines à base d'oxyde de polyéthylène (PEO) ou d'Epichlorhydrine (EpCI) ont montré que ces matériaux présentent des conductivités ioniques du même ordre de grandeur que les membranes Nafion$^{\circledR}$. Les problèmes inhérents à ces technologies sont l'hydratation des membranes (comme pour les PEMFC) et leur sensibilité au CO$_2$ par précipitation d'ions carbonates en présence de KOH (carbonatation). La première partie de l'étude concerne la détermination des caractéristiques importantes d'une membrane copolymère PEO-EpCI (conductivité et gonflement). Dans un deuxième temps, le profil de concentration en eau dans une pile en régime stationnaire a été évalué après détermination expérimentale de quelques paramètres physiques (coefficient de diffusion de l'eau, concentration limite). Le problème de la carbonatation est abordé à partir des équations chimiques de formation des ions carbonates. Le profil permet de rendre compte du problème d'assèchement et de précipitation du carbonate de potassium à proximité des électrodes