Ramanuj Chouksey

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