1 citations · 2 across the 11 of their papers we have counts for
4 papers · 1 filter
Quantum Cryptomania with Classical Communication without One-Way Functions
Mohammed Barhoush, Amit Behera
In classical cryptography, one-way functions are necessary for most of cryptography. In the quantum world, however, Kretschmer at {TQC'21} and subsequent works have demonstrated th…
Separating Quantum Indistinguishability Obfuscation from Falsifiable Assumptions
Mohammed Barhoush, Tomoyuki Morimae, Ramis Movassagh
Quantum indistinguishability obfuscation (qIO) aims to make a quantum circuit unintelligible while preserving its functionality. It serves as a foundational primitive for advanced…
Separating Non-Interactive Classical Verification of Quantum Computation from Falsifiable Assumptions
Mohammed Barhoush, Tomoyuki Morimae, Ryo Nishimaki +1
Mahadev [SIAM J. Comput. 2022] introduced the first protocol for classical verification of quantum computation based on the Learning-with-Errors (LWE) assumption, achieving a 4-mes…
On the Feasibility of Simulation-Secure 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…