@MISC{pad:fou:06:fcc,
  AUTHOR =       {P. Ad{\~a}o and C. Fournet},
  FULLAUTHOR =   {Pedro Ad{\~a}o and C{\'e}dric Fournet},
  TITLE =        {Language Design for Computationally Sound
    Communications Abstractions},
  howpublished = {Presented at the 2nd Workshop on Formal and
    Computational Cryptography (FCC). Affiliated Workshop of ICALP'06, Venice, Italy},
  year         = {2006},
  month        = {July 9}
}