Raj Gautam Dutta

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