%0 Conference Paper %1 conf/osdi/SettyAGL18 %A Setty, Srinath T. V. %A Angel, Sebastian %A Gupta, Trinabh %A Lee, Jonathan %B OSDI %D 2018 %E Arpaci-Dusseau, Andrea C. %E Voelker, Geoff %I USENIX Association %K dblp %P 339-356 %T Proving the correct execution of concurrent services in zero-knowledge. %U http://dblp.uni-trier.de/db/conf/osdi/osdi2018.html#SettyAGL18

@inproceedings{conf/osdi/SettyAGL18, added-at = {2021-02-02T00:00:00.000+0100}, author = {Setty, Srinath T. V. and Angel, Sebastian and Gupta, Trinabh and Lee, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/280ac0844761d48c5e5299ffd95094da5/dblp}, booktitle = {OSDI}, crossref = {conf/osdi/2018}, editor = {Arpaci-Dusseau, Andrea C. and Voelker, Geoff}, ee = {https://dl.acm.org/citation.cfm?id=3291193}, interhash = {2d216a94b5f8387a28cdd8d44944c973}, intrahash = {80ac0844761d48c5e5299ffd95094da5}, keywords = {dblp}, pages = {339-356}, publisher = {USENIX Association}, timestamp = {2024-04-09T21:10:24.000+0200}, title = {Proving the correct execution of concurrent services in zero-knowledge.}, url = {http://dblp.uni-trier.de/db/conf/osdi/osdi2018.html#SettyAGL18}, year = 2018 }