Raj Gautam Dutta

Pre-silicon security verification and validation

Xiaolong Guo, Raj Gautam Dutta, Yier Jin et al. · 2015 · 87 citations

Hardware Trust Evaluation, Hardware Trojan, Engineering +17

DSS: a distributed high-level synthesis system

J. Roy, Naveen Kumar, Raj Gautam Dutta et al. · IEEE Design & Test of Computers · 1992 · 64 citations

Engineering, Dss Performance, Computer Architecture +20

Scalable SoC trust verification using integrated theorem proving and model checking

Xiaolong Guo, Raj Gautam Dutta, Prabhat Mishra et al. · 2016 · 48 citations

Engineering, Hardware Verification Language, Information Security +24

QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment

Xiaolong Guo, Raj Gautam Dutta, Jiaji He et al. · 2019 · 46 citations

Hardware Trojan, Engineering, Hardware Verification Language +25

Distributed design-space exploration for high-level synthesis systems

Raj Gautam Dutta, J. Roy, Ranga Vemuri · Design Automation Conference · 1992 · 42 citations

Engineering, Accelerated Design, Coarse-grained Parallelism +19