3 citations · 6 across the 3 of their papers we have counts for
3 papers
cs.CR2018★ 2 cited
Relaxed Conditions for Secrecy in a Role-Based Specification
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
In this paper, we look at the property of secrecy through the growth of the protocol. Intuitively, an increasing protocol preserves the secret. For that, we need functions to estim…
cs.CR2018★ 1 cited
Secrecy by Witness-Functions on Increasing Protocols
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
In this paper, we present a new formal method to analyze cryptographic protocols statically for the property of secrecy. It consists in inspecting the level of security of every co…
cs.CR2018★ 3 cited
Secrecy by Witness-Functions under Equational Theories
Jaouhar Fattahi, Mohamed Mejri
In this paper, we use the witness-functions to analyze cryptographic protocols for secrecy under nonempty equational theories. The witness-functions are safe metrics used to comput…