Skip to content

Securing Multiparty Online Services Via Certification of Symbolic Transactions.

Eric Yawei Chen, Shuo Chen, Shaz Qadeer, Rui Wang

VenueA*SP
Year2015
ProceedingsIEEE Symposium on Security and Privacy

Browse the full SP paper archive.