Securing Multiparty Online Services Via Certification of Symbolic Transactions

Article Details
Title:	Securing Multiparty Online Services Via Certification of Symbolic Transactions
Article URLs:	https://doi.org/10.1109/SP.2015.56 http://doi.ieeecomputersociety.org/10.1109/SP.2015.56
Alternative Article URLs:
Authors:	Eric Y. Chen	Carnegie Mellon University
	Shuo Chen	Microsoft Research
	Shaz Qadeer	Microsoft Research
	Rui Wang	Microsoft Research
Sharing:	Unknown
Verification:	Authors have not verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://sites.google.com/site/symbolictransaction/
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/sp/ChenCQ015
Author Comments:

IEEE Security and Privacy, S&P 2015