@INPROCEEDINGS{AulDePPenPerVen06,
  AUTHOR =       {V. Auletta and R. De Prisco and P. Penna and P. Persiano and C. Ventre},
  TITLE =        {New Constructions of Mechanisms with Verification},
  BOOKTITLE =    {Proc. of the 16th International Colloquium on Automata, Languages and Programming (ICALP)},
  YEAR =         {2006},
  volume =       {4051},
  series =       {LNCS},
  pages =        {507-608}
}