%0 Conference Paper %1 conf/sp/ChenCQ015 %A Chen, Eric Y. %A Chen, Shuo %A Qadeer, Shaz %A Wang, Rui %B IEEE Symposium on Security and Privacy %D 2015 %I IEEE Computer Society %K dblp %P 833-849 %T Securing Multiparty Online Services Via Certification of Symbolic Transactions. %U http://dblp.uni-trier.de/db/conf/sp/sp2015.html#ChenCQ015 %@ 978-1-4673-6949-7

@inproceedings{conf/sp/ChenCQ015, added-at = {2016-05-10T00:00:00.000+0200}, author = {Chen, Eric Y. and Chen, Shuo and Qadeer, Shaz and Wang, Rui}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2324f318ceeac15847f089dacc7d4efb0/dblp}, booktitle = {IEEE Symposium on Security and Privacy}, crossref = {conf/sp/2015}, ee = {http://doi.ieeecomputersociety.org/10.1109/SP.2015.56}, interhash = {458efdabf9986fc6823da9b83d76be4c}, intrahash = {324f318ceeac15847f089dacc7d4efb0}, isbn = {978-1-4673-6949-7}, keywords = {dblp}, pages = {833-849}, publisher = {IEEE Computer Society}, timestamp = {2016-05-11T09:32:37.000+0200}, title = {Securing Multiparty Online Services Via Certification of Symbolic Transactions.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp2015.html#ChenCQ015}, year = 2015 }