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