%0 Conference Paper %1 conf/ccs/BackesHU09 %A Backes, Michael %A Hofheinz, Dennis %A Unruh, Dominique %B ACM Conference on Computer and Communications Security %D 2009 %E Al-Shaer, Ehab %E Jha, Somesh %E Keromytis, Angelos D. %I ACM %K dblp %P 66-78 %T CoSP: a general framework for computational soundness proofs. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2009.html#BackesHU09 %@ 978-1-60558-894-0

@inproceedings{conf/ccs/BackesHU09, added-at = {2019-06-02T00:00:00.000+0200}, author = {Backes, Michael and Hofheinz, Dennis and Unruh, Dominique}, biburl = {https://www.bibsonomy.org/bibtex/2757177aae359775d55b6c7f258ae0e47/dblp}, booktitle = {ACM Conference on Computer and Communications Security}, crossref = {conf/ccs/2009}, editor = {Al-Shaer, Ehab and Jha, Somesh and Keromytis, Angelos D.}, ee = {https://www.wikidata.org/entity/Q62038951}, interhash = {59f4bfdb20b388aa6ddd3b628f829724}, intrahash = {757177aae359775d55b6c7f258ae0e47}, isbn = {978-1-60558-894-0}, keywords = {dblp}, pages = {66-78}, publisher = {ACM}, timestamp = {2020-11-11T11:37:45.000+0100}, title = {CoSP: a general framework for computational soundness proofs.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2009.html#BackesHU09}, year = 2009 }