Publications associées à IPsec

Rapidly verifiable aggregate signatures

Rachid Guerraoui, Gauthier Jérôme Timothée Voron, Martina Camaioni, Matteo Monti, Manuel José Ribeiro Vidigueira, Pierre-Louis Blaise Roman

A method for aggregating digital signatures comprises the following steps carried out by a signature aggregator: receiving first data packages from signers, each first data package comprising a signer identifier, a payload, and a payload signature; verifyi ...

2024

On the Theory and Practice of Modern Secure Messaging

Daniel Patrick Collins

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

Influence of micro-patterned support properties and interfacial polymerization conditions on performance of patterned thin-film composite membranes

Kumar Varoon Agrawal, Cédric Karel J Van Goethem

Patterned membranes prepared via spray-modified non -solvent induced phase separation (s-NIPS) have successfully shown enhanced fluxes and better fouling control, thanks to the increased surface area and high fluid shear at the membrane/feed interface. The ...

Elsevier2024

Optimal Symmetric Ratcheting for Secure Communication

Serge Vaudenay, Andrea Felice Caforio, Daniel Patrick Collins, Hailun Yan

To mitigate state exposure threats to long-lived instant messaging sessions, ratcheting was introduced, which is used in practice in protocols like Signal. However, existing ratcheting protocols generally come with a high cost. Recently, Caforio et al. pro ...

OXFORD UNIV PRESS2022

Oracular Byzantine Reliable Broadcast

Rachid Guerraoui, Martina Camaioni, Matteo Monti, Manuel José Ribeiro Vidigueira

Byzantine Reliable Broadcast (BRB) is a fundamental distributed computing primitive, with applications ranging from notifications to asynchronous payment systems. Motivated by practical consideration, we study Client-Server Byzantine Reliable Broadcast (CS ...

Schloss Dagstuhl - Leibniz-Zentrum für Informatik2022

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

Optimizing the Atomic Layer Deposition of Alumina on Perovskite Nanocrystal Films by Using O-2 As a Molecular Probe

Raffaella Buonsanti, Anna Loiudice, Seryio Saris, Sanduni Thiyaga Pathiraja Mudalige Dona, Valerie Anne Niemann

Encapsulation methods have shown to be effective in imparting improved stability to metal-halide perovskite nanocrystals (NCs). Atomic layer deposition (ALD) of metal oxides is one of the promising approaches for such encapsulation, yet better control on t ...

WILEY-V C H VERLAG GMBH2020

Piezoelectric Grippers for Mobile Micromanipulation

Tristan Abondance, Kaushik Jayaram

The ability to efficiently and precisely manipulate objects in inaccessible environments is becoming an essential requirement for many applications of mobile robots, particularly at small sizes. Here, we propose and implement a mobile micromanipulation sol ...

2020

A Formally Verified NAT Stack

George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh

Prior work proved a stateful NAT network function to be semantically correct, crash-free, and memory safe. Their toolchain verifies the network function code while assuming the underlying kernel-bypass framework, drivers, operating system, and hardware to ...

2018

A Formally Verified NAT Stack

George Candea, Solal Vincenzo Pirelli, Arseniy Zaostrovnykh

Prior work proved a stateful NAT network function to be, crash-free, memory safe and semantically correct [29]. Their toolchain verifies the network function code while assuming the underlying kernel-bypass framework, drivers, operating system, and hardwar ...

ASSOC COMPUTING MACHINERY2018