A compiler and verifier for page access oblivious computation

By Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia. 2017

28 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Materials Chemistry, Signal Processing