Concepedia

Rohit Sinha

RS

Statistics

Publications

8

Citations

361

H-Index

8

Active since

2000

Affiliations

University of California, Berkeley(Current)

Microsoft Research (India)

Rohit Sinha is an author at University of California, Berkeley specializing in computer science, computing, and microarchitectural security.

Publications per year

2000–2019

8

Publications

8

A Formal Foundation for Secure Remote Execution of Enclaves

Pramod Subramanyan, Rohit Sinha, Srinivas Devadas et al. · 2017 · 113 citations

Computing, Computer Engineering, Computer Science +16

Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia et al. · 2015 · 100 citations

Computing, Computer Engineering, Computer Science +16

Parallel simulation of mixed-abstraction SystemC models on GPUs and multicore CPUs

Rohit Sinha, Aayush Prakash, Hiren Patel · 2012 · 47 citations

Computing, Computer Science, High-performance Computing +17

A design and verification methodology for secure isolated regions

Rohit Sinha, Manuel Costa, Akash Lal et al. · 2016 · 47 citations

Computing, Computer Engineering, Computer Science +15

A compiler and verifier for page access oblivious computation

Rohit Sinha, Sriram K. Rajamani, Sanjit A. Seshia · 2017 · 19 citations · Full text

Computing, Computer Engineering, Computer Science +14

1–5 of 8