Proving the correct execution of concurrent services in zero-knowledge
Srinath Setty, Sebastian Angel, Trinabh Gupta, and Jonathan Lee
Proceedings of the USENIX Operating Systems Design and Implementation (OSDI) 2018. View BibTeX.
areas Security
