IEEE Security and Privacy, S&P 2015


Article Details
Title: Securing Multiparty Online Services Via Certification of Symbolic Transactions
Article URLs:
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:
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key: conf/sp/ChenCQ015
Author Comments:

Discuss this paper and its artifacts below