Ramanuj Chouksey
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2018–2021
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | DATE | HOST: HLS Obfuscations against SMT ATtack. | Chandan Karfa, T. M. Abdul Khader, Yom Nigam, Ramanuj Chouksey, Ramesh Karri |
| 2020 | DATE | Is Register Transfer Level Locking Secure? | Chandan Karfa, Ramanuj Chouksey, Christian Pilato, Siddharth Garg, Ramesh Karri |
| 2019 | VLSID | Improving Performance of a Path-Based Equivalence Checker Using Counter-Examples. | Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri |
| 2018 | ICSE | Automatic detection of inverse operations while avoiding loop unrolling. | Kunal Banerjee, Ramanuj Chouksey, Chandan Karfa, Pankaj Kumar Kalita |