Rohit Sinha

Artificial Intelligence · with Seshia · 2015–2017

A researcher in the Science corpus: 4 papers; trusts 16 researchers and is trusted by 2 researchers here, as inferred from the citation graph.

Subfields

• Artificial Intelligence — 58 citations into it; #29,177 of 35,345 by trust here, #15,236 by citations
• Signal Processing — 30 citations into it; #6,268 of 7,572 by trust here, #2,400 by citations
• Information Systems — 19 citations into it; #8,374 of 8,771 by trust here, #5,303 by citations
• Computer Networks and Communications — 17 citations into it
• Computational Theory and Mathematics — 14 citations into it
• Hardware and Architecture — 12 citations into it
• Software — 8 citations into it

Whom Rohit Sinha trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

1. Bruno Blanchet
2. Leonardo de Moura
3. Mike Barnett
4. David Brumley
5. Felix Schuster
6. Manuel Costa
7. Yuanzhong Xu
8. Shweta Shinde
9. Sriram K. Rajamani
10. Nikita Borisov

Who trusts Rohit Sinha overall

1. Pramod Subramanyan
2. Sangho Lee
3. Ming-Wei Shih
4. Sanjit A. Seshia
5. Sriram K. Rajamani
6. Ilia A. Lebedev
7. Dayeol Lee
8. Andrew Ferraiuolo
9. Manuel Costa
10. Srini Devadas

Papers from Rohit Sinha's perspective

Ordered by how strongly the researchers Rohit Sinha trusts endorse each paper. Same corpus, a different order for every researcher.

1. Shielding Applications from an Untrusted Cloud with Haven
2. Innovative instructions and software model for isolated execution
3. Using innovative instructions to create trustworthy software solutions
4. Software protection and simulation on oblivious RAMs
5. Controlled-Channel Attacks: Deterministic Side Channels for Untrusted Operating Systems
6. Innovative Technology for CPU Based Attestation and Sealing
7. Language-based information-flow security (IEEE J. Sel. Areas Commun.)
8. Last-Level Cache Side-Channel Attacks are Practical (IEEE Symposium on Security and Privacy)
9. Architectural support for copy and tamper resistant software
10. A design and verification methodology for secure isolated regions

Their papers

• A Formal Foundation for Secure Remote Execution of Enclaves (2017) — 151 citations
• A compiler and verifier for page access oblivious computation (2017) — 28 citations
• A design and verification methodology for secure isolated regions (2016) — 71 citations
• Moat: Verifying Confidentiality of Enclave Programs (2015) — 118 citations