Ramanuj Chouksey

According to our database, Ramanuj Chouksey authored at least 13 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

VP_TT: A value propagation based equivalence checker for testability transformations.

Ramanuj Chouksey, Sachin Kumar Maddheshiya, Chandan Karfa

IET Softw., 2021

HOST: HLS Obfuscations against SMT ATtack.

Chandan Karfa, T. M. Abdul Khader, Yom Nigam, Ramanuj Chouksey, Ramesh Karri

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020

Verification of Scheduling of Conditional Behaviors in High-Level Synthesis.

Ramanuj Chouksey, Chandan Karfa

IEEE Trans. Very Large Scale Integr. Syst., 2020

Automatic Inverse Operation Detection and its Impact in High-level Synthesis.

Pankaj Kumar Kalita, Ramanuj Chouksey, Chandan Karfa

Proceedings of the 2020 24th International Symposium on VLSI Design and Test (VDAT), 2020

Is Register Transfer Level Locking Secure?

Chandan Karfa, Ramanuj Chouksey, Christian Pilato, Siddharth Garg, Ramesh Karri

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

SAT Based Partial Attack on Compound Logic Locking.

Melbin John, Aadil Hoda, Ramanuj Chouksey, Chandan Karfa

Proceedings of the Asian Hardware Oriented Security and Trust Symposium, 2020

2019

Translation Validation of Code Motion Transformations Involving Loops.

Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2019

Counter-example generation procedure for path-based equivalence checkers.

Ramanuj Chouksey, Chandan Karfa, Kunal Banerjee, Pankaj Kumar Kalita, Purandar Bhaduri

IET Softw., 2019

Improving Performance of a Path-Based Equivalence Checker Using Counter-Examples.

Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri

Proceedings of the 32nd International Conference on VLSI Design and 18th International Conference on Embedded Systems, 2019

Formal Verification of Optimizing Transformations during High-level Synthesis.

Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri

Proceedings of the 12th Innovations on Software Engineering Conference (formerly known as India Software Engineering Conference), 2019

2018

Automatic detection of inverse operations while avoiding loop unrolling.

Kunal Banerjee, Ramanuj Chouksey, Chandan Karfa, Pankaj Kumar Kalita

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

Translation Validation of Loop Invariant Code Optimizations Involving False Computations.

Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri

Proceedings of the VLSI Design and Test - 21st International Symposium, 2017

2012

ECDLP Based Proxy Multi-signature Scheme.

Ramanuj Chouksey, R. Sivashankari, Piyush Singhai

Proceedings of the Advances in Computing and Information Technology - Proceedings of the Second International Conference on Advances in Computing and Information Technology (ACITY) July 13-15, 2012, Chennai, India, 2012