ECDLP Based Proxy Multi-signature Scheme. - Ramanuj Chouksey; R. Sivashankari; Piyush Singhai (ACITY (1), 2012)

Translation Validation of Loop Invariant Code Optimizations Involving False Computations. - Ramanuj Chouksey; Chandan Karfa; Purandar Bhaduri (VDAT, 2017)

Automatic detection of inverse operations while avoiding loop unrolling. - Kunal Banerjee 001; Ramanuj Chouksey; Chandan Karfa; Pankaj Kumar Kalita (ICSE (Companion Volume), 2018)

Formal Verification of Optimizing Transformations during High-level Synthesis. - Ramanuj Chouksey; Chandan Karfa; Purandar Bhaduri (ISEC, 2019)

Improving Performance of a Path-Based Equivalence Checker Using Counter-Examples. - Ramanuj Chouksey; Chandan Karfa; Purandar Bhaduri (VLSID, 2019)

Counter-example generation procedure for path-based equivalence checkers. - Ramanuj Chouksey; Chandan Karfa; Kunal Banerjee 001; Pankaj Kumar Kalita; Purandar Bhaduri (IET Softw., 2019)

Translation Validation of Code Motion Transformations Involving Loops. - Ramanuj Chouksey; Chandan Karfa; Purandar Bhaduri (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019)

SAT Based Partial Attack on Compound Logic Locking. - Melbin John; Aadil Hoda; Ramanuj Chouksey; Chandan Karfa (AsianHOST, 2020)

Is Register Transfer Level Locking Secure? - Chandan Karfa; Ramanuj Chouksey; Christian Pilato; Siddharth Garg; Ramesh Karri (DATE, 2020)

Automatic Inverse Operation Detection and its Impact in High-level Synthesis. - Pankaj Kumar Kalita; Ramanuj Chouksey; Chandan Karfa (VDAT, 2020)

Verification of Scheduling of Conditional Behaviors in High-Level Synthesis. - Ramanuj Chouksey; Chandan Karfa (IEEE Trans. Very Large Scale Integr. Syst., 2020)

HOST: HLS Obfuscations against SMT ATtack. - Chandan Karfa; T. M. Abdul Khader; Yom Nigam; Ramanuj Chouksey; Ramesh Karri (DATE, 2021)

VP_TT: A value propagation based equivalence checker for testability transformations. - Ramanuj Chouksey; Sachin Kumar Maddheshiya; Chandan Karfa (IET Softw., 2021)