Raj Gautam Dutta

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 22

Top Topics

Computer Systems

Description Languages

Domain Specific

Top Venues

IEEE Trans. Inf. Forensics Secur.

Publications

Weimin Fu, Kaichen Yang, Raj Gautam Dutta, Xiaolong Guo, Gang Qu
LLM4SecHW: Leveraging Domain Specific Large Language Model for Hardware Debugging. CoRR (2024)
Weimin Fu, Shijie Li, Yifang Zhao, Haocheng Ma, Raj Gautam Dutta, Xuan Zhang, Kaichen Yang, Yier Jin, Xiaolong Guo
Hardware Phi-1.5B: A Large Language Model Encodes Hardware Domain Specific Knowledge. ASPDAC (2024)
Weimin Fu, Shijie Li, Yifang Zhao, Haocheng Ma, Raj Gautam Dutta, Xuan Zhang, Kaichen Yang, Yier Jin, Xiaolong Guo
Hardware Phi-1.5B: A Large Language Model Encodes Hardware Domain Specific Knowledge. CoRR (2024)
Weimin Fu, Kaichen Yang, Raj Gautam Dutta, Xiaolong Guo, Gang Qu
LLM4SecHW: Leveraging Domain-Specific Large Language Model for Hardware Debugging. AsianHOST (2023)
Raj Gautam Dutta, Yaodan Hu, Feng Yu, Teng Zhang, Yier Jin
Design and Analysis of Secure Distributed Estimator for Vehicular Platooning in Adversarial Environment. IEEE Trans. Intell. Transp. Syst. 23 (4) (2022)
Max Panoff, Raj Gautam Dutta, Yaodan Hu, Kaichen Yang, Yier Jin
On Sensor Security in the Era of IoT and CPS. SN Comput. Sci. 2 (1) (2021)
Ali Sayghe, Yaodan Hu, Ioannis Zografopoulos, Xiaorui Liu, Raj Gautam Dutta, Yier Jin, Charalambos Konstantinou
A Survey of Machine Learning Methods for Detecting False Data Injection Attacks in Power Systems. CoRR (2020)
Feng Yu, Raj Gautam Dutta, Teng Zhang, Yaodan Hu, Yier Jin
Fast Attack-Resilient Distributed State Estimator for Cyber-Physical Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39 (11) (2020)
Yaodan Hu, Haoqi Shan, Raj Gautam Dutta, Yier Jin
Protecting Platoons from Stealthy Jamming Attack. AsianHOST (2020)
Xiaolong Guo, Raj Gautam Dutta, Jiaji He, Mark M. Tehranipoor, Yier Jin
QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment. HOST (2019)
Raj Gautam Dutta, Teng Zhang, Yier Jin
Resilient Distributed Filter for State Estimation of Cyber-Physical Systems Under Attack. ACC (2019)
Jiaji He, Xiaolong Guo, Travis Meade, Raj Gautam Dutta, Yiqiang Zhao, Yier Jin
SoC interconnection protection through formal verification. Integr. 64 (2019)
Raj Gautam Dutta, Feng Yu, Teng Zhang, Yaodan Hu, Yier Jin
Security for safety: a path toward building trusted autonomous vehicles. ICCAD (2018)
Xiaolong Guo, Raj Gautam Dutta, Jiaji He, Yier Jin
PCH framework for IP runtime security verification. AsianHOST (2017)
Raj Gautam Dutta, Xiaolong Guo, Teng Zhang, Kevin A. Kwiat, Charles A. Kamhoua, Laurent Njilla, Yier Jin
Estimation of Safe Sensor Measurements of Autonomous System Under Attack. DAC (2017)
Xiaolong Guo, Raj Gautam Dutta, Yier Jin
Eliminating the Hardware-Software Boundary: A Proof-Carrying Approach for Trust Evaluation on Computer Systems. IEEE Trans. Inf. Forensics Secur. 12 (2) (2017)
Yier Jin, Xiaolong Guo, Raj Gautam Dutta, Mohammad-Mahdi Bidmeshki, Yiorgos Makris
Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP - Part I: Framework Fundamentals. IEEE Trans. Inf. Forensics Secur. 12 (10) (2017)
Xiaolong Guo, Raj Gautam Dutta, Prabhat Mishra, Yier Jin
Automatic Code Converter Enhanced PCH Framework for SoC Trust Verification. IEEE Trans. Very Large Scale Integr. Syst. 25 (12) (2017)
Mohammad-Mahdi Bidmeshki, Xiaolong Guo, Raj Gautam Dutta, Yier Jin, Yiorgos Makris
Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP - Part II: Framework Automation. IEEE Trans. Inf. Forensics Secur. 12 (10) (2017)
Xiaolong Guo, Raj Gautam Dutta, Prabhat Mishra, Yier Jin
Automatic RTL-to-Formal Code Converter for IP Security Formal Verification. MTV (2016)
Xiaolong Guo, Raj Gautam Dutta, Prabhat Mishra, Yier Jin
Scalable SoC trust verification using integrated theorem proving and model checking. HOST (2016)
Raj Gautam Dutta, Xiaolong Guo, Yier Jin
Quantifying trust in autonomous system under uncertainties. SoCC (2016)
Xiaolong Guo, Raj Gautam Dutta, Yier Jin
Hierarchy-Preserving Formal Verification Methods for Pre-silicon Security Assurance. MTV (2015)
Xiaolong Guo, Raj Gautam Dutta, Yier Jin, Farimah Farahmandi, Prabhat Mishra
Pre-silicon security verification and validation: a formal perspective. DAC (2015)
Sumit Kumar Jha, Raj Gautam Dutta, Christopher James Langmead, Susmit Jha, Emily Sassano
Synthesis of insulin pump controllers from safety specifications using Bayesian model validation. Int. J. Bioinform. Res. Appl. 8 (3/4) (2012)
Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha
Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing. ICCABS (2012)