Rohit Sinha

Researcher, Security

Focus areas: Secure Distributed Systems, Trusted Computing and Hardware-based Security, Programming Languages and Formal Verification

rohit sinha