%0 Conference Paper %1 conf/stoc/FrankelGY96 %A Frankel, Yair %A Gemmell, Peter %A Yung, Moti %B STOC %D 1996 %E Miller, Gary L. %I ACM %K dblp %P 499-508 %T Witness-Based Cryptographic Program Checking and Robust Function Sharing. %U http://dblp.uni-trier.de/db/conf/stoc/stoc1996.html#FrankelGY96 %@ 0-89791-785-5

@inproceedings{conf/stoc/FrankelGY96, added-at = {2018-11-06T00:00:00.000+0100}, author = {Frankel, Yair and Gemmell, Peter and Yung, Moti}, biburl = {https://www.bibsonomy.org/bibtex/2c182b106ae8a68017503300123a218e4/dblp}, booktitle = {STOC}, crossref = {conf/stoc/1996}, editor = {Miller, Gary L.}, ee = {https://doi.org/10.1145/237814.237998}, interhash = {1b9f7b93d9e0959dc944ebe4fb545e9f}, intrahash = {c182b106ae8a68017503300123a218e4}, isbn = {0-89791-785-5}, keywords = {dblp}, pages = {499-508}, publisher = {ACM}, timestamp = {2018-11-07T15:22:02.000+0100}, title = {Witness-Based Cryptographic Program Checking and Robust Function Sharing.}, url = {http://dblp.uni-trier.de/db/conf/stoc/stoc1996.html#FrankelGY96}, year = 1996 }