Rohit Sinha
发表
Rohit Sinha,
2019
.
Srinivas Devadas,
Sanjit A. Seshia,
Pramod Subramanyan,
2017,
IACR Cryptol. ePrint Arch..
Rohit Sinha,
2017
.
Abhishek Jain,
Sanjam Garg,
Yinuo Zhang,
2022,
IACR Cryptol. ePrint Arch..
Mihai Christodorescu,
Rohit Sinha,
Mihai Christodorescu,
2018,
IACR Cryptol. ePrint Arch..
Hiren D. Patel,
Rohit Sinha,
Rohit Sinha,
2011,
2011 IEEE 19th Annual International Symposium on Field-Programmable Custom Computing Machines.
Mihai Christodorescu,
Pratyay Mukherjee,
Rohit Sinha,
2021,
IACR Cryptol. ePrint Arch..
Hiren D. Patel,
Rohit Sinha,
Rohit Sinha,
2012,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Sanjam Garg,
Rohit Sinha,
Aarushi Goel,
2023,
IACR Cryptol. ePrint Arch..
Sanjit A. Seshia,
Sriram K. Rajamani,
Akash Lal,
2016,
PLDI.
Sanjit A. Seshia,
Sriram K. Rajamani,
Kapil Vaswani,
2015,
CCS.
L. Baird,
Pratyay Mukherjee,
Rohit Sinha,
2022,
Conference on Computer and Communications Security.
Ranjit Kumaresan,
Rohit Sinha,
Sivanarayana Gaddam,
2019,
IACR Cryptol. ePrint Arch..
Rohit Sinha,
2020
.
Pramod Subramanyan,
Rohit Sinha,
Shubham Sahai,
2020,
CAV.
Rohit Sinha,
Rohit Sinha,
2017
.
Sanjit A. Seshia,
John Manferdelli,
Rohit Sinha,
2014,
VSTTE.
Nicholas Carlini,
Michael McCoyd,
Rohit Sinha,
2013
.
Shuvendu K. Lahiri,
Chris Hawblitzel,
Rohit Sinha,
2015,
CAV.
Alex Kantchelian,
Rohit Sinha,
Nishant Totla,
2012
.