Practical and Universal Interpretation Functions for Secrecy. - Hanane Houmani; Mohamed Mejri (SECRYPT, 2007)

Secrecy by interpretation functions. - Hanane Houmani; Mohamed Mejri (Knowl. Based Syst., 2007)

Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy. - Hanane Houmani; Mohamed Mejri (SECRYPT, 2008)

Secrecy of cryptographic protocols under equational theory. - Hanane Houmani; Mohamed Mejri; Hamido Fujita (Knowl. Based Syst., 2009)

Formal Analysis of the TLS Handshake Protocol. - Hanane Houmani; Mourad Debbabi (SECRYPT, 2012)

Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method. - Hanane Houmani; Mohamed Mejri (J. Comput. Networks Commun., 2012)

Secrecy by Witness Functions. - Jaouhar Fattahi; Mohamed Mejri; Hanane Houmani (FMS @ Petri Nets, 2014)

Secrecy by witness-functions on increasing protocols. - Jaouhar Fattahi; Mohamed Mejri; Hanane Houmani (ECAI, 2014)

A Semi-Decidable Procedure for Secrecy in Cryptographic Protocols. - Jaouhar Fattahi; Mohamed Mejri; Hanane Houmani (CoRR, 2014)

MARSC: A Macro-Architecture for Smart Cities. - Sara Benyahia; Hanane Houmani; Abdelwahed Namir (HPCCT, 2018)

Relaxed Conditions for Secrecy in a Role-Based Specification. - Jaouhar Fattahi; Mohamed Mejri; Hanane Houmani (CoRR, 2018)