Publication

Practical & Provably Secure Distance-Bounding

Related publications (32)

Side-channel analysis of isogeny-based key encapsulation mechanisms and hash-based digital signatures

Current cryptographic solutions will become obsolete with the arrival of large-scale universal quantum computers. As a result, the National Institute of Standards and Technology supervises a post-quantum standardization process which involves evaluating ca ...

EPFL2024

Secure and Efficient Cryptographic Algorithms in a Quantum World

Loïs Evan Huguenin-Dumittan

Since the advent of internet and mass communication, two public-key cryptographic algorithms have shared the monopoly of data encryption and authentication: Diffie-Hellman and RSA. However, in the last few years, progress made in quantum physics -- and mo ...

EPFL2024

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

Public-Key Encryption with Quantum Keys

Khashayar Barooti

In the framework of Impagliazzo's five worlds, a distinction is often made between two worlds, one where public-key encryption exists (Cryptomania), and one in which only one-way functions exist (MiniCrypt). However, the boundaries between these worlds can ...

Springer International Publishing Ag2023

Modelling and design of CMOS SPAD sensors for quantum random number generation

Pouyan Keshavarzian

Modern digital connectivity has necessitated the creation of robust methods for securely storing and transferring data. At the heart of all security infrastructure is the random number generator (RNG). While random numbers find use in a variety of applicat ...

EPFL2023

The Reef Environment Centralized InFormation System (RECIFS) : An integrated geo‐environmental database for coral reef research and conservation

Stéphane Joost, Oliver Michele Selmoni

Motivation: Host to intricate networks of marine species, coral reefs are among the most biologically diverse ecosystems on Earth. Over the past few decades, major degradations of coral reefs have been observed worldwide, which is largely attributed to the ...

2023

The design and development of anion exchange membranes for hydrogen fuel cells

Xingyu Wu

Hydrogen fuel cells are an essential component of hydrogen economy, which have been advocated as a major path towards the decarbonization of the energy sector. Within the two main types of low-temperature hydrogen fuel cells, anion-exchange membrane fuel c ...

EPFL2023

The role of the Nimrod proteins in the Drosophila immune system

Bianca Marie Petrignani

The use of tractable model organisms such as Drosophila melanogaster and the powerful genetic tools they offer has contributed significantly to recent advances in comprehension of innate immunity, notably phagocytosis. To date, several phagocytic transmemb ...

EPFL2022

Attacks on some post-quantum cryptographic protocols: The case of the Legendre PRF and SIKE

Novak Kaluderovic

Post-quantum cryptography is a branch of cryptography which deals with cryptographic algorithms whose hardness assumptions are not based on problems known to be solvable by a quantum computer, such as the RSA problem, factoring or discrete logarithms. This ...

EPFL2022

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

Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier

Alessandro Chiesa

We prove that Kilian's four-message succinct argument system is post-quantum secure in the standard model when instantiated with any probabilistically checkable proof and any collapsing hash function (which in turn exist based on the post-quantum hardness ...

IEEE COMPUTER SOC2022

Virgo filaments I. Processing of gas in cosmological filaments around the Virgo cluster

Pascale Jablonka, Gianluca Castignani

It is now well established that galaxies have different morphologies, gas contents, and star formation rates (SFR) in dense environments like galaxy clusters. The impact of environmental density extends to several virial radii, and galaxies appear to be pr ...

EDP SCIENCES S A2021

Understanding delayed fluorescence and triplet decays of Protoporphyrin IX under hypoxic conditions

Georges Wagnières

Photosensitizers of singlet oxygen exhibit three main types of reverse intersystem-crossing (RISC): thermally activated, triplet-triplet annihilation, and singlet oxygen feedback. RISC can be followed by delayed fluorescence (DF) emission, which can provid ...

SPRINGERNATURE2021

Dipole-Fed Rectangular Dielectric Resonator Antennas for Magnetic Resonance Imaging at 7 T: The Impact of Quasi-Transverse Electric Modes on Transmit Field Distribution

Rolf Gruetter, Daniel Wenz

Shortened dipole antennas based on rectangular dielectric blocks play an important role in ultrahigh field magnetic resonance imaging (UHF-MRI) radio frequency (RF) coil design. However, the generally assumed direct contact with the subject is difficult to ...

2021

A secreted factor NimrodB4 promotes the elimination of apoptotic corpses by phagocytes in Drosophila

Bruno Lemaitre, Samuel Rommelaere, Elodie Julie Virginie Ramond, Bianca Marie Petrignani, Florent François Masson

Programmed cell death plays a fundamental role in development and tissue homeostasis. Professional and non-professional phagocytes achieve the proper recognition, uptake, and degradation of apoptotic cells, a process called efferocytosis. Failure in effero ...

2021

Beyond Security and Efficiency: On-Demand Ratcheting with Security Awareness

Serge Vaudenay, Andrea Felice Caforio, Fatma Betül Durak

Secure asynchronous two-party communication applies ratcheting to strengthen privacy, in the presence of internal state exposures. Security with ratcheting is provided in two forms: forward security and post-compromise security. There have been several suc ...

2021

Secrecy by Design With Applications to Privacy and Compression

Yanina Yurina Shkel

Secrecy by design is examined as an approach to information-theoretic secrecy. The main idea behind this approach is to design an information processing system from the ground up to be perfectly secure with respect to an explicit secrecy constraint. The pr ...

2021

Algal cellulose, production and potential use in plastics: Challenges and opportunities

Horst Pick, Christian Ludwig, Adrian Pulgarin, Enio Daniel Zanchetta, Eya Nicodeme, Tobias Borgmeyer

The development of new biodegradable plastic materials from renewable sources is a major challenge for plastic industries to provide sustainable alternatives to petroleum plastic. Bio-based plastics are generally obtained from photosynthetic biomass such a ...

2021

Cryogenic Infrared Action Spectroscopy Fingerprints the Hydrogen Bonding Network in Gas-Phase Coumarin Cations

Thomas Rizzo, Robert Paul Pellegrinelli, Eduardo Carrascosa Casado

We report cryogenic vibrational spectra of gas-phase cations of two common hydroxycoumarins, scopoletin and esculetin, as well as their glycosidic derivatives, scopolin and esculin. The study allows direct observation of the intramolecular interactions bet ...

2020

The Hidden Past of M92: Detection and Characterization of a Newly Formed 17 degrees Long Stellar Stream Using the Canada-France Imaging Survey

Nicolas Lawrence Etienne Longeard

We present an analysis of the structure, kinematics, and orbit of a newly found stellar stream emanating from the globular cluster M92 (NGC 6341). This stream was discovered in an improved matched-filter map of the outer Galaxy, based on a "color-color-mag ...

IOP PUBLISHING LTD2020