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

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

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

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

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

Biphoton frequency combs (BFCs) are promising quantum sources for large-scale and high-dimensional quantum information and networking systems. In this context, the spectral purity of individual frequency bins will be critical for realizing quantum networki ...

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 current advances in the Internet of Things (IoT) and the solutions being offered by this technology have accounted IoT among the top ten technologies that will transform the global economy by 2030. IoT is a state-of-the-art paradigm that has developed ...

The Bitcoin architecture heavily relies on the ECDSA signature scheme which is broken by quantum adversaries as the secret key can be computed from the public key in quantum polynomial time. To mitigate this attack, bitcoins can be paid to the hash of a pu ...

The sum of two n-bit pseudorandom permutations is known to behave like a pseudorandom function with n bits of security. A recent line of research has investigated the security of two public n-bit permutations and its degree of indifferentiability. Mandal e ...

Advances in mobile computing have paved the way for new types of distributed applications that can be executed solely by mobile devices on Device-to-Device (D2D) ecosystems (e.g., crowdsensing). Sophisticated applications, like cryptocurrencies, need distr ...

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

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

Messaging between two parties and in the group setting has enjoyed widespread attention both in practice, and, more recently, from the cryptographic community. One of the main challenges in the area is constructing secure (end-to- end encrypted) and effici ...

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

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

AI applications find widespread use in a variety of domains. For further acceptance, mostly when multiple agents interact with the system, we must aim to preserve the privacy of participants information in such applications. Towards this, the Yao’s Million ...

Although encryption hides the content of communications from third parties, metadata, i.e., the information attached to the content (such as the size or timing of communication) can be a rich source of details and context. In this dissertation, we demonstr ...

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

Practical and Provably Secure Distance-Bounding

Chat with Graph Search

On the Theory and Practice of Modern Secure Messaging

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

Secure and Efficient Cryptographic Algorithms in a Quantum World

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

Public-Key Encryption with Quantum Keys

Time-Resolved Hanbury Brown-Twiss Interferometry of On-Chip Biphoton Frequency Combs Using Vernier Phase Modulation

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

A review of the security vulnerabilities and countermeasures in the Internet of Things solutions: A bright future for the Blockchain

Making Classical (Threshold) Signatures Post-quantum for Single Use on a Public Ledger

Revisiting the Indifferentiability of the Sum of Permutations

Toward Mobile Distributed Ledgers

Optimal Symmetric Ratcheting for Secure Communication

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

Analysis and Improvements of the Sender Keys Protocol for Group Messaging

The role of the Nimrod proteins in the Drosophila immune system

PROFACTORY: Improving IoT Security via Formalized Protocol Customization

Blockchain-based Practical Multi-agent Secure Comparison and its Application in Auctions

Protecting privacy through metadata analysis

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