Hanane Houmani

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