FrankelGY96'

BibTeX

@inproceedings{DBLP:conf/podc/FrankelGY96,
  author    = {Yair Frankel and
               Peter Gemmell and
               Moti Yung},
  title     = {Witness-Based Cryptographic Program Checking and Applications
               (an Announcement)},
  booktitle = {PODC},
  year      = {1996},
  pages     = {211},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}