Heuristic guess-and-determine attacks on stream ciphers. - Hadi Ahmadi; Taraneh Eghlidos (IET Inf. Secur., 2009)

The Formal Design Model of a Lift Dispatching System (LDS). - Yingxu Wang 001; Cyprian F. Ngolah; Hadi Ahmadi; Phillip C.-Y. Sheu; Shi Ying (Int. J. Softw. Sci. Comput. Intell., 2009)

Secret key establishment over a pair of independent broadcast channels. - Hadi Ahmadi; Reihaneh Safavi-Naini (ISITA, 2010)

New results on Secret Key Establishment over a pair of broadcast channels. - Hadi Ahmadi; Reihaneh Safavi-Naini (ISITA, 2010)

Secret Key Agreement over a Pair of Independent Broadcast Channels - Hadi Ahmadi; Reihaneh Safavi-Naini (CoRR, 2010)

Secret Key Establishment over Noisy Channels. - Hadi Ahmadi; Reihaneh Safavi-Naini (FPS, 2011)

Secret Keys from Channel Noise. - Hadi Ahmadi; Reihaneh Safavi-Naini (IACR Cryptol. ePrint Arch., 2011)

Common Randomness and Secret Key Capacities of Two-way Channels. - Hadi Ahmadi; Reihaneh Safavi-Naini (IACR Cryptol. ePrint Arch., 2011)

Message Transmission and Key Establishment: Conditions for Equality of Weak and Strong Capacities. - Hadi Ahmadi; Reihaneh Safavi-Naini (FPS, 2012)

Information Theoretic Security over Physical-Layer Channels. - Hadi Ahmadi (2012)

Secure Distance Bounding Verification using Physical-Channel Properties - Hadi Ahmadi; Reihaneh Safavi-Naini (CoRR, 2013)

Detection of Algebraic Manipulation in the Presence of Leakage. - Hadi Ahmadi; Reihaneh Safavi-Naini (IACR Cryptol. ePrint Arch., 2013)

Message transmission and key establishment: General equality for weak and strong capacities. - Hadi Ahmadi; Reihaneh Safavi-Naini (J. Inf. Secur. Appl., 2013)

Private Message Transmission Using Disjoint Paths. - Hadi Ahmadi; Reihaneh Safavi-Naini (ACNS, 2014)

Multipath Private Communication: An Information Theoretic Approach. - Hadi Ahmadi; Reihaneh Safavi-Naini (CoRR, 2014)

Distance Lower Bounding. - Xifan Zheng; Reihaneh Safavi-Naini; Hadi Ahmadi (IACR Cryptol. ePrint Arch., 2014)

A bio-inspired vestibular system using MEMS sensors and 3D printing technology. - Sajad Abolpour Moshizi; Mohammad Amin Raoufi; Hadi Ahmadi; Andrew Belford; Shuying Wu; Mohsen Asadnia (ICST, 2019)

Graph Model Implementation of Attribute-Based Access Control Policies. - Hadi Ahmadi; Derek Small (CoRR, 2019)

A learning-based metaheuristic for a multi-objective agile inspection planning model under uncertainty. - Maryam Karimi Mamaghan; Mehrdad Mohammadi; Payman Jula; Amir Pirayesh; Hadi Ahmadi (Eur. J. Oper. Res., 2020)

Flash: A Comprehensive Approach to Intrusion Detection via Provenance Graph Representation Learning. - Mati Ur Rehman; Hadi Ahmadi; Wajih Ul Hassan (SP, 2024)