Publications associées à IPsec

Rapidly verifiable aggregate signatures

Rachid Guerraoui, Manuel José Ribeiro Vidigueira, Gauthier Jérôme Timothée Voron, Martina Camaioni, Matteo Monti, 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

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, Manuel José Ribeiro Vidigueira, Martina Camaioni, Matteo Monti

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

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

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

IPsec

Rapidly verifiable aggregate signatures

On the Theory and Practice of Modern Secure Messaging

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

Optimal Symmetric Ratcheting for Secure Communication

Oracular Byzantine Reliable Broadcast

PROFACTORY: Improving IoT Security via Formalized Protocol Customization

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

Piezoelectric Grippers for Mobile Micromanipulation

A Formally Verified NAT Stack

A Formally Verified NAT Stack

Graph Chatbot

Chattez avec Graph Search

Oracular Byzantine Reliable Broadcast

Optimal Symmetric Ratcheting for Secure Communication

Rapidly verifiable aggregate signatures

On the Theory and Practice of Modern Secure Messaging

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

PROFACTORY: Improving IoT Security via Formalized Protocol Customization

A Formally Verified NAT Stack

A Formally Verified NAT Stack

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

Piezoelectric Grippers for Mobile Micromanipulation