A compiler and verifier for page access oblivious computation.

Rohit Sinha Sriram K. Rajamani Sanjit A. Seshia

Published in: ESEC/SIGSOFT FSE (2017)

Keyphrases

website
web pages
data sets
high level
case study
general purpose
access control
parallel computation
code generation