Publications associées à Point-to-Point Protocol

On the Theory and Practice of Modern Secure Messaging

Billions of people now have conversations daily over the Internet. A large portion of this communication takes place via secure messaging protocols that offer "end-to-end encryption'" guarantees and resilience to compromise like the widely-used Double Ratc ...

EPFL2024

An Iterative Method for Mapping-Aware Frequency Regulation in Dataflow Circuits

Andrea Guerrieri, Lana Josipovic, Carmine Rizzi

Dataflow circuits promise to overcome the scheduling limitations of standard HLS solutions. However, their performance suffers due to timing overheads caused by their handshake communication protocol. Current pipelining solutions fail to account for logic ...

IEEE2023

Anonymous Tokens with Stronger Metadata Bit Hiding from Algebraic MACs

Serge Vaudenay, Fatma Betül Durak

On the one hand, the web needs to be secured from malicious activities such as bots or DoS attacks; on the other hand, such needs ideally should not justify services tracking people's activities on the web. Anonymous tokens provide a nice tradeoff between ...

2023

New SIDH Countermeasures for a More Efficient Key Exchange

Tako Boris Fouotsa, Andrea Basso

The Supersingular Isogeny Diffie-Hellman (SIDH) protocol has been the main and most efficient isogeny-based encryption protocol, until a series of breakthroughs led to a polynomial-time key-recovery attack. While some countermeasures have been proposed, th ...

Springer2023

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

PROFACTORY: Improving IoT Security via Formalized Protocol Customization

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

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 Rosetta-based protein design protocol converging to natural sequences

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

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

Tuning interactions in reconfigurable kagome artificial spin ices for magnonics

Dirk Grundler, Vinayak Shantaram Bhat

We report broadband spin-wave spectroscopy on kagome artificial spin ices (KASIs) made of large arrays of disconnected Ni81Fe19 400-nm-long nanobars. We observed spin wave spectra that varied characteristically upon the separation between neighboring nanob ...

AIP American Institute of Physics2021

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

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

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

Dynamic Byzantine Reliable Broadcast

Rachid Guerraoui, Jovan Komatovic, Dragos-Adrian Seredinschi, Andrei Tonkikh

Reliable broadcast is a communication primitive guaranteeing, intuitively, that all processes in a distributed system deliver the same set of messages. The reason why this primitive is appealing is twofold: (i) we can implement it deterministically in a co ...

Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik2021

The COUGHVID crowdsourcing dataset: A corpus for the study of large-scale cough analysis algorithms

David Atienza Alonso, Tomas Teijeiro Campo, Lara Orlandic

Overview Cough audio signal classification has been successfully used to diagnose a variety of respiratory conditions, and there has been significant interest in leveraging Machine Learning (ML) to provide widespread COVID-19 screening. Th ...

Zenodo2021

Tractostorm: The what, why, and how of tractography dissection reproducibility

Gabriel Girard, David Paul Roger Romascano, Alessandro Daducci, Muhamed Barakovic, Maxime Descoteaux

Investigative studies of white matter (WM) brain structures using diffusion MRI (dMRI) tractography frequently require manual WM bundle segmentation, often called "virtual dissection." Human errors and personal decisions make these manual segmentations har ...

Wiley2020

Decoding Cognitive States under Varying Difficulty Levels

Ping-Keng Jao

Understanding cognitive states of human under different difficulty levels is useful in improving human-human and human-machine interactions. For example, a crucial factor in designing games is maintaining the engagement of players. An ideal scenario would ...

EPFL2020

One-Pot Synthesis of 1-[(Triisopropylsilyl)ethynyl]-1,2-benziodoxol-3(1H)-one (TIPS-EBX): Process Safety Assessment and Impact of Impurities on Product Stability

Jérôme Waser, Stefano Nicolai, Durga Prasada Rao Hari, Miyeon Chang, Paola Caramenti, Lionel Schouwey

The hypervalent iodine reagent 1-[(TriIsoPropylSilyl)Ethynyl]-1,2-BenziodoXol-3(1H)-one (TIPS-EBX) is among the most useful electrophilic and somophilic alkynylation reagents. Herein, we report a new synthetic protocol to access this reagent in one step fr ...

2019

R2P2: Making RPCs first-class datacenter citizens

Edouard Bugnion, Evangelos Marios Kogias, Adrien Ghosn, Georgios Prekas, Jonas Fietz

Remote Procedure Calls are widely used to connect datacenter applications with strict tail-latency service level objectives in the scale of µs. Existing solutions utilize streaming or datagram-based transport protocols for RPCs that impose overheads and li ...

USENIX ASSOC2019

Two-Tone Optomechanical Instability and Its Fundamental Implications for Backaction-Evading Measurements

Tobias Kippenberg, Amir Youssefi, Liu Qiu, Itay Shomroni

While quantum mechanics imposes a fundamental limit on the precision of interferometric measurementsof mechanical motion due to measurement backaction, the nonlinear nature of the coupling also leads toparametric instabilities that place practical limits o ...

American Physical Society2019

Formal Analysis of Distance Bounding with Secure Hardware

Serge Vaudenay, Handan Kilinç Alper

A distance bounding (DB) protocol is a two-party authentication protocol between a prover and a verifier which is based on the distance between the prover and the verifier. It aims to defeat threats by malicious provers who try to convince that they are cl ...

2018

Labeled PSI from Fully Homomorphic Encryption with Malicious Security

Zhicong Huang

Private Set Intersection (PSI) allows two parties, the sender and the receiver, to compute the intersection of their private sets without revealing extra information to each other. We are interested in the unbalanced PSI setting, where (1) the receiver's s ...

ASSOC COMPUTING MACHINERY2018

Influence of load history on the force-displacement response of in-plane loaded unreinforced masonry walls

Katrin Beyer, Bastian Valentin Wilding, Kiarash Mohtasham Dolatshahi

Empirical drift capacity models for in-plane loaded unreinforced masonry (URM) walls are derived from results of quasi-static cyclic shear-compression tests. The experimentally determined drift capacities are, however, dependent on the applied demand, i.e. ...

2017

Toward Achieving Harmonization in a Nanocytotoxicity Assay Measurement Through an Interlaboratory Comparison Study

Nadia Rachel Von Moos

Development of reliable cell-based nanotoxicology assays is important for evaluation of potentially hazardous engineered nanomaterials. Challenges to producing a reliable assay protocol include working with nanoparticle dispersions and living cell lines, a ...

2017