Takwa Omrani

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
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 the security level of every single atomic message exchanged in the protocol, safely evaluated, never deceases. Recently, two families of functions have been proposed to measure the(More)
  • 1