Publication

Breaking Blockchain Rationality with Out-of-Band Collusion

Related publications (30)

Arctic mercury cycling

Anthropogenic mercury (Hg) emissions have driven marked increases in Arctic Hg levels, which are now being impacted by regional warming, with uncertain ecological consequences. This Review presents a comprehensive assessment of the present-day total Hg mas ...

2022

PROFACTORY: Improving IoT Security via Formalized Protocol Customization

Fei Wang, Mathias Josef Payer, Xiangyu Zhang, Duo Xu

As IoT applications gain widespread adoption, it becomes important to design and implement IoT protocols with security. Existing research in protocol security reveals that the majority of disclosed protocol vulnerabilities are caused by incorrectly impleme ...

USENIX ASSOC2022

A roadmap to understanding diversity and function of coral reef-associated fungi

Claudia Isabella Pogoreutz

Tropical coral reefs are hotspots of marine productivity, owing to the association of reef-building corals with endosymbiotic algae and metabolically diverse bacterial communities. However, the functional importance of fungi, well-known for their contribut ...

OXFORD UNIV PRESS2022

Rational Agreement in the Presence of Crash Faults

Vincent Gramoli, Alejandro Ranchal Pedrosa

Blockchain systems need to solve consensus despite the presence of rational users and failures. The notion of (k, t)-robustness is key to derive impossibility results with k rational players and t faulty players. However, these t faulty players are always ...

IEEE2021

Bio-Hybrid Systems for Ecosystem Level Effects

Francesco Mondada, Jean-Louis Deneubourg, Robert Thomas Edmund Mills, Matthieu Jean-Michel Philippe Broisin, Martina Szopek, Robert Matthew Mills, Rafael Botner Barmak

In a time marked by ecological decay and by the perspective of a severe backlash of this ecosystem decay and climate devastation onto human society, bold moves that employ novel technology to counteract this decline are required. We present a novel concept ...

MIT Press2021

A Rosetta-based protein design protocol converging to natural sequences

Bruno Emanuel Ferreira De Sousa Correia, Zander Harteveld, Giulia Sormani, Stéphane Rosset

Computational protein design has emerged as a powerful tool capable of identifying sequences compatible with pre-defined protein structures. The sequence design protocols, implemented in the Rosetta suite, have become widely used in the protein engineering ...

AMER INST PHYSICS2021

Modeling of Stream Metabolism from Reach-scale to the Scale of Entire River Networks

Pier Luigi Segatto

Streams are key components of the global carbon (C) cycle. The river network conceptualization moved from the pipelineâ idea, in which C is solely transported, to the active ecosystemâ concept, in which both terrestrial derived and autochthonous C ...

EPFL2021

The architecture of benthic biofilms - Linking hydraulics to spatially structured processes

Anna Depetris

Biofilms are spatially structured ecosystems, characterized by patterns and architectural features determined by the interplay between endogenous and exogenous processes. As in many other structured ecosystems, the characterization of spatial interactions ...

EPFL2021

Asynchronous distributed coordination and consensus with threshold logical clocks

Bryan Alexander Ford

Consensus protocols for asynchronous networks are usually complex and inefficient, leading practical systems to rely on synchronous protocols. The invention proposes an approach to simplify asynchronous consensus by building it atop a novel threshold logic ...

2021

Both diversity and functional composition affect productivity and water use efficiency in experimental temperate grasslands

Charlotte Grossiord, Margaux Clara Lou Didion-Gency

Many experiments have shown that biodiversity promotes ecosystem functioning and stability and that this relationship varies with resource availability. However, we still have a poor understanding of the underlying physiological and ecological mechanisms d ...

WILEY2021