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