Hanane Houmani

According to our database, Hanane Houmani authored at least 11 papers between 2007 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Relaxed Conditions for Secrecy in a Role-Based Specification.

Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani

CoRR, 2018

MARSC: A Macro-Architecture for Smart Cities.

Sara Benyahia, Hanane Houmani, Abdelwahed Namir

Proceedings of the 2nd High Performance Computing and Cluster Technologies Conference, 2018

2014

A Semi-Decidable Procedure for Secrecy in Cryptographic Protocols.

Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani

CoRR, 2014

Secrecy by witness-functions on increasing protocols.

Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani

Proceedings of the 6th International Conference on Electronics, 2014

Secrecy by Witness Functions.

Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani

Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference , 2014

2012

Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method.

Hanane Houmani, Mohamed Mejri

J. Comput. Networks Commun., 2012

Formal Analysis of the TLS Handshake Protocol.

Hanane Houmani, Mourad Debbabi

Proceedings of the SECRYPT 2012, 2012

2009

Secrecy of cryptographic protocols under equational theory.

Hanane Houmani, Mohamed Mejri, Hamido Fujita

Knowl. Based Syst., 2009

2008

Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy.

Hanane Houmani, Mohamed Mejri

Proceedings of the SECRYPT 2008, 2008

2007

Secrecy by interpretation functions.

Hanane Houmani, Mohamed Mejri

Knowl. Based Syst., 2007

Practical and Universal Interpretation Functions for Secrecy.

Hanane Houmani, Mohamed Mejri

Proceedings of the SECRYPT 2007, 2007