Rohit Sinha and 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},
    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