A language for probabilistically oblivious computation

David Darais, Ian Sweet, Chang Liu 0021, Michael Hicks 0001. A language for probabilistically oblivious computation. Proceedings of the ACM on Programming Languages, 4(POPL), 2020. [doi]

Abstract

Abstract is missing.