Ramanuj Chouksey

Publication Activity (10 Years)

Years Active: 2012-2021
Publications (10 Years): 12

Top Topics

Formal Verification

Geometric Algebra

High Level Synthesis

Top Venues

Publications

Chandan Karfa, T. M. Abdul Khader, Yom Nigam, Ramanuj Chouksey, Ramesh Karri
HOST: HLS Obfuscations against SMT ATtack. DATE (2021)
Ramanuj Chouksey, Sachin Kumar Maddheshiya, Chandan Karfa
VP_TT: A value propagation based equivalence checker for testability transformations. IET Softw. 15 (1) (2021)
Melbin John, Aadil Hoda, Ramanuj Chouksey, Chandan Karfa
SAT Based Partial Attack on Compound Logic Locking. AsianHOST (2020)
Ramanuj Chouksey, Chandan Karfa
Verification of Scheduling of Conditional Behaviors in High-Level Synthesis. IEEE Trans. Very Large Scale Integr. Syst. 28 (7) (2020)
Pankaj Kumar Kalita, Ramanuj Chouksey, Chandan Karfa
Automatic Inverse Operation Detection and its Impact in High-level Synthesis. VDAT (2020)
Chandan Karfa, Ramanuj Chouksey, Christian Pilato, Siddharth Garg, Ramesh Karri
Is Register Transfer Level Locking Secure? DATE (2020)
Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri
Translation Validation of Code Motion Transformations Involving Loops. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (7) (2019)
Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri
Formal Verification of Optimizing Transformations during High-level Synthesis. ISEC (2019)
Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri
Improving Performance of a Path-Based Equivalence Checker Using Counter-Examples. VLSI Design (2019)
Ramanuj Chouksey, Chandan Karfa, Kunal Banerjee, Pankaj Kumar Kalita, Purandar Bhaduri
Counter-example generation procedure for path-based equivalence checkers. IET Softw. 13 (4) (2019)
Kunal Banerjee, Ramanuj Chouksey, Chandan Karfa, Pankaj Kumar Kalita
Automatic detection of inverse operations while avoiding loop unrolling. ICSE (Companion Volume) (2018)
Ramanuj Chouksey, Chandan Karfa, Purandar Bhaduri
Translation Validation of Loop Invariant Code Optimizations Involving False Computations. VDAT (2017)
Ramanuj Chouksey, R. Sivashankari, Piyush Singhai
ECDLP Based Proxy Multi-signature Scheme. ACITY (1) (2012)