Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Raj Gautam Dutta
Observed name:
R. Dutta
Observed institutions:
University of Central Florida,
University of Florida,
University of Cincinnati
ORCID:
0000-0002-5686-5666
Observed ORCID:
0000-0002-5686-5666
OpenAlex ID:
A5081696966
Survey of machine learning methods for detecting false data injection attacks in power systems
2020
·
Ali Sayghe
, Yaodan Hu
, et al.
·
IET Smart Grid
·
165
PDF
Pre-silicon security verification and validation
2015
·
Xiaolong Guo
, Raj Gautam Dutta
, et al.
·
ACM/IEEE Design Automation Conference (DAC)
·
93
DSS: a distributed high-level synthesis system
1992
·
J. Roy
, N. Kumar
, et al.
·
IEEE Design & Test of Computers
·
61
QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment
2019
·
Xiaolong Guo
, Raj Gautam Dutta
, et al.
·
IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
·
52
LLM4SecHW: Leveraging Domain-Specific Large Language Model for Hardware Debugging
2023
·
Weimin Fu
, Kaichen Yang
, et al.
·
Asian Hardware Oriented Security and Trust Symposium (AsianHOST)
·
50
PDF
Scalable SoC trust verification using integrated theorem proving and model checking
2016
·
Xiaolong Guo
, Raj Gautam Dutta
, et al.
·
IEEE International Symposium on Hardware Oriented Security and Trust (HOST)
·
49
Distributed design-space exploration for high-level synthesis systems
2003
·
R. Dutta
, J. Roy
, et al.
·
ACM/IEEE Design Automation Conference (DAC)
·
44
Estimation of Safe Sensor Measurements of Autonomous System Under Attack
2017
·
Raj Gautam Dutta
, Xiaolong Guo
, et al.
·
ACM/IEEE Design Automation Conference (DAC)
·
40
Design and Analysis of Secure Distributed Estimator for Vehicular Platooning in Adversarial Environment
2020
·
Raj Gautam Dutta
, Yaodan Hu
, et al.
·
IEEE Transactions on Intelligent Transportation Systems
·
36
Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP—Part I: Framework Fundamentals
2017
·
Yier Jin
, Xiaolong Guo
, et al.
·
IEEE Transactions on Information Forensics and Security
·
31
Security for safety
2018
·
Raj Gautam Dutta
, Feng Yu
, et al.
·
26
On Sensor Security in the Era of IoT and CPS
2021
·
Max Panoff
, Raj Gautam Dutta
, et al.
·
SN Computer Science
·
25
SoC interconnection protection through formal verification
2018
·
Jiaji He
, Xiaolong Guo
, et al.
·
Integration
·
22
Automatic Code Converter Enhanced PCH Framework for SoC Trust Verification
2017
·
Xiaolong Guo
, Raj Gautam Dutta
, et al.
·
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
·
22
Fast Attack-Resilient Distributed State Estimator for Cyber-Physical Systems
2020
·
Feng Yu
, Raj Gautam Dutta
, et al.
·
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
·
20
Eliminating the Hardware-Software Boundary: A Proof-Carrying Approach for Trust Evaluation on Computer Systems
2016
·
Xiaolong Guo
, Raj Gautam Dutta
, et al.
·
IEEE Transactions on Information Forensics and Security
·
18
Data Secrecy Protection Through Information Flow Tracking in Proof-Carrying Hardware IP—Part II: Framework Automation
2017
·
Mohammad-Mahdi Bidmeshki
, Xiaolong Guo
, et al.
·
IEEE Transactions on Information Forensics and Security
·
13
Quantifying trust in autonomous system under uncertainties
2016
·
Raj Gautam Dutta
, Xiaolong Guo
, et al.
·
IEEE International System-on-Chip Conference (SOCC)
·
13
Resilient Distributed Filter for State Estimation of Cyber-Physical Systems Under Attack
2019
·
Raj Gautam Dutta
, Teng Zhang
, et al.
·
Proceedings of the ... American Control Conference/Proceedings of the American Control Conference
·
11
Security of Autonomous Systems under Physical Attacks: With application to Self-Driving Cars
2018
·
Raj Gautam Dutta
·
Journal of International Crisis and Risk Communication Research
·
10
PDF
Synthesis of insulin pump controllers from safety specifications using Bayesian model validation
2012
·
Sumit Kumar Jha
, Raj Gautam Dutta
, et al.
·
International Journal of Bioinformatics Research and Applications
·
8
PCH framework for IP runtime security verification
2017
·
Xiaolong Guo
, Raj Gautam Dutta
, et al.
·
Asian Hardware Oriented Security and Trust Symposium (AsianHOST)
·
7
Hierarchy-Preserving Formal Verification Methods for Pre-silicon Security Assurance
2015
·
Xiaolong Guo
, Raj Gautam Dutta
, et al.
·
International Workshop on Microprocessor Test and Verification (MTV)
·
7
Parameter discovery for stochastic biological models against temporal behavioral specifications using an SPRT based Metric for simulated annealing
2012
·
Faraz Hussain
, Raj Gautam Dutta
, et al.
·
IEEE International Conference on Computational Advances in Bio and Medical Sciences
·
7
Automatic RTL-to-Formal Code Converter for IP Security Formal Verification
2016
·
Xiaolong Guo
, Raj Gautam Dutta
, et al.
·
International Workshop on Microprocessor Test and Verification (MTV)
·
6
Show more works
View as search
Works count:
29
Citation count:
845
H-index:
16
I10-index:
20
Year
Topic
Type
