@inproceedings {222621, author = {Srinath Setty and Sebastian Angel and Trinabh Gupta and Jonathan Lee}, title = {Proving the correct execution of concurrent services in zero-knowledge}, booktitle = {13th USENIX Symposium on Operating Systems Design and Implementation (OSDI 18)}, year = {2018}, isbn = {978-1-939133-08-3}, address = {Carlsbad, CA}, pages = {339--356}, url = {https://www.usenix.org/conference/osdi18/presentation/setty}, publisher = {USENIX Association}, month = oct }