2 citations · 3 across the 2 of their papers we have counts for
2 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…