Dr. Rohit Sinha joined Visa Research as a Staff Research Scientist in June 2017, working on cloud-based systems that provide provable security guarantees and high performance. Rohit received his Ph.D. in Computer Science at University of California, Berkeley in 2017, and a B.S. in Computer Engineering at University of Waterloo in 2011. His Ph.D. thesis focused on developing a practical methodology for building provably secure software services, specifically using a combination of trusted hardware and formally verified software that achieve a minimal trusted computing base. Prior to joining Visa, Rohit was a Research Intern at Intel Labs and Microsoft Research.
As a member of the Security team, his research interests are in trusted computing, hardware-based security, programming languages and formal verification. He has published papers in several international conferences and journals, including Computer and Communications Security (CCS), Conference on Programming Language Design and Implementation (PLDI), Computer Aided Verification (CAV), and others. He is the recipient of the 2017 Best Paper Award at the Association for Computing Machinery (ACM) Computer & Communications Security.