Hanane Houmani

Publication Activity (10 Years)

Years Active: 2007-2018
Publications (10 Years): 3

Top Topics

Specification Language

Key Distribution

Role Assignment

Top Venues

FMS @ Petri Nets

Publications

Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
Relaxed Conditions for Secrecy in a Role-Based Specification. CoRR (2018)
Sara Benyahia, Hanane Houmani, Abdelwahed Namir
MARSC: A Macro-Architecture for Smart Cities. HPCCT (2018)
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
Secrecy by Witness-Functions on Increasing Protocols. CoRR (2018)
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
Secrecy by Witness Functions. FMS @ Petri Nets (2014)
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
Secrecy by witness-functions on increasing protocols. ECAI (2014)
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
A Semi-Decidable Procedure for Secrecy in Cryptographic Protocols. CoRR (2014)
Hanane Houmani, Mourad Debbabi
Formal Analysis of the TLS Handshake Protocol. SECRYPT (2012)
Hanane Houmani, Mohamed Mejri
Formal Analysis of SET and NSL Protocols Using the Interpretation Functions-Based Method. J. Comput. Networks Commun. 2012 (2012)
Hanane Houmani, Mohamed Mejri, Hamido Fujita
Secrecy of cryptographic protocols under equational theory. Knowl. Based Syst. 22 (3) (2009)
Hanane Houmani, Mohamed Mejri
Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy. SECRYPT (2008)
Hanane Houmani, Mohamed Mejri
Practical and Universal Interpretation Functions for Secrecy. SECRYPT (2007)
Hanane Houmani, Mohamed Mejri
Secrecy by interpretation functions. Knowl. Based Syst. 20 (7) (2007)