Michael D. Pedersen

Learn More
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are indistinguishable under the notion of static equivalence if they satisfy the same equations on terms. We present a first-order logic for frames with quantification over environment(More)
  • 1