Securing Multiparty Online Services via Certification of Symbolic Transactions
Eric Chen, Shuo Chen, Shaz Qadeer, Rui Wang
Proceedings of the IEEE Symposium on Security and Privacy (Oakland) | May 2015
test test
Publications
Publications by Year
Publications by Research Area
-
Securing Multiparty Online Services via Certification of Symbolic Transactions
Eric Chen, Shuo Chen, Shaz Qadeer, Rui Wang
Proceedings of the IEEE Symposium on Security and Privacy (Oakland) | May 2015
test test
-
Securing Multiparty Online Services via Certification of Symbolic Transactions
Eric Chen, Shuo Chen, Shaz Qadeer, Rui Wang
Proceedings of the IEEE Symposium on Security and Privacy (Oakland) | May 2015
test test
Publications by Type
-
Securing Multiparty Online Services via Certification of Symbolic Transactions
Eric Chen, Shuo Chen, Shaz Qadeer, Rui Wang
Proceedings of the IEEE Symposium on Security and Privacy (Oakland) | May 2015
test test
People
Shuo Chen
Senior Principal Researcher