From post

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.

 

Другие публикации лиц с тем же именем

BFT: the time is now., , , , и . LADIS, стр. 13:1-13:4. ACM, (2008)Privacy Preserving Collaboration in Bring-Your-Own-Apps., , , , и . SoCC, стр. 265-278. ACM, (2016)Toward the Verification of a Simple Hypervisor, , , , и . ACL2, том 70 из EPTCS, стр. 28-45. (2011)Robustness in the Salus Scalable Block Store., , , , , , и . NSDI, стр. 357-370. USENIX Association, (2013)Making Byzantine Fault Tolerant Systems Tolerate Byzantine Faults (Superseded by, , , , и . (2008)The Calculus of Service Availability., , , и . ACM Queue, 15 (2): 40 (2017)Exalt: Empowering Researchers to Evaluate Large-Scale Storage Systems., , , , и . NSDI, стр. 129-141. USENIX Association, (2014)πBox: A Platform for Privacy-Preserving Apps., , , , и . NSDI, стр. 501-514. USENIX Association, (2013)Building a Hypervisor on a Formally Verifiable Protection Layer., , , , и . HICSS, стр. 5069-5078. IEEE Computer Society, (2013)Lazy Means Smart: Reducing Repair Bandwidth Costs in Erasure-coded Distributed Storage., , , , и . SYSTOR, стр. 15:1-15:7. ACM, (2014)