| 2009 | ||
|---|---|---|
| 4 | Hanane Houmani, Mohamed Mejri, Hamido Fujita: Secrecy of cryptographic protocols under equational theory. Knowl.-Based Syst. 22(3): 160-173 (2009) | |
| 2008 | ||
| 3 | Hanane Houmani, Mohamed Mejri: Ensuring the Correctness of Cryptographic Protocols with Respect to Secrecy. SECRYPT 2008: 184-189 | |
| 2007 | ||
| 2 | Hanane Houmani, Mohamed Mejri: Practical and Universal Interpretation Functions for Secrecy. SECRYPT 2007: 157-164 | |
| 1 | Hanane Houmani, Mohamed Mejri: Secrecy by interpretation functions. Knowl.-Based Syst. 20(7): 617-635 (2007) | |
| 1 | Hamido Fujita | [4] |
| 2 | Mohamed Mejri | [1] [2] [3] [4] |