Notice: Only variables should be passed by reference in /v/filer5b/webother/users/other/lasr/bibtex.php on line 91
@inproceedings{
Setty18Proving,
Author = {Srinath Setty and Sebastian Angel and Trinabh Gupta and Jonathan Lee},
Title = {Proving the correct execution of concurrent services in zero-knowledge},
Booktitle = {OSDI},
Year = {2018}
}