Raj Gautam Dutta

Charalambos Konstantinou

CoRR, 2020

Protecting Platoons from Stealthy Jamming Attack.

[BibT_eX]

[DOI]

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

2019

SoC interconnection protection through formal verification.

[BibT_eX]

[DOI]

Integr., 2019

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Teng Zhang

Proceedings of the 2019 American Control Conference, 2019

2018

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

[BibT_eX]

[DOI]

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

2017

Automatic Code Converter Enhanced PCH Framework for SoC Trust Verification.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2017

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

[BibT_eX]

[DOI]

Mohammad-Mahdi Bidmeshki

IEEE Trans. Inf. Forensics Secur., 2017

Estimation of Safe Sensor Measurements of Autonomous System Under Attack.

[BibT_eX]

[DOI]

Proceedings of the 54th Annual Design Automation Conference, 2017

PCH framework for IP runtime security verification.

[BibT_eX]

[DOI]

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

2016

Quantifying trust in autonomous system under uncertainties.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

2012

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

[BibT_eX]

[DOI]

Sumit Kumar Jha

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.

[BibT_eX]

[DOI]

Faraz Hussain