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