40 citations · 86 across the 17 of their papers we have counts for
1 paper · 1 filter
Jaouhar Fattahi, Mohamed Mejri, Hanane Houmani
In this paper, we present a new semi-decidable procedure to analyze cryptographic protocols for secrecy based on a new class of functions that we call: the Witness-Functions. A Wit…