Sandip Ray

Proceedings of the IEEE International Conference on Consumer Electronics, 2024

2023

ObNoCs: Protecting Network-on-Chip Fabrics Against Reverse-Engineering Attacks.

[BibT_eX]

[DOI]

Dipal Halder

Maneesh Merugu

ACM Trans. Embed. Comput. Syst., October, 2023

A Virtual Prototyping Platform for Exploration of Vehicular Electronics.

[BibT_eX]

[DOI]

IEEE Internet Things J., September, 2023

TREEHOUSE: A Secure Asset Management Infrastructure for Protecting 3DIC Designs.

[BibT_eX]

[DOI]

Patanjali SLPSK

IEEE Trans. Computers, August, 2023

AroMa: Evaluating Deep Learning Systems for Stealthy Integrity Attacks on Multi-tenant Accelerators.

[BibT_eX]

[DOI]

ACM J. Emerg. Technol. Comput. Syst., April, 2023

SeVNoC: Security Validation of System-on-Chip Designs With NoC Fabrics.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., February, 2023

AINNS: All-Inclusive Neural Network Scheduling Via Accelerator Formalization.

[BibT_eX]

[DOI]

IEEE Trans. Computers, February, 2023

Virtual Prototyping for Modern Internet-of-Things Applications: A Survey.

[BibT_eX]

[DOI]

Darshith Madvinkodi Prakash

IEEE Access, 2023

VeCAEP: A Hands-on Exploration Platform for Vehicular Communication Attacks.

[BibT_eX]

[DOI]

Tashfique Hasnine Choudhury

Proceedings of the 97th IEEE Vehicular Technology Conference, 2023

Poster: Vehicle-to-Infrastructure Security for Reduced Speed Work Zone.

[BibT_eX]

[DOI]

Patrick M. Mendoza

Proceedings of the Twenty-fourth International Symposium on Theory, 2023

Poster: Scenario Creation for Immersive Automotive Security Exploration.

[BibT_eX]

[DOI]

Aidan Kwok

Proceedings of the Twenty-fourth International Symposium on Theory, 2023

Poster: Efficient Exploration of Automotive Ranging Sensor Attacks.

[BibT_eX]

[DOI]

Jack Carter

Proceedings of the Twenty-fourth International Symposium on Theory, 2023

GERALT: Real-time Detection of Evasion Attacks in Deep Learning Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Circuits and Systems, 2023

sc IVE: An Immersive Virtual Environment for Automotive Security Exploration.

[BibT_eX]

[DOI]

Proceedings of the Immersive Learning Research Network - 9th International Conference, 2023

Continuous Monitoring for Diagnosis: A Wearable for Covid-19 Detection in Symptomatic Patients.

[BibT_eX]

[DOI]

Sumaiya Afroz Mila

Venkata Sai Gireesh Chamarthi

Proceedings of the IEEE International Conference on Consumer Electronics, 2023

Exploration of Machine Learning Attacks in Automotive Systems Using Physical and Mixed Reality Platforms.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2023

Work-in-Progress: Towards Evaluating CNNs Against Integrity Attacks on Multi-tenant Computation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Compilers, 2023

2022

SoCCom: Automated Synthesis of System-on-Chip Architectures.

[BibT_eX]

[DOI]

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

Resilient Cooperative Adaptive Cruise Control for Autonomous Vehicles Using Machine Learning.

[BibT_eX]

[DOI]

Akash Someshwar Rao

IEEE Trans. Intell. Transp. Syst., 2022

GCONV Chain: Optimizing the Whole-Life Cost in End-to-end CNN Acceleration.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2022

Dandelion: Boosting DNN Usability Under Dataset Scarcity.

[BibT_eX]

[DOI]

IEEE Trans. Computers, 2022

HASTE: Software Security Analysis for Timing Attacks on Clear Hardware Assumption.

[BibT_eX]

[DOI]

Prabuddha Chakraborty

IEEE Embed. Syst. Lett., 2022

Security of Multi-Agent Cyber-Physical Systems: A Survey.

[BibT_eX]

[DOI]

IEEE Access, 2022

Deep-Learning-Based Anomaly Detection for Lane-Changing Decisions.

[BibT_eX]

[DOI]

Proceedings of the 2022 IEEE Intelligent Vehicles Symposium, 2022

CAVELIER: Automated Security Evaluation for Connected Autonomous Vehicle Applications.

[BibT_eX]

[DOI]

Venkata Sai Gireesh Chamarthi

Chung-Wei Lin

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

Autohal: An Exploration Platform for Ranging Sensor Attacks on Automotive Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2022

Resiliency in Connected Vehicle Applications: Challenges and Approaches for Security Validation.

[BibT_eX]

[DOI]

Tashfique Hasnine Choudhury

Chengwei Duan

Proceedings of the GLSVLSI '22: Great Lakes Symposium on VLSI 2022, Irvine CA USA, June 6, 2022

FirVer: Concolic Testing for Systematic Validation of Firmware Binaries.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia and South Pacific Design Automation Conference, 2022

2021

SoCCAR: Detecting System-on-Chip Security Violations Under Asynchronous Resets.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2021

Optimizing the Whole-life Cost in End-to-end CNN Acceleration.

[BibT_eX]

[DOI]

CoRR, 2021

Deep-Learning-Based Intrusion Detection for Autonomous Vehicle-Following Systems.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

VIVE: Virtualization of Vehicular Electronics for System-level Exploration.

[BibT_eX]

[DOI]

Neha Mishra

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Replace: Real-time Security Assurance in Vehicular Platoons Against V2V Attacks.

[BibT_eX]

[DOI]

Ashwini Hegde

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Do VIR: Virtualizing Food Donation Distribution through Mobile Application and Cloud-Based Supply Chain Management.

[BibT_eX]

[DOI]

Divy Chhibber

Aditi Tripathi

Proceedings of the IEEE International Conference on Consumer Electronics, 2021

Universal Neural Network Acceleration via Real-Time Loop Blocking.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE International Conference on Computer Design, 2021

The Curious Case of Trusted IC Provisioning in Untrusted Testing Facilities.

[BibT_eX]

[DOI]

Proceedings of the GLSVLSI '21: Great Lakes Symposium on VLSI 2021, 2021

Synergies Between Delay Test and Post-silicon Speed Path Validation: A Tutorial Introduction.

[BibT_eX]

[DOI]

Arani Sinha

Proceedings of the 26th IEEE European Test Symposium, 2021

CASTLE: Architecting Assured System-on-Chip Firmware Integrity.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

SSEL: An Extensible Specification Language for SoC Security.

[BibT_eX]

[DOI]

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

2020

Resilient System-on-Chip Designs With NoC Fabrics.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2020

A Post-Silicon Trace Analysis Approach for System-on-Chip Protocol Debug.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Guest Editors' Introduction: Secure Automotive Systems.

[BibT_eX]

[DOI]

Mohammad Abdullah Al Faruque

Ahmad-Reza Sadeghi

IEEE Des. Test, 2019

Security of Emergent Automotive Systems: A Tutorial Introduction and Perspectives on Practice.

[BibT_eX]

[DOI]

Anthony Bahadir Lopez

Arnav Vaibhav Malawade

Mohammad Abdullah Al Faruque

IEEE Des. Test, 2019

Post-Quantum Lattice-Based Cryptography Implementations: A Survey.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2019

A Communication-Centric Observability Selection for Post-Silicon System-on-Chip Integration Debug.

[BibT_eX]

[DOI]

Yuting Cao

Hao Zheng

Proceedings of the 20th International Symposium on Quality Electronic Design, 2019

REDEM: Real-Time Detection and Mitigation of Communication Attacks in Connected Autonomous Vehicle Applications.

[BibT_eX]

[DOI]

Proceedings of the Internet of Things. A Confluence of Many Disciplines, 2019

Safety, Security, and Reliability: The Automotive Robustness Problem and an Architectural Solution.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Consumer Electronics, 2019

An Adaptable System-on-Chip Security Architecture for Internet of Things Applications.

[BibT_eX]

[DOI]

Proceedings of the Security and Fault Tolerance in Internet of Things, 2019

2018

System-on-Chip Platform Security Assurance: Architecture and Validation.

[BibT_eX]

[DOI]

Proc. IEEE, 2018

Internet-of-Things Security and Vulnerabilities: Taxonomy, Challenges, and Practice.

[BibT_eX]

[DOI]

J. Hardw. Syst. Secur., 2018

ArtiFact: Architecture and CAD Flow for Efficient Formal Verification of SoC Security Policies.

[BibT_eX]

[DOI]

Atul Prasad Deb Nath

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

Enhancing Observability for Post-Silicon Debug with On-chip Communication Monitors.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Computer Society Annual Symposium on VLSI, 2018

Protecting the supply chain for automotives and IoTs.

[BibT_eX]

[DOI]

Wen Chen

Rosario Cammarota

Proceedings of the 55th Annual Design Automation Conference, 2018

Application level hardware tracing for scaling post-silicon debug.

[BibT_eX]

[DOI]

Proceedings of the 55th Annual Design Automation Conference, 2018

System-on-chip security architecture and CAD framework for hardware patch.

[BibT_eX]

[DOI]

Proceedings of the 23rd Asia and South Pacific Design Automation Conference, 2018

2017

Postsilicon Trace Signal Selection Using Machine Learning Techniques.

[BibT_eX]

[DOI]

Kamran Rahmani

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

Security Assurance for System-on-Chip Designs With Untrusted IPs.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2017

Guest Editorial: Security Challenges in the IoT Regime.

[BibT_eX]

[DOI]

Yier Jin

J. Hardw. Syst. Secur., 2017

Post-Silicon Validation in the SoC Era: A Tutorial Introduction.

[BibT_eX]

[DOI]

IEEE Des. Test, 2017

Challenges and Trends in Modern SoC Design Verification.

[BibT_eX]

[DOI]

IEEE Des. Test, 2017

A Post-Silicon Trace Analysis Approach for System-on-Chip Protocol Debug.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

Transportation security in the era of autonomous vehicles: Challenges and practice.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE/ACM International Conference on Computer-Aided Design, 2017

Extensibility in Automotive Security: Current Practice and Challenges: Invited.

[BibT_eX]

[DOI]

Wen Chen

Mohammad Abdullah Al Faruque

Proceedings of the 54th Annual Design Automation Conference, 2017

System-on-chip security assurance for IoT devices: Cooperations and conflicts.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Custom Integrated Circuits Conference, 2017

MUTARCH: Architectural diversity for FPGA device and IP security.

[BibT_eX]

[DOI]

Proceedings of the 22nd Asia and South Pacific Design Automation Conference, 2017

2016

Wearables, Implants, and Internet of Things: The Technology Needs in the Evolving Landscape.

[BibT_eX]

[DOI]

Jongsun Park

IEEE Trans. Multi Scale Comput. Syst., 2016

The Changing Computing Paradigm With Internet of Things: A Tutorial Introduction.

[BibT_eX]

[DOI]

Yier Jin

Arijit Raychowdhury

IEEE Des. Test, 2016

Security validation in IoT space.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE VLSI Test Symposium, 2016

Security challenges in mobile and IoT systems.

[BibT_eX]

[DOI]

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

Robust bitstream protection in FPGA-based systems through low-overhead obfuscation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on ReConFigurable Computing and FPGAs, 2016

Technical demonstration session: Software toolflow for FPGA bitstream obfuscation.

[BibT_eX]

[DOI]

Proceedings of the International Conference on ReConFigurable Computing and FPGAs, 2016

Protocol-guided analysis of post-silicon traces under limited observability.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Quality Electronic Design, 2016

The power play: Security-energy trade-offs in the IoT regime.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE International Conference on Computer Design, 2016

Multilevel design understanding: from specification to logic (invited paper).

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Validating scheduling transformation for behavioral synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Exploiting transaction level models for observability-aware post-silicon test generation.

[BibT_eX]

[DOI]

Farimah Farahmandi

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Exploiting design-for-debug for flexible SoC security architecture.

[BibT_eX]

[DOI]

Abhishek Basak

Proceedings of the 53rd Annual Design Automation Conference, 2016

2015

Guest Editors' Introduction: Wearables, Implants, and Internet of Things.

[BibT_eX]

[DOI]

Jongsun Park

IEEE Trans. Multi Scale Comput. Syst., 2015

Security Policy Enforcement in Modern SoC Designs.

[BibT_eX]

[DOI]

Yier Jin

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

Can't See the Forest for the Trees: State Restoration's Limitations in Post-silicon Trace Signal Selection.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

A Flexible Architecture for Systematic Implementation of SoC Security Policies.

[BibT_eX]

[DOI]

Abhishek Basak

Proceedings of the IEEE/ACM International Conference on Computer-Aided Design, 2015

Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols.

[BibT_eX]

[DOI]

Murali Talupur

John Erickson

Proceedings of the Formal Methods in Computer-Aided Design, 2015

Correctness and security at odds: post-silicon validation of modern SoC designs.

[BibT_eX]

[DOI]

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Using ACL2 to Verify Loop Pipelining in Behavioral Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Twelfth International Workshop on the ACL2 Theorem Prover and its Applications, 2014

Mechanical Certification of Loop Pipelining Transformations: A Preview.

[BibT_eX]

[DOI]

Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014

Efficient trace signal selection using augmentation and ILP techniques.

[BibT_eX]

[DOI]

Kamran Rahmani

Proceedings of the Fifteenth International Symposium on Quality Electronic Design, 2014

Equivalence checking for function pipelining in behavioral synthesis.

[BibT_eX]

[DOI]

Kecheng Hao

Fei Xie

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Scalable Certification Framework for Behavioral Synthesis Front-End.

[BibT_eX]

[DOI]

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

Specification and Verification of Concurrent Programs Through Refinements.

[BibT_eX]

[DOI]

Rob Sumners

J. Autom. Reason., 2013

Guest Editorial: Test and Verification Challenges for Future Microprocessors and SoC Designs.

[BibT_eX]

[DOI]

J. Electron. Test., 2013

Equivalence checking for compiler transformations in behavioral synthesis.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013

Scalable trace signal selection using machine learning.

[BibT_eX]

[DOI]

Kamran Rahmani

Proceedings of the 2013 IEEE 31st International Conference on Computer Design, 2013

Preface.

[BibT_eX]

[DOI]

Barbara Jobstmann

Proceedings of the Formal Methods in Computer-Aided Design, 2013

Handling design and implementation optimizations in equivalence checking for behavioral synthesis.

[BibT_eX]

[DOI]

Proceedings of the 50th Annual Design Automation Conference 2013, 2013

2012

Introduction to special section on verification challenges in the concurrent world.

[BibT_eX]

[DOI]

ACM Trans. Design Autom. Electr. Syst., 2012

Equivalence checking for behaviorally synthesized pipelines.

[BibT_eX]

[DOI]

Kecheng Hao

Fei Xie

Proceedings of the 49th Annual Design Automation Conference 2012, 2012

2011

The Right Tools for the Job: Correctness of Cone of Influence Reduction Proved Using ACL2 and HOL4.

[BibT_eX]

[DOI]

Michael J. C. Gordon

Matt Kaufmann

J. Autom. Reason., 2011

A Unified Formal Framework for Analyzing Functional and Speed-path Properties.

[BibT_eX]

[DOI]

Oswaldo Olivo

Vivekananda M. Vedula

Proceedings of the 12th International Workshop on Microprocessor Test and Verification, 2011

2010

Innovative practices session 7C: Verification and testing challenges in high-level synthesis.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE VLSI Test Symposium, 2010

Modeling and verification of industrial flash memories.

[BibT_eX]

[DOI]

Proceedings of the 11th International Symposium on Quality of Electronic Design (ISQED 2010), 2010

Optimizing equivalence checking for behavioral synthesis.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

Scalable Techniques for Formal Verification.

[BibT_eX]

[DOI]

Springer, ISBN: 978-1-4419-5997-3, 2010

2009

Integrating external deduction tools with ACL2.

[BibT_eX]

[DOI]

J. Appl. Log., 2009

Connecting pre-silicon and post-silicon verification.

[BibT_eX]

[DOI]

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

Formal Verification for High-Assurance Behavioral Synthesis.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Efficient execution in an automated reasoning environment.

[BibT_eX]

[DOI]

J. Funct. Program., 2008

A Mechanical Analysis of Program Verification Strategies.

[BibT_eX]

[DOI]

J. Autom. Reason., 2008

Abstraction as a Practical Debugging Tool.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Workshop on Microprocessor Test and Verification, 2008

Mechanized Information Flow Analysis through Inductive Assertions.

[BibT_eX]

[DOI]

Robert Bellarmine Krug

William D. Young

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007

Combining Theorem Proving with Model Checking through Predicate Abstraction.

[BibT_eX]

[DOI]

Rob Sumners

IEEE Des. Test Comput., 2007

A Survey of Hybrid Techniques for Functional Verification.

[BibT_eX]

[DOI]

IEEE Des. Test Comput., 2007

Mechanized Certification of Secure Hardware Designs.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Microprocessor Test and Verification (MTV 2007), 2007

A Mechanized Refinement Framework for Analysis of Custom Memories.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

2006

Verification Condition Generation Via Theorem Proving.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, 2006

Quantification in tail-recursive function definitions.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications, 2006

2004

Proof Styles in Operational Semantics.

[BibT_eX]

[DOI]

J Strother Moore

Proceedings of the Formal Methods in Computer-Aided Design, 5th International Conference, 2004

Deductive Verification of Pipelined Machines Using First-Order Quantification.

[BibT_eX]

[DOI]