Jeongseok Son, Griffin Prechter, Rishabh Poddar, Raluca Ada Popa, Koushik Sen. ObliCheck: Efficient Verification of Oblivious Algorithms with Unobservable State. In Michael Bailey, Rachel Greenstadt, editors, 30th USENIX Security Symposium, USENIX Security 2021, August 11-13, 2021. pages 2219-2236, USENIX Association, 2021. [doi]
Abstract is missing.