Raj Gautam Dutta

According to our database, Raj Gautam Dutta authored at least 24 papers between 2012 and 2024.

Collaborative distances:

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

2024

Hardware Phi-1.5B: A Large Language Model Encodes Hardware Domain Specific Knowledge.

Weimin Fu, Shijie Li, Yifang Zhao, Haocheng Ma, Raj Gautam Dutta, Xuan Zhang, Kaichen Yang, Yier Jin, Xiaolong Guo

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

2023

LLM4SecHW: Leveraging Domain-Specific Large Language Model for Hardware Debugging.

Weimin Fu, Kaichen Yang, Raj Gautam Dutta, Xiaolong Guo, Gang Qu

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

2022

Design and Analysis of Secure Distributed Estimator for Vehicular Platooning in Adversarial Environment.

Raj Gautam Dutta, Yaodan Hu, Feng Yu, Teng Zhang, Yier Jin

IEEE Trans. Intell. Transp. Syst., 2022

2021

On Sensor Security in the Era of IoT and CPS.

Max Panoff, Raj Gautam Dutta, Yaodan Hu, Kaichen Yang, Yier Jin

SN Comput. Sci., 2021

2020

Fast Attack-Resilient Distributed State Estimator for Cyber-Physical Systems.

Feng Yu, Raj Gautam Dutta, Teng Zhang, Yaodan Hu, Yier Jin

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

A Survey of Machine Learning Methods for Detecting False Data Injection Attacks in Power Systems.

Ali Sayghe, Yaodan Hu, Ioannis Zografopoulos, Xiaorui Liu, Raj Gautam Dutta, Yier Jin, Charalambos Konstantinou

CoRR, 2020

Protecting Platoons from Stealthy Jamming Attack.

Yaodan Hu, Haoqi Shan, Raj Gautam Dutta, Yier Jin

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

2019

SoC interconnection protection through formal verification.

Jiaji He, Xiaolong Guo, Travis Meade, Raj Gautam Dutta, Yiqiang Zhao, Yier Jin

Integr., 2019

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

Xiaolong Guo, Raj Gautam Dutta, Jiaji He, Mark M. Tehranipoor, Yier Jin

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2019

Resilient Distributed Filter for State Estimation of Cyber-Physical Systems Under Attack.

Raj Gautam Dutta, Teng Zhang, Yier Jin

Proceedings of the 2019 American Control Conference, 2019

2018

Security for safety: a path toward building trusted autonomous vehicles.

Raj Gautam Dutta, Feng Yu, Teng Zhang, Yaodan Hu, Yier Jin

Proceedings of the International Conference on Computer-Aided Design, 2018

2017

Automatic Code Converter Enhanced PCH Framework for SoC Trust Verification.

Xiaolong Guo, Raj Gautam Dutta, Prabhat Mishra, Yier Jin

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

Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP - Part I: Framework Fundamentals.

Yier Jin, Xiaolong Guo, Raj Gautam Dutta, Mohammad-Mahdi Bidmeshki, Yiorgos Makris

IEEE Trans. Inf. Forensics Secur., 2017

Eliminating the Hardware-Software Boundary: A Proof-Carrying Approach for Trust Evaluation on Computer Systems.

Xiaolong Guo, Raj Gautam Dutta, Yier Jin

IEEE Trans. Inf. Forensics Secur., 2017

Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP - Part II: Framework Automation.

Mohammad-Mahdi Bidmeshki, Xiaolong Guo, Raj Gautam Dutta, Yier Jin, Yiorgos Makris

IEEE Trans. Inf. Forensics Secur., 2017

Estimation of Safe Sensor Measurements of Autonomous System Under Attack.

Raj Gautam Dutta, Xiaolong Guo, Teng Zhang, Kevin A. Kwiat, Charles A. Kamhoua, Laurent Njilla, Yier Jin

Proceedings of the 54th Annual Design Automation Conference, 2017

PCH framework for IP runtime security verification.

Xiaolong Guo, Raj Gautam Dutta, Jiaji He, Yier Jin

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

2016

Quantifying trust in autonomous system under uncertainties.

Raj Gautam Dutta, Xiaolong Guo, Yier Jin

Proceedings of the 29th IEEE International System-on-Chip Conference, 2016

Automatic RTL-to-Formal Code Converter for IP Security Formal Verification.

Xiaolong Guo, Raj Gautam Dutta, Prabhat Mishra, Yier Jin

Proceedings of the 17th International Workshop on Microprocessor and SOC Test and Verification, 2016

Scalable SoC trust verification using integrated theorem proving and model checking.

Xiaolong Guo, Raj Gautam Dutta, Prabhat Mishra, Yier Jin

Proceedings of the 2016 IEEE International Symposium on Hardware Oriented Security and Trust, 2016

2015

Hierarchy-Preserving Formal Verification Methods for Pre-silicon Security Assurance.

Xiaolong Guo, Raj Gautam Dutta, Yier Jin

Proceedings of the 16th International Workshop on Microprocessor and SOC Test and Verification, 2015

Pre-silicon security verification and validation: a formal perspective.

Xiaolong Guo, Raj Gautam Dutta, Yier Jin, Farimah Farahmandi, Prabhat Mishra

Proceedings of the 52nd Annual Design Automation Conference, 2015

2012

Synthesis of insulin pump controllers from safety specifications using Bayesian model validation.

Sumit Kumar Jha, Raj Gautam Dutta, Christopher James Langmead, Susmit Jha, Emily Sassano

Int. J. Bioinform. Res. Appl., 2012

Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing.

Faraz Hussain, Raj Gautam Dutta, Sumit Kumar Jha, Christopher James Langmead, Susmit Jha

Proceedings of the IEEE 2nd International Conference on Computational Advances in Bio and Medical Sciences, 2012