Concepedia

Rohit Sinha

RS

Statistics

Publications

8

Citations

353

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 engineering, computer science, and data security.

Top concepts

EngineeringComputer ScienceCryptographyData SecurityFormal VerificationInformation SecuritySystem SoftwareProgram AnalysisHardware SecurityComputer Engineering

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 · 107 citations

Engineering, Information Security, Verification +18

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

Engineering, Information Security, Verification +17

A design and verification methodology for secure isolated regions

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

Runtime Checks, Engineering, Information Security +21

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

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

Engineering, Gpu Benchmarking, Computer Architecture +20

A compiler and verifier for page access oblivious computation

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

Cryptographic Primitive, Engineering, Information Security +22

1–5 of 8