@MISC{pad:ban:her:sce:xx:jcs,
  AUTHOR =       {P. Ad{\~a}o and G. Bana and J. Herzog and A. Scedrov},
  FULLAUTHOR =   {Pedro Ad{\~a}o and Gergei Bana and Jonathan Herzog
    and Andre Scedrov},
  TITLE =        {Soundness and Completeness of Formal Encryption:
    the Cases of Key-Cycles and Partial Information Leakage},
  note         = {Submitted for Publication}
}