Papers, Presentations and Reports Authored by Pramod Subramanyan

1. A Formal Foundation for Secure Remote Execution of Enclaves, Pramod Subramanyan, Rohit Sinha, Ilia Lebedev, Srinivas Devadas, Sanjit Seshia, Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, ACM, 2435-2450, October, 2017. Posted on 14 Nov 2017.

Counts

• 1 Conference paper.

The counts above are from the publications database. The number of posters is derived from the presentations.

Note: A poster is a presentation that has the word 'poster' (case-insensitive) in the any of the text fields. Thus, the poster count might be somewhat inaccurate. The number of posters is deducted from the number of presentations and bother are reported.