Concept

IPsec

Publications associées (47)

Graph Chatbot

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.

Connectez-vous pour utiliser Chat avec Graph Search

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

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

, , ,

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

, , ,

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

, , ,

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