TY - CONF AB - Off-chain protocols (channels) are a promising solution to the scalability and privacy challenges of blockchain payments. Current proposals, however, require synchrony assumptions to preserve the safety of a channel, leaking to an adversary the exact amount of time needed to control the network for a successful attack. In this paper, we introduce Brick, the first payment channel that remains secure under network asynchrony and concurrently provides correct incentives. The core idea is to incorporate the conflict resolution process within the channel by introducing a rational committee of external parties, called wardens. Hence, if a party wants to close a channel unilaterally, it can only get the committee’s approval for the last valid state. Additionally, Brick provides sub-second latency because it does not employ heavy-weight consensus. Instead, Brick uses consistent broadcast to announce updates and close the channel, a light-weight abstraction that is powerful enough to preserve safety and liveness to any rational parties. We formally define and prove for Brick the properties a payment channel construction should fulfill. We also design incentives for Brick such that honest and rational behavior aligns. Finally, we provide a reference implementation of the smart contracts in Solidity. AU - Avarikioti, Zeta AU - Kokoris Kogias, Eleftherios AU - Wattenhofer, Roger AU - Zindros, Dionysis ID - 10324 SN - 0302-9743 T2 - 25th International Conference on Financial Cryptography and Data Security TI - Brick: Asynchronous incentive-compatible payment channels VL - 12675 ER - TY - JOUR AB - Erythropoietin enhances oxygen delivery and reduces hypoxia-induced cell death, but its pro-thrombotic activity is problematic for use of erythropoietin in treating hypoxia. We constructed a fusion protein that stimulates red blood cell production and neuroprotection without triggering platelet production, a marker for thrombosis. The protein consists of an anti-glycophorin A nanobody and an erythropoietin mutant (L108A). The mutation reduces activation of erythropoietin receptor homodimers that induce erythropoiesis and thrombosis, but maintains the tissue-protective signaling. The binding of the nanobody element to glycophorin A rescues homodimeric erythropoietin receptor activation on red blood cell precursors. In a cell proliferation assay, the fusion protein is active at 10−14 M, allowing an estimate of the number of receptor–ligand complexes needed for signaling. This fusion protein stimulates erythroid cell proliferation in vitro and in mice, and shows neuroprotective activity in vitro. Our erythropoietin fusion protein presents a novel molecule for treating hypoxia. AU - Lee, Jungmin AU - Vernet, Andyna AU - Gruber, Nathalie AU - Kready, Kasia M. AU - Burrill, Devin R. AU - Way, Jeffrey C. AU - Silver, Pamela A. ID - 10363 JF - Protein Engineering, Design and Selection SN - 1741-0126 TI - Rational engineering of an erythropoietin fusion protein to treat hypoxia VL - 34 ER - TY - JOUR AU - Heisenberg, Carl-Philipp J AU - Lennon, Ana Maria AU - Mayor, Roberto AU - Salbreux, Guillaume ID - 10366 IS - 12 JF - Cells and Development SN - 2667-2901 TI - Special rebranding issue: “Quantitative cell and developmental biology” VL - 168 ER - TY - JOUR AB - Branching morphogenesis governs the formation of many organs such as lung, kidney, and the neurovascular system. Many studies have explored system-specific molecular and cellular regulatory mechanisms, as well as self-organizing rules underlying branching morphogenesis. However, in addition to local cues, branched tissue growth can also be influenced by global guidance. Here, we develop a theoretical framework for a stochastic self-organized branching process in the presence of external cues. Combining analytical theory with numerical simulations, we predict differential signatures of global vs. local regulatory mechanisms on the branching pattern, such as angle distributions, domain size, and space-filling efficiency. We find that branch alignment follows a generic scaling law determined by the strength of global guidance, while local interactions influence the tissue density but not its overall territory. Finally, using zebrafish innervation as a model system, we test these key features of the model experimentally. Our work thus provides quantitative predictions to disentangle the role of different types of cues in shaping branched structures across scales. AU - Ucar, Mehmet C AU - Kamenev, Dmitrii AU - Sunadome, Kazunori AU - Fachet, Dominik C AU - Lallemend, Francois AU - Adameyko, Igor AU - Hadjab, Saida AU - Hannezo, Edouard B ID - 10402 JF - Nature Communications TI - Theory of branching morphogenesis by local interactions and global guidance VL - 12 ER - TY - CONF AB - Digital hardware Trojans are integrated circuits whose implementation differ from the specification in an arbitrary and malicious way. For example, the circuit can differ from its specified input/output behavior after some fixed number of queries (known as “time bombs”) or on some particular input (known as “cheat codes”). To detect such Trojans, countermeasures using multiparty computation (MPC) or verifiable computation (VC) have been proposed. On a high level, to realize a circuit with specification F one has more sophisticated circuits F⋄ manufactured (where F⋄ specifies a MPC or VC of F ), and then embeds these F⋄ ’s into a master circuit which must be trusted but is relatively simple compared to F . Those solutions impose a significant overhead as F⋄ is much more complex than F , also the master circuits are not exactly trivial. In this work, we show that in restricted settings, where F has no evolving state and is queried on independent inputs, we can achieve a relaxed security notion using very simple constructions. In particular, we do not change the specification of the circuit at all (i.e., F=F⋄ ). Moreover the master circuit basically just queries a subset of its manufactured circuits and checks if they’re all the same. The security we achieve guarantees that, if the manufactured circuits are initially tested on up to T inputs, the master circuit will catch Trojans that try to deviate on significantly more than a 1/T fraction of the inputs. This bound is optimal for the type of construction considered, and we provably achieve it using a construction where 12 instantiations of F need to be embedded into the master. We also discuss an extremely simple construction with just 2 instantiations for which we conjecture that it already achieves the optimal bound. AU - Chakraborty, Suvradip AU - Dziembowski, Stefan AU - Gałązka, Małgorzata AU - Lizurej, Tomasz AU - Pietrzak, Krzysztof Z AU - Yeo, Michelle X ID - 10407 SN - 0302-9743 TI - Trojan-resilience without cryptography VL - 13043 ER - TY - JOUR AB - Synaptic transmission, connectivity, and dendritic morphology mature in parallel during brain development and are often disrupted in neurodevelopmental disorders. Yet how these changes influence the neuronal computations necessary for normal brain function are not well understood. To identify cellular mechanisms underlying the maturation of synaptic integration in interneurons, we combined patch-clamp recordings of excitatory inputs in mouse cerebellar stellate cells (SCs), three-dimensional reconstruction of SC morphology with excitatory synapse location, and biophysical modeling. We found that postnatal maturation of postsynaptic strength was homogeneously reduced along the somatodendritic axis, but dendritic integration was always sublinear. However, dendritic branching increased without changes in synapse density, leading to a substantial gain in distal inputs. Thus, changes in synapse distribution, rather than dendrite cable properties, are the dominant mechanism underlying the maturation of neuronal computation. These mechanisms favor the emergence of a spatially compartmentalized two-stage integration model promoting location-dependent integration within dendritic subunits. AU - Biane, Celia AU - Rückerl, Florian AU - Abrahamsson, Therese AU - Saint-Cloment, Cécile AU - Mariani, Jean AU - Shigemoto, Ryuichi AU - Digregorio, David A. AU - Sherrard, Rachel M. AU - Cathala, Laurence ID - 10403 JF - eLife TI - Developmental emergence of two-stage nonlinear synaptic integration in cerebellar interneurons VL - 10 ER - TY - JOUR AB - Theoretical and experimental studies of the interaction between spins and temperature are vital for the development of spin caloritronics, as they dictate the design of future devices. In this work, we propose a two-terminal cold-atom simulator to study that interaction. The proposed quantum simulator consists of strongly interacting atoms that occupy two temperature reservoirs connected by a one-dimensional link. First, we argue that the dynamics in the link can be described using an inhomogeneous Heisenberg spin chain whose couplings are defined by the local temperature. Second, we show the existence of a spin current in a system with a temperature difference by studying the dynamics that follows the spin-flip of an atom in the link. A temperature gradient accelerates the impurity in one direction more than in the other, leading to an overall spin current similar to the spin Seebeck effect. AU - Barfknecht, Rafael E. AU - Foerster, Angela AU - Zinner, Nikolaj T. AU - Volosniev, Artem ID - 10401 IS - 1 JF - Communications Physics TI - Generation of spin currents by a temperature gradient in a two-terminal device VL - 4 ER - TY - JOUR AB - While convolutional neural networks (CNNs) have found wide adoption as state-of-the-art models for image-related tasks, their predictions are often highly sensitive to small input perturbations, which the human vision is robust against. This paper presents Perturber, a web-based application that allows users to instantaneously explore how CNN activations and predictions evolve when a 3D input scene is interactively perturbed. Perturber offers a large variety of scene modifications, such as camera controls, lighting and shading effects, background modifications, object morphing, as well as adversarial attacks, to facilitate the discovery of potential vulnerabilities. Fine-tuned model versions can be directly compared for qualitative evaluation of their robustness. Case studies with machine learning experts have shown that Perturber helps users to quickly generate hypotheses about model vulnerabilities and to qualitatively compare model behavior. Using quantitative analyses, we could replicate users’ insights with other CNN architectures and input images, yielding new insights about the vulnerability of adversarially trained models. AU - Sietzen, Stefan AU - Lechner, Mathias AU - Borowski, Judy AU - Hasani, Ramin AU - Waldner, Manuela ID - 10404 IS - 7 JF - Computer Graphics Forum SN - 0167-7055 TI - Interactive analysis of CNN robustness VL - 40 ER - TY - JOUR AB - Multicellular organisms develop complex shapes from much simpler, single-celled zygotes through a process commonly called morphogenesis. Morphogenesis involves an interplay between several factors, ranging from the gene regulatory networks determining cell fate and differentiation to the mechanical processes underlying cell and tissue shape changes. Thus, the study of morphogenesis has historically been based on multidisciplinary approaches at the interface of biology with physics and mathematics. Recent technological advances have further improved our ability to study morphogenesis by bridging the gap between the genetic and biophysical factors through the development of new tools for visualizing, analyzing, and perturbing these factors and their biochemical intermediaries. Here, we review how a combination of genetic, microscopic, biophysical, and biochemical approaches has aided our attempts to understand morphogenesis and discuss potential approaches that may be beneficial to such an inquiry in the future. AU - Mishra, Nikhil AU - Heisenberg, Carl-Philipp J ID - 10406 JF - Annual Review of Genetics KW - morphogenesis KW - forward genetics KW - high-resolution microscopy KW - biophysics KW - biochemistry KW - patterning SN - 0066-4197 TI - Dissecting organismal morphogenesis by bridging genetics and biophysics VL - 55 ER - TY - GEN AB - The zip file includes source data used in the main text of the manuscript "Theory of branching morphogenesis by local interactions and global guidance", as well as a representative Jupyter notebook to reproduce the main figures. A sample script for the simulations of branching and annihilating random walks is also included (Sample_script_for_simulations_of_BARWs.ipynb) to generate exemplary branched networks under external guidance. A detailed description of the simulation setup is provided in the supplementary information of the manuscipt. AU - Ucar, Mehmet C ID - 13058 TI - Source data for the manuscript "Theory of branching morphogenesis by local interactions and global guidance" ER -