5 papers
Simulation-Secure Functional Encryption in the Bounded Storage Model
Mohammed Barhoush, Louis Salvail
Functional encryption (FE) is a versatile paradigm that enables fine-grained access control over encrypted data. Despite its potential, achieving the gold standard of simulation-ba…
On the Impossibility of Simulation Security for Quantum Functional Encryption
Mohammed Barhoush, Arthur Mehta, Anne Müller +1
Functional encryption is a powerful cryptographic primitive that enables fine-grained access to encrypted data and underlies numerous applications. Although the ideal security noti…
How to Sign Quantum Messages
Mohammed Barhoush, Louis Salvail
Signing quantum messages has long been considered impossible even under computational assumptions. In this work, we challenge this notion and provide three innovative approaches to…
Powerful Primitives in the Bounded Quantum Storage Model
Mohammed Barhoush, Louis Salvail
The bounded quantum storage model aims to achieve security against computationally unbounded adversaries that are restricted only with respect to their quantum memories. In this wo…
Fiat-Shamir for Proofs Lacks a Proof Even in the Presence of Shared Entanglement
Frédéric Dupuis, Philippe Lamontagne, Louis Salvail
We explore the cryptographic power of arbitrary shared physical resources. The most general such resource is access to a fresh entangled quantum state at the outset of each protoco…