41 citations · 177 across the 26 of their papers we have counts for
29 papers
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…
Quantum Cheques
Mohammed Barhoush, Louis Salvail
Publicly-verifiable quantum money has been a central and challenging goal in quantum cryptography. To this day, no constructions exist based on standard assumptions. In this study,…
Signatures From Pseudorandom States via -PRFs
Mohammed Barhoush, Amit Behera, Lior Ozer +2
Different flavors of quantum pseudorandomness have proven useful for various cryptographic applications, with the compelling feature that these primitives are potentially weaker th…
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…
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…