Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing. - Faraz Hussain 001; Raj Gautam Dutta; Sumit Kumar Jha 001; Christopher James Langmead; Susmit Jha (ICCABS, 2012)

Synthesis of insulin pump controllers from safety specifications using Bayesian model validation. - Sumit Kumar Jha 001; Raj Gautam Dutta; Christopher James Langmead; Susmit Jha; Emily Sassano (Int. J. Bioinform. Res. Appl., 2012)

Pre-silicon security verification and validation: a formal perspective. - Xiaolong Guo; Raj Gautam Dutta; Yier Jin; Farimah Farahmandi; Prabhat Mishra 001 (DAC, 2015)

Hierarchy-Preserving Formal Verification Methods for Pre-silicon Security Assurance. - Xiaolong Guo; Raj Gautam Dutta; Yier Jin (MTV, 2015)

Scalable SoC trust verification using integrated theorem proving and model checking. - Xiaolong Guo; Raj Gautam Dutta; Prabhat Mishra 001; Yier Jin (HOST, 2016)

Automatic RTL-to-Formal Code Converter for IP Security Formal Verification. - Xiaolong Guo; Raj Gautam Dutta; Prabhat Mishra 001; Yier Jin (MTV, 2016)

Quantifying trust in autonomous system under uncertainties. - Raj Gautam Dutta; Xiaolong Guo; Yier Jin (SoCC, 2016)

PCH framework for IP runtime security verification. - Xiaolong Guo; Raj Gautam Dutta; Jiaji He; Yier Jin (AsianHOST, 2017)

Estimation of Safe Sensor Measurements of Autonomous System Under Attack. - Raj Gautam Dutta; Xiaolong Guo; Teng Zhang 002; Kevin A. Kwiat; Charles A. Kamhoua; Laurent Njilla; Yier Jin (DAC, 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)

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 I: Framework Fundamentals. - Yier Jin; Xiaolong Guo; Raj Gautam Dutta; Mohammad-Mahdi Bidmeshki; Yiorgos Makris (IEEE Trans. Inf. Forensics Secur., 2017)

Automatic Code Converter Enhanced PCH Framework for SoC Trust Verification. - Xiaolong Guo; Raj Gautam Dutta; Prabhat Mishra 001; Yier Jin (IEEE Trans. Very Large Scale Integr. Syst., 2017)

Security for safety: a path toward building trusted autonomous vehicles. - Raj Gautam Dutta; Feng Yu 016; Teng Zhang 002; Yaodan Hu; Yier Jin (ICCAD, 2018)

Resilient Distributed Filter for State Estimation of Cyber-Physical Systems Under Attack. - Raj Gautam Dutta; Teng Zhang 002; Yier Jin (ACC, 2019)

QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment. - Xiaolong Guo; Raj Gautam Dutta; Jiaji He; Mark Tehranipoor; Yier Jin (HOST, 2019)

SoC interconnection protection through formal verification. - Jiaji He; Xiaolong Guo; Travis Meade; Raj Gautam Dutta; Yiqiang Zhao; Yier Jin (Integr., 2019)

Protecting Platoons from Stealthy Jamming Attack. - Yaodan Hu; Haoqi Shan; Raj Gautam Dutta; Yier Jin (AsianHOST, 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)

Fast Attack-Resilient Distributed State Estimator for Cyber-Physical Systems. - Feng Yu 016; Raj Gautam Dutta; Teng Zhang 002; Yaodan Hu; Yier Jin (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

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)

Design and Analysis of Secure Distributed Estimator for Vehicular Platooning in Adversarial Environment. - Raj Gautam Dutta; Yaodan Hu; Feng Yu 016; Teng Zhang 002; Yier Jin (IEEE Trans. Intell. Transp. Syst., 2022)

LLM4SecHW: Leveraging Domain-Specific Large Language Model for Hardware Debugging. - Weimin Fu; Kaichen Yang; Raj Gautam Dutta; Xiaolong Guo; Gang Qu 001 (AsianHOST, 2023)

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 001; Kaichen Yang; Yier Jin; Xiaolong Guo (ASPDAC, 2024)

Microscope: Causality Inference Crossing the Hardware and Software Boundary from Hardware Perspective. - Zhaoxiang Liu; Kejun Chen; Dean Sullivan; Orlando Arias; Raj Gautam Dutta; Yier Jin; Xiaolong Guo (ASPDAC, 2024)

Poster: BlindMarket: A Trustworthy Chip Designs Marketplace for IP Vendors and Users. - Zhaoxiang Liu; Ning Luo; Samuel Judson; Raj Gautam Dutta; Xiaolong Guo; Mark Santolucito (CCS, 2024)