Author of the publication

Securing Multiparty Online Services Via Certification of Symbolic Transactions.

, , , and . IEEE Symposium on Security and Privacy, page 833-849. IEEE Computer Society, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Qadeer, Shaz
add a person with the name Qadeer, Shaz
 

Other publications of authors with the same name

A low-level memory model and an accompanying reachability predicate., , , and . STTT, 11 (2): 105-116 (2009)Checking Concise Specifications for Multithreaded Software., and . Journal of Object Technology, 3 (6): 81-101 (2004)Promising Directions in Hardware Design Verification (invited)., and . ISQED, page 381-387. IEEE Computer Society, (2002)Decomposing Refinement Proofs Using Assume-Guarantee Reasoning., , and . ICCAD, page 245-252. IEEE Computer Society, (2000)Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking.. IEEE Trans. Parallel Distrib. Syst., 14 (8): 730-741 (2003)Tressa: Claiming the Future., , and . VSTTE, volume 6217 of Lecture Notes in Computer Science, page 25-39. Springer, (2010)Zing: Exploiting Program Structure for Model Checking Concurrent Software., , , and . CONCUR, volume 3170 of Lecture Notes in Computer Science, page 1-15. Springer, (2004)Linear maps., , and . PLPV, page 3-14. ACM, (2011)An Assume-Guarantee Rule for Checking Simulation., , , and . FMCAD, volume 1522 of Lecture Notes in Computer Science, page 421-432. Springer, (1998)Induction in Compositional Model Checking., , and . CAV, volume 1855 of Lecture Notes in Computer Science, page 312-327. Springer, (2000)