[ACM Press the 2017 11th Joint Meeting - Paderborn, Germany (2017.09.04-2017.09.08)] Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017 - A compiler and verifier for page access oblivious computation
Sinha, Rohit, Rajamani, Sriram, Seshia, Sanjit A.Year:
2017
Language:
english
DOI:
10.1145/3106237.3106248
File:
PDF, 3.21 MB
english, 2017