Publication

A Predicate-Based Approach to Dynamic Protocol Update in Group Communication

Publications associées (31)

Proofs, Circuits, and Communication

We survey lower-bound results in complexity theory that have been obtained via newfound interconnections between propositional proof complexity, boolean circuit complexity, and query/communication complexity. We advocate for the theory of total search prob ...

2022

A Low-Complexity LoRa Synchronization Algorithm Robust to Sampling Time Offsets

Orion Afisiadis, Mathieu Pierre Xhonneux

LoRaWAN is nowadays one of the most popular protocols for low-power Internet of Things communications. Although its physical layer, namely LoRa, has been thoroughly studied in the literature, aspects related to the synchronization of LoRa receivers have re ...

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC2022

Efficient protocols for oblivious linear function evaluation from ring-LWE

Juan Ramón Troncoso-Pastoriza

An oblivious linear function evaluation protocol, or OLE, is a two-party protocol for the function f (x) = ax + b, where a sender inputs the field elements a, b, and a receiver inputs x and learns f (x). OLE can be used to build secret-shared multiplicatio ...

IOS PRESS2022

Overcoming decision paralysis—A digital twin for decision making in energy system design

François Maréchal, Tuong-Van Nguyen, Julia Granacher

The design of efficient energy systems, through the development of new technologies and the improvement of current ones, requires the use of rigorous process synthesis methods for generating and analysing design alternatives. We introduce a digital twin of ...

2022

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

Epidemic mitigation by statistical inference from contact tracing data

Maria Refinetti, Giovanni Catania, Florent Gérard Krzakala, Lenka Zdeborová, Indaco Biazzo

Contact tracing is an essential tool to mitigate the impact of a pandemic, such as the COVID-19 pandemic. In order to achieve efficient and scalable contact tracing in real time, digital devices can play an important role. While a lot of attention has been ...

National Academy of Sciences2021

Hardware-Software Co-Design of an RPC Processor

Arash Pourhabibi Zarandi

The booming popularity of online services has led to a major evolution in the way these services are built and deployed. To cope with such online data-intensive services, service providers deploy several massive-scale datacenters, also referred to as wareh ...

EPFL2021

Open-access quantitative MRI data of the spinal cord and reproducibility across participants, sites and manufacturers

Dimitri Nestor Alice Van De Ville, Christian Büchel, Nawal Noëlle Kinany, Maryam Seif, Maxime Descoteaux

In a companion paper by Cohen-Adad et al. we introduce the spine generic quantitative MRI protocol that provides valuable metrics for assessing spinal cord macrostructural and microstructural integrity. This protocol was used to acquire a single subject da ...

NATURE PORTFOLIO2021

Polyamide Nanofiber-Based Air Filters for Transparent Face Masks

Thierry Pelet, René M. Rossi

Transparent face masks are the ultimate solution for improving communication during pandemic times while at the same time slowing the spread of pathogens. Here, we demonstrate an easily scalable process consisting of directly electrospinning polyamide nano ...

AMER CHEMICAL SOC2021

Beyond Security and Efficiency: On-Demand Ratcheting with Security Awareness

Serge Vaudenay, Andrea Felice Caforio, Fatma Betül Durak

Secure asynchronous two-party communication applies ratcheting to strengthen privacy, in the presence of internal state exposures. Security with ratcheting is provided in two forms: forward security and post-compromise security. There have been several suc ...

2021

Robust Localization for Multi-robot Formations: An Experimental Evaluation of an Extended GM-PHD Filter

Alcherio Martinoli, Alicja Barbara Roelofsen, Michiaki Hirayama

This paper presents a thorough experimental evaluation of an extended Gaussian Mixture Probability Hypothesis Density filter which is able to provide state estimates for the maintenance of a multirobot formation, even when the communication fails and the t ...

Springer Nature2021