3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia +2
Proving that a cryptographic protocol is correct for secrecy is a hard task. One of the strongest strategies to reach this goal is to show that it is increasing, which means that t…