Polynomial word-level verification of arithmetic circuits. - Mohammed Barhoush; Alireza Mahzoon; Rolf Drechsler (MEMOCODE, 2021)

How to Sign Quantum Messages. - Mohammed Barhoush; Louis Salvail (CoRR, 2023)

Functional Encryption in the Bounded Storage Models. - Mohammed Barhoush; Louis Salvail (CoRR, 2023)

Pseudo-Deterministic One-Way Functions from Pseudorandom States. - Mohammed Barhoush; Louis Salvail (CoRR, 2023)

Powerful Primitives in the Bounded Quantum Storage Model. - Mohammed Barhoush; Louis Salvail (ITC, 2025)

MicroCrypt Assumptions with Quantum Input Sampling and Pseudodeterminism: Constructions and Separations. - Mohammed Barhoush; Ryo Nishimaki; Takashi Yamakawa (IACR Cryptol. ePrint Arch., 2025)