Publications related to Provably Secure Authenticated Encryption

Key Negotiation Downgrade Attacks on Bluetooth and Bluetooth Low Energy

Bluetooth (BR/EDR) and Bluetooth Low Energy (BLE) are pervasive wireless technologies specified in the Bluetooth standard. The standard includes key negotiation protocols used to generate long-term keys (during pairing) and session keys (during secure conn ...

ASSOC COMPUTING MACHINERY2020

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

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 ASSOC2020

Side-channel attacks on SIKE

Natacha Yolande Emmanuel Marie Linard de Guertechin

This thesis presents, firstly, an introduction to the current state of the art in isogeny-based cryptography, and secondly, a side-channel differential power analysis of SIKE—an isogeny-based key exchange algorithm—in semi-static mode. These attacks have b ...

2020

BIAS: Bluetooth Impersonation AttackS

Daniele Antonioli

Bluetooth (BR/EDR) is a pervasive technology for wireless communication used by billions of devices. The Bluetooth standard includes a legacy authentication procedure and a secure authentication procedure, allowing devices to authenticate to each other usi ...

IEEE COMPUTER SOC2020

Spark Plasma Sintering of Ceramics: From Modeling to Practice

Paul Bowen, Michael Stuer, Zhe Zhao

Summarizing the work of nearly a decade of research on spark plasma sintering (SPS), a review is given on the specificities and key factors to be considered in SPS of ceramic materials, based on the authors’ own research. Alumina is used primarily as a mo ...

2020

Bidirectional Asynchronous Ratcheted Key Agreement with Linear Complexity

Serge Vaudenay, Fatma Betül Durak

Following up mass surveillance and privacy issues, modern secure communication protocols now seek more security such as forward secrecy and post-compromise security. They cannot rely on an assumption such as synchronization, predictable sender/receiver rol ...

Springer2019

Methods and systems for secure data exchange

Bryan Alexander Ford, Linus Gasser, Eleftherios Kokoris Kogias

The present invention concerns a computer-implemented method for secure data exchange between a sender (A) and a recipient (B), wherein the method is performed by the sender (A) and comprises encrypting data using a symmetric key k, creating a write transa ...

2019

Misuse Attacks on Post-quantum Cryptosystems

Serge Vaudenay, Loïs Evan Huguenin-Dumittan, Abdullah Talayhan, Fatma Betül Durak, Ciprian Baetu

Many post-quantum cryptosystems which have been proposed in the National Institute of Standards and Technology (NISI) standardization process follow the same meta-algorithm, but in different algebras or different encoding methods. They usually propose two ...

SPRINGER INTERNATIONAL PUBLISHING AG2019

Beyond Conventional Security in Sponge-Based Authenticated Encryption Modes

Philipp Svetolik Jovanovic

The Sponge function is known to achieve 2c/2 security, where c is its capacity. This bound was carried over to its keyed variants, such as SpongeWrap, to achieve a min{2c/2,2 kappa} security bound, with kappa the key length. Similarly, many CAESAR competit ...

SPRINGER2019

Provably Secure Authenticated Encryption

Graph Chatbot

Chat with Graph Search

Key Negotiation Downgrade Attacks on Bluetooth and Bluetooth Low Energy

SafetyPin: Encrypted Backups with Human-Memorable Secrets

SafetyPin: Encrypted Backups with Human-Memorable Secrets

Side-channel attacks on SIKE

BIAS: Bluetooth Impersonation AttackS

Spark Plasma Sintering of Ceramics: From Modeling to Practice

Bidirectional Asynchronous Ratcheted Key Agreement with Linear Complexity

Methods and systems for secure data exchange

Misuse Attacks on Post-quantum Cryptosystems

Beyond Conventional Security in Sponge-Based Authenticated Encryption Modes

Side-channel attacks on SIKE

Methods and systems for secure data exchange

Key Negotiation Downgrade Attacks on Bluetooth and Bluetooth Low Energy

BIAS: Bluetooth Impersonation AttackS

SafetyPin: Encrypted Backups with Human-Memorable Secrets

Beyond Conventional Security in Sponge-Based Authenticated Encryption Modes

SafetyPin: Encrypted Backups with Human-Memorable Secrets

Misuse Attacks on Post-quantum Cryptosystems

Spark Plasma Sintering of Ceramics: From Modeling to Practice

Bidirectional Asynchronous Ratcheted Key Agreement with Linear Complexity