Hanane Houmani | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Studio Ghibli

Featured Co-authors

Jaouhar Fattahi
14 publications
Mohamed Mejri
11 publications

research

∙ 01/16/2018

Relaxed Conditions for Secrecy in a Role-Based Specification

In this paper, we look at the property of secrecy through the growth of ...

0 Jaouhar Fattahi, et al. ∙

research

∙ 01/11/2018

Secrecy by Witness-Functions on Increasing Protocols

In this paper, we present a new formal method to analyze cryptographic p...

0 Jaouhar Fattahi, et al. ∙