Is the JCJ voting system really coercion-resistant?

Coercion-resistance is a security property of electronic voting, often considered as a must-have for high-stake elections. The JCJ voting scheme, proposed in 2005, is still the reference when designing a coercion-resistant protocol. We highlight a weakness in JCJ that is also present in all the systems following its general structure. It comes from the procedure that precedes the tally, where the trustees remove the ballots that should not be counted. This phase leaks more information than necessary, leading to potential threats for the coerced voters. Fixing this leads to the notion of cleansing-hiding, that we apply to form a variant of JCJ that we call CHide

A toolbox for verifiable tally-hiding e-voting systems

Cryptology ePrint Archive: Report 2021/491https://eprint.iacr.org/2021/491International audienceIn most verifiable electronic voting schemes, one key step is the tally phase, where the election result is computed from the encrypted ballots. A generic technique consists in first applying (verifiable) mixnets to the ballots and then revealing all the votes in the clear. This however discloses much more information than the result of the election itself (that is, the winners) and may offer the possibility to coerce voters. In this paper, we present a collection of building blocks for designing tally-hiding schemes based on multi-party computations. As an application, we propose the first tally-hiding schemes with no leakage for four important counting functions: D'Hondt, Condorcet, STV, and Majority Judgment. We also unveil unknown flaws or leakage in several previously proposed tally-hiding schemes

Leg-tracking and automated behavioural classification in Drosophila

Much remains unknown about how the nervous system of an animal generates behaviour, and even less is known about the evolution of behaviour. How does evolution alter existing behaviours or invent novel ones? Progress in computational techniques and equipment will allow these broad, complex questions to be explored in great detail. Here we present a method for tracking each leg of a fruit fly behaving spontaneously upon a trackball, in real time. Legs were tracked with infrared-fluorescent dyes invisible to the fly, and compatible with two-photon microscopy and controlled visual stimuli. We developed machine-learning classifiers to identify instances of numerous behavioural features (for example, walking, turning and grooming), thus producing the highest-resolution ethological profiles for individual flies

Local Synaptic Inputs Support Opposing, Network-Specific Odor Representations in a Widely Projecting Modulatory Neuron

Serotonin plays different roles across networks within the same sensory modality. Previously, we used whole-cell electrophysiology in Drosophila to show that serotonergic neurons innervating the first olfactory relay are inhibited by odorants (Zhang and Gaudry, 2016). Here we show that network-spanning serotonergic neurons segregate information about stimulus features, odor intensity and identity, by using opposing coding schemes in different olfactory neuropil. A pair of serotonergic neurons (the CSDns) innervate the antennal lobe and lateral horn, which are first and second order neuropils. CSDn processes in the antennal lobe are inhibited by odors in an identity independent manner. In the lateral horn, CSDn processes are excited in an odor identity dependent manner. Using functional imaging, modeling, and EM reconstruction, we demonstrate that antennal lobe derived inhibition arises from local GABAergic inputs and acts as a means of gain control on branch-specific inputs that the CSDns receive within the lateral horn

Asymmetric neurotransmitter release enables rapid odour lateralization in Drosophila

In Drosophila, most individual olfactory receptor neurons (ORNs) project bilaterally to both sides of the brain. Having bilateral rather than unilateral projections may represent a useful redundancy. However, bilateral ORN projections to the brain should also compromise the ability to lateralize odours. Nevertheless, walking or flying Drosophila reportedly turn towards the antenna that is more strongly stimulated by odour. Here we show that each ORN spike releases approximately 40% more neurotransmitter from the axon branch ipsilateral to the soma than from the contralateral branch. As a result, when an odour activates the antennae asymmetrically, ipsilateral central neurons begin to spike a few milliseconds before contralateral neurons, and at a 30 to 50% higher rate than contralateral neurons. We show that a walking fly can detect a 5% asymmetry in total ORN input to its left and right antennal lobes, and can turn towards the odour in less time than it requires the fly to complete a stride. These results demonstrate that neurotransmitter release properties can be tuned independently at output synapses formed by a single axon onto two target cells with identical functions and morphologies. Our data also show that small differences in spike timing and spike rate can produce reliable differences in olfactory behaviour

Species-specific behavioral patterns correlate with differences in synaptic connections between homologous mechanosensory neurons

We characterized the behavioral responses of two leech species, Hirudo verbana and Erpobdella obscura, to mechanical skin stimulation and examined the interactions between the pressure mechanosensory neurons (P cells) that innervate the skin. To quantify behavioral responses, we stimulated both intact leeches and isolated body wall preparations from the two species. In response to mechanical stimulation, Hirudo showed local bending behavior, in which the body wall shortened only on the side of the stimulation. Erpobdella, in contrast, contracted both sides of the body in response to touch. To investigate the neuronal basis for this behavioral difference, we studied the interactions between P cells. Each midbody ganglion has four P cells; each cell innervates a different quadrant of the body wall. Consistent with local bending, activating any one P cell in Hirudo elicited polysynaptic inhibitory potentials in the other P cells. In contrast, the P cells in Erpobdella had excitatory polysynaptic connections, consistent with the segment-wide contraction observed in this species. In addition, activating individual P cells caused asymmetrical body wall contractions in Hirudo and symmetrical body wall contractions in Erpobdella. These results suggest that the different behavioral responses in Erpobdella and Hirudo are partly mediated by interactions among mechanosensory cells

Extracorporeal Membrane Oxygenation for Severe Acute Respiratory Distress Syndrome associated with COVID-19: An Emulated Target Trial Analysis.

RATIONALE: Whether COVID patients may benefit from extracorporeal membrane oxygenation (ECMO) compared with conventional invasive mechanical ventilation (IMV) remains unknown. OBJECTIVES: To estimate the effect of ECMO on 90-Day mortality vs IMV only Methods: Among 4,244 critically ill adult patients with COVID-19 included in a multicenter cohort study, we emulated a target trial comparing the treatment strategies of initiating ECMO vs. no ECMO within 7 days of IMV in patients with severe acute respiratory distress syndrome (PaO2/FiO2 <80 or PaCO2 ≥60 mmHg). We controlled for confounding using a multivariable Cox model based on predefined variables. MAIN RESULTS: 1,235 patients met the full eligibility criteria for the emulated trial, among whom 164 patients initiated ECMO. The ECMO strategy had a higher survival probability at Day-7 from the onset of eligibility criteria (87% vs 83%, risk difference: 4%, 95% CI 0;9%) which decreased during follow-up (survival at Day-90: 63% vs 65%, risk difference: -2%, 95% CI -10;5%). However, ECMO was associated with higher survival when performed in high-volume ECMO centers or in regions where a specific ECMO network organization was set up to handle high demand, and when initiated within the first 4 days of MV and in profoundly hypoxemic patients. CONCLUSIONS: In an emulated trial based on a nationwide COVID-19 cohort, we found differential survival over time of an ECMO compared with a no-ECMO strategy. However, ECMO was consistently associated with better outcomes when performed in high-volume centers and in regions with ECMO capacities specifically organized to handle high demand. This article is open access and distributed under the terms of the Creative Commons Attribution Non-Commercial No Derivatives License 4.0 (http://creativecommons.org/licenses/by-nc-nd/4.0/)

Mechanisms of behavioral choice in the nervous system of the medicinal leech

To survive, animals must execute proper behaviors at appropriate times. Animals are constantly bombarded with a plethora of sensory stimuli and must choose which of these stimuli to as important and which to ignore. By presenting an animal with two stimuli simultaneously, each of which elicits a different behavior when presented alone, we can rank-order an animal's behavioral repertoire from most preferred to least preferred. This ranking of behaviors has been termed a behavioral hierarchy. We use the leech as a model system to explore how animals place different priorities on different behaviors due to its simple nervous system, its readily identifiable neurons, and its amenability to reduced preparations. In Chapter 2 we show that feeding suppresses all competing behaviors within the leech nervous system by reducing the sensory excitation that normally drives these behaviors. Neurons involved in the ingestion phase of feeding generate a descending inhibition that travels down the nerve cord and inhibits the tactile sensory fibers of the pressure mechanosensory neurons (P cells). We show that this inhibition is mimicked in isolated ganglia by the application of the neuromodulator serotonin. We propose that the leech uses sensory gating mediated through serotonin in the decision making process to inhibit competing behaviors during feeding. In Chapter 3 we show the distention incurred during feeding targets neurons downstream of the sensory neurons, most likely the swim gating-neurons or central pattern generating cells. Increasing levels of distention result in a gradual decrease in the number of swim cycles elicited in response to stimulation and an increase in the swim period. We propose that the feeding induced suppression of swimming is distributed within the nervous system and mediated by at least two distinct mechanisms or decision-making modules: ingestion prevents the initiation of swimming by targeting the sensory neurons that drive it, whereas distention inhibits the maintenance of swimming by targeting downstream neurons. We believe that distributed decision-making networks may be universal in the nervous systems of all complex animal