Practical & Provably Secure Distance-Bounding

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.

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

Barium stars are thought to result from binary evolution in systems wide enough to allow the more massive component to reach the asymptotic giant branch and eventually become a CO white dwarf. While Ba stars were initially known only among giant or subgian ...

Practical & Provably Secure Distance-Bounding

Chat with Graph Search

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

Secure and Efficient Cryptographic Algorithms in a Quantum World

On the Theory and Practice of Modern Secure Messaging

Public-Key Encryption with Quantum Keys

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

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

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

The role of the Nimrod proteins in the Drosophila immune system

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

Optimal Symmetric Ratcheting for Secure Communication

Post-Quantum Succinct Arguments: Breaking the Quantum Rewinding Barrier

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

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

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

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

Secrecy by Design With Applications to Privacy and Compression

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

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

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

Spectroscopic Orbits Of Three Dwarf Barium Stars