A Compiler and Verifier for Page Access Oblivious Computation

Rohit Sinha, Sriram Rajamani and Sanjit A. Seshia

EECS Department
University of California, Berkeley
Technical Report No. UCB/EECS-2017-124
July 8, 2017

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2017/EECS-2017-124.pdf


BibTeX citation:

@techreport{Sinha:EECS-2017-124,
    Author = {Sinha, Rohit and Rajamani, Sriram and Seshia, Sanjit A.},
    Title = {A Compiler and Verifier for Page Access Oblivious Computation},
    Institution = {EECS Department, University of California, Berkeley},
    Year = {2017},
    Month = {Jul},
    URL = {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2017/EECS-2017-124.html},
    Number = {UCB/EECS-2017-124}
}

EndNote citation:

%0 Report
%A Sinha, Rohit
%A Rajamani, Sriram
%A Seshia, Sanjit A.
%T A Compiler and Verifier for Page Access Oblivious Computation
%I EECS Department, University of California, Berkeley
%D 2017
%8 July 8
%@ UCB/EECS-2017-124
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2017/EECS-2017-124.html
%F Sinha:EECS-2017-124