Relating symbolic and cryptographic secrecy

  title={Relating symbolic and cryptographic secrecy},
  author={Michael Backes and Birgit Pfitzmann},
  journal={2005 IEEE Symposium on Security and Privacy (S&P'05)},
We investigate the relation between symbolic and cryptographic secrecy properties for cryptographic protocols. Symbolic secrecy of payload messages or exchanged keys is arguably the most important notion of secrecy shown with automated proof tools. It means that an adversary restricted to symbolic operations on terms can never get the entire considered object into its knowledge set. Cryptographic secrecy essentially means computational indistinguishability between the real object and a random… CONTINUE READING
Highly Cited
This paper has 72 citations. REVIEW CITATIONS


Publications citing this paper.

73 Citations

Citations per Year
Semantic Scholar estimates that this publication has 73 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 33 references

Cryptographic Protocols

  • M. Merritt
  • PhD dissertation, Georgia Inst. of Technology…
  • 1983
Highly Influential
1 Excerpt

Cryptographic Key Secrecy of the Strengthened Yahalom Protocol via a Symbolic Security Proof

  • M. Backes, B. Pfitzmann
  • Research Report 3601, IBM Research, 2005.
  • 2005

Similar Papers

Loading similar papers…