3 citations · 16 across the 11 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.CR2017★ 3 cited
Witness-Functions versus Interpretation-Functions for Secrecy in Cryptographic Protocols: What to Choose?
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…
cs.CR2017★ 1 cited
Cryptographic Protocol for Multipart Missions Involving Two Independent and Distributed Decision Levels in a Military Context
Jaouhar Fattahi, Mohamed Mejri, Marwa Ziadia +3
In several critical military missions, more than one decision level are involved. These decision levels are often independent and distributed, and sensitive pieces of information m…