Publication

Formal methods in the design of cryptographic protocols (state of the art)

Related publications (52)

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

On the (Im)possibility of Commitment over Gaussian Unfair Noisy Channels

Commitment is a key primitive which resides at the heart of several cryptographic protocols. Noisy channels can help realize information-theoretically secure commitment schemes; however, their imprecise statistical characterization can severely impair such ...

2023

Un nouveau pont ferroviaire entièrement en CFUP

Eugen Brühwiler, Numa Joy Bertola, Ngoc Thanh Trinh, Enrique García

Le pont de l’Aiguillon, premier pont ferroviaire avec une auge et à voie étroite du monde entièrement en composite cimentaire fibré ultra performance (CFUP), a été réalisé et mis en service en 2021 sur la ligne ferroviaire TRAVYS entre Yverdon et Sainte-Cr ...

Espazium2023

Revisiting Tendermint: Design Tradeoffs, Accountability, and Practical Use

Rachid Guerraoui, Jovan Komatovic, Zarko Milosevic, Dragos-Adrian Seredinschi

Tendermint is a deterministic consensus protocol and is one of the most mature implementations of its kind. This implementation is used as the core for building State Machine Replication (SMR) platforms with Byzantine fault-tolerant (BFT) guarantees. A not ...

IEEE2022

Mourir, c'est un art

Christophe van Gerrewey

Le crématorium construit par Office Kersten Geers David Van Severen et Richard Venlet à Ostende est le résultat d’une procédure d’Open Oproep de 2013. Créer un lieu de derniers adieux ou une ultime résidence est une mission difficile. La fonctionnalité doi ...

2021

SafetyPin: Encrypted Backups with Human-Memorable Secrets

Henry Nathaniel Corrigan-Gibbs

We present the design and implementation of SafetyPin, a system for encrypted mobile-device backups. Like existing cloud-based mobile-backup systems, including those of Apple and Google, SafetyPin requires users to remember only a short PIN and defends aga ...

USENIX Association2020

SafetyPin: Encrypted Backups with Human-Memorable Secrets

Henry Nathaniel Corrigan-Gibbs

USENIX ASSOC2020

Implications of Position in Cryptography

Handan Kilinç Alper

In our daily lives, people or devices frequently need to learn their location for many reasons as some services depend on the absolute location or the proximity. The outcomes of positioning systems can have critical effects e.g., on military, emergency. Th ...

EPFL2018

The Graphic Statics behind the Collier Memorial

Corentin Jean Dominique Fivet

This paper reviews the various graphic statics methods applied during the early structural design of the Collier Memorial, Cambridge, MA. Built in 2015 to honor fallen MIT Police Officer Sean Collier, the monument is a vaulted assembly of massive granite b ...

2018

Multiple Objectives of Lawful-Surveillance Protocols

Bryan Alexander Ford

In recent work on open, privacy-preserving, accountable surveillance, we have proposed the use of cryptographic protocols that enable law-enforcement and intelligence agencies to obtain actionable information about targeted users of mass-communication syst ...

2017

Project 24 - lighting concept

Marilyne Andersen, Giorgia Chinazzo, Kynthia Chamilothori, Karina Borodaï

Project 24 is an urban art project in the underpass (M1 metro) in the north district of EPFL. This underpass is a key way for access to the EPFL campus, and to reach the new northern district and the SwissTech Convention Center. The project is focused on t ...

2016