05-2024
|
CYAN: Enabling Cyber Defense in Analog and Mixed Signal
CYAN: Enabling Cyber Defense in Analog and Mixed Signal
|
04-2024
|
DARPA AISS Program
DARPA AISS Program
|
11-2023
|
HAWKS: Hardware knowledge Oriented Software Security Verification
HAWKS: Hardware knowledge Oriented Software Security Verification
|
10-2023
|
Next Generation Microelectronics Manufacturing (NGMM)
Next Generation Microelectronics Manufacturing (NGMM)
|
09-2023
|
Fault-injection Vulnerability Assessment of Hardware Designs
Fault-injection Vulnerability Assessment of Hardware Designs
|
09-2023
|
HARDEN: Hardware-Assisted ML-based Anomaly Detection for Cyber Defense
HARDEN: Hardware-Assisted ML-based Anomaly Detection for Cyber Defense
|
07-2023
|
Scanning Acoustic Microscope for Advanced Packaging Physical Assurance (SAPPA)
Scanning Acoustic Microscope for Advanced Packaging Physical Assurance (SAPPA)
|
06-2023
|
CCRI: ENS: Collaborative Research: Trust-Hub: Developmen
CCRI: ENS: Collaborative Research: Trust-Hub: Developmen
|
03-2023
|
Trusted Silicon Stratus (TSS) Vulnerability # Risk Assessment & Mitigation (V-RAM)
Trusted Silicon Stratus (TSS) Vulnerability # Risk Assessment & Mitigation (V-RAM)
|
01-2023
|
MEST Phase 2
MEST Phase 2
|
12-2022
|
PCB Assurance Using Multi-Modal Data Infusion Based on Vulnerability/Risk Analysis
PCB Assurance Using Multi-Modal Data Infusion Based on Vulnerability/Risk Analysis
|
12-2022
|
Collaborative Research: SURPASS: NSF SFS Unique Scholars
Collaborative Research: SURPASS: NSF SFS Unique Scholars
|
12-2022
|
Development of Universal Security Theory for Evaluation and Design of Nanoscale Devices
Development of Universal Security Theory for Evaluation and Design of Nanoscale Devices
|
12-2022
|
STAMP: A Holistic Backward/Forward Trust Framework for P
STAMP: A Holistic Backward/Forward Trust Framework for P
|
11-2022
|
Trust Guard: Real-time Detection of Anomalies in IoT Devices using Power Side-channel Assessment
Trust Guard: Real-time Detection of Anomalies in IoT Devices using Power Side-channel Assessment
|
09-2022
|
Hardware Trojan Detection Through Imaging and Machine Learning (TDIM)
Hardware Trojan Detection Through Imaging and Machine Learning (TDIM)
|
09-2022
|
CAD Framework for Detecting and Mitigating Security Vulnerabilities in High-level Synthesis
CAD Framework for Detecting and Mitigating Security Vulnerabilities in High-level Synthesis
|
08-2022
|
Extensible Secure SoC Architectures
Extensible Secure SoC Architectures
|
08-2022
|
EMLA: Metrics and Tools for Automated EM-Channel Leakage Analysis at Pre-Silicon
EMLA: Metrics and Tools for Automated EM-Channel Leakage Analysis at Pre-Silicon
|
08-2022
|
Hardware Vulnerability Ontology and Database for the Trusted Silicon Stratus
Hardware Vulnerability Ontology and Database for the Trusted Silicon Stratus
|
08-2022
|
Protection for Critical Technology: Pre-Silicon Security Verification and Backside Protection Schemes for Microelectronic Devices
Protection for Critical Technology: Pre-Silicon Security Verification and Backside Protection Schemes for Microelectronic Devices
|
07-2022
|
SaTC: STARSS: Small: iPROBE # An Internal Shielding Approach for Protecting against Frontside and Backside Probing Attacks
SaTC: STARSS: Small: iPROBE # An Internal Shielding Approach for Protecting against Frontside and Backside Probing Attacks
|
07-2022
|
Security Aware HighLevel Synthesis
Security Aware HighLevel Synthesis
|
06-2022
|
A Holistic Approach for PCB Physical Inspection Using Learning Based Methods
A Holistic Approach for PCB Physical Inspection Using Learning Based Methods
|
05-2022
|
AutoBoM Phase 2 - Trust and Assurance of Microelectronics (TAME)
AutoBoM Phase 2 - Trust and Assurance of Microelectronics (TAME)
|
05-2022
|
STV Phase 3 - Trust and Assurance of Microelectronics (TAME)
STV Phase 3 - Trust and Assurance of Microelectronics (TAME)
|
05-2022
|
RF/Optics Laboratory: HARVESTEC: Basic Research for Hardware Assurance & Photonics & Quantum Science
RF/Optics Laboratory: HARVESTEC: Basic Research for Hardware Assurance & Photonics & Quantum Science
|
03-2022
|
Hardware IP Protection through Provably Secure State-Space Obfuscation
Hardware IP Protection through Provably Secure State-Space Obfuscation
|
12-2021
|
ARCHS: Automated Rule Checking for Hardware Security
ARCHS: Automated Rule Checking for Hardware Security
|
12-2021
|
A Framework for Scalable Software Integrity Verification on Clear Hardware Assumptions
A Framework for Scalable Software Integrity Verification on Clear Hardware Assumptions
|
12-2021
|
A Framework for Automatic Detection of Fault Attack Vulnerabilities
A Framework for Automatic Detection of Fault Attack Vulnerabilities
|
12-2021
|
Micoelectronic Security Collaboration with ADI
Micoelectronic Security Collaboration with ADI
|
08-2021
|
Model Based PCB Attestation
Model Based PCB Attestation
|
07-2021
|
Embry-Riddle - Center for Aerospace Resilience
Embry-Riddle - Center for Aerospace Resilience
|
06-2021
|
ISIP: A Comprehensive Framework for Information Security for Intellectual Property and System-on-Chip Verification
ISIP: A Comprehensive Framework for Information Security for Intellectual Property and System-on-Chip Verification
|
06-2021
|
Developing IoT equipment firmware security verification technology
Developing IoT equipment firmware security verification technology
|
05-2021
|
Ultra backside thinning of Integrated Circuits for Physical Assurance and Inspection
Ultra backside thinning of Integrated Circuits for Physical Assurance and Inspection
|
05-2021
|
MEST: MicroElectronics Security Training Program
MEST: MicroElectronics Security Training Program
|
05-2021
|
Disciplined Microarchitectural Side Channel Detection
Disciplined Microarchitectural Side Channel Detection
|
04-2021
|
Security Validation Techniques
Security Validation Techniques
|
12-2020
|
Quantum Blockchain Encrypted AI Video Encoder for Recon (Quantum BEAVER)
Quantum Blockchain Encrypted AI Video Encoder for Recon (Quantum BEAVER)
|
12-2020
|
ASiLA: Automated Side-Channel Leakage Analysis: Metrics and Tools
ASiLA: Automated Side-Channel Leakage Analysis: Metrics and Tools
|
12-2020
|
At-Scale Detection of Hardware Trojans on Chip Circuits
At-Scale Detection of Hardware Trojans on Chip Circuits
|
09-2020
|
MRI: Acquisition of a High Resolution Photon Emission/Electro-Optical Microscope for Non-invasive Evaluation of Electronic Devices and Systems Security
MRI: Acquisition of a High Resolution Photon Emission/Electro-Optical Microscope for Non-invasive Evaluation of Electronic Devices and Systems Security
|
09-2020
|
SaTC: STARSS: Small: iPROBE # An Internal Shielding Approach for Protecting against Frontside and Backside Probing Attacks
SaTC: STARSS: Small: iPROBE # An Internal Shielding Approach for Protecting against Frontside and Backside Probing Attacks
|
09-2020
|
Design of Low Cost Memory-Based Security Primitives and Techniques for High Volume Products
Design of Low Cost Memory-Based Security Primitives and Techniques for High Volume Products
|
09-2020
|
Auto-3D: 3D Computed Tomography Tools for Effective Inter-Layers PCB Authentication
Auto-3D: 3D Computed Tomography Tools for Effective Inter-Layers PCB Authentication
|
09-2020
|
HEX: Scalable Functional Behavior Extraction Tool For Trojan Detection and Design Verification
HEX: Scalable Functional Behavior Extraction Tool For Trojan Detection and Design Verification
|
09-2020
|
PCB Assurance Leveraging Cross-Platform Data Infusion on Vulnerability Analysis
PCB Assurance Leveraging Cross-Platform Data Infusion on Vulnerability Analysis
|
08-2020
|
EDU: Collaborative: HACE Lab: An On-Line Hardware Security Attack and Countermeasure Evaluation Lab
EDU: Collaborative: HACE Lab: An On-Line Hardware Security Attack and Countermeasure Evaluation Lab
|
08-2020
|
2D/3D Data Collection of PCB Surface Mount Components for Automated Bill of Material Generation
2D/3D Data Collection of PCB Surface Mount Components for Automated Bill of Material Generation
|
06-2020
|
BRAND: A Basic Framework for PCB Reverse Engineering, Analysis, and Defect Diagnosis
BRAND: A Basic Framework for PCB Reverse Engineering, Analysis, and Defect Diagnosis
|
05-2020
|
Solutions for Threat Assessment, Mitigation, and Prevention (STAMP)
Solutions for Threat Assessment, Mitigation, and Prevention (STAMP)
|
05-2020
|
Combatting Counterfeit Analog and Mixed Signal ICs with Lightweight Embedded Mechanisms and Innovative Electrical Tests
Combatting Counterfeit Analog and Mixed Signal ICs with Lightweight Embedded Mechanisms and Innovative Electrical Tests
|
03-2020
|
Automated In-situ Large-area De-processing of ICs with High Throughput Electronics Materials / Processes Sensors?
Automated In-situ Large-area De-processing of ICs with High Throughput Electronics Materials / Processes Sensors?
|
03-2020
|
CAD4EM: An Automatic CAD Toolchain for EM Side-Channel Protection and Fault Injection Resilience
CAD4EM: An Automatic CAD Toolchain for EM Side-Channel Protection and Fault Injection Resilience
|
02-2020
|
Test Vehicle Design for HT Detection Validation
Test Vehicle Design for HT Detection Validation
|
12-2019
|
A Knowledge-Guided Approach for Automated PCB Inspection
A Knowledge-Guided Approach for Automated PCB Inspection
|
12-2019
|
A Comprehensive Framework for IoT Security and Privacy Evaluation Through Quantitative Metric
A Comprehensive Framework for IoT Security and Privacy Evaluation Through Quantitative Metric
|
12-2019
|
Utilizing NIST Entropy as a Service and Chaotic Circuits for Management of Electronics Supply Chain
Utilizing NIST Entropy as a Service and Chaotic Circuits for Management of Electronics Supply Chain
|
08-2019
|
University of Florida GAANN Program on Computer Systems
University of Florida GAANN Program on Computer Systems
|
08-2019
|
FORTISv2.0: Establishing Forward Trust for Protecting IPs and ICs in Today's Complex Supply Chain
FORTISv2.0: Establishing Forward Trust for Protecting IPs and ICs in Today's Complex Supply Chain
|
07-2019
|
Nano-probing Integrated Circuits for Physical Attacks and Hardware Security Assessment
Nano-probing Integrated Circuits for Physical Attacks and Hardware Security Assessment
|
06-2019
|
An Integrative Approach to Secure IC Design through Obfuscation and Authentication
An Integrative Approach to Secure IC Design through Obfuscation and Authentication
|
06-2019
|
CI-EN: Trust-Hub:Development of Benchmarks, Metrics and Validation Platforms for Hardware Security and a Web-based Dissemination Portal
CI-EN: Trust-Hub:Development of Benchmarks, Metrics and Validation Platforms for Hardware Security and a Web-based Dissemination Portal
|
04-2019
|
Security Validation of Integrated Circuits by Detailed Parameter Analysis Using Probe Station
Security Validation of Integrated Circuits by Detailed Parameter Analysis Using Probe Station
|
12-2018
|
Phase II: Scalable Hardware Trojan Detection using Statistical Test Generation and Side Channel Analysis
Phase II: Scalable Hardware Trojan Detection using Statistical Test Generation and Side Channel Analysis
|
12-2018
|
ATAVE: A Framework for Automatic Timing Attack Vulnerability Evaluation
ATAVE: A Framework for Automatic Timing Attack Vulnerability Evaluation
|
11-2018
|
Framework for Automated and Systematic Security Assessment of Modern SoCs
Framework for Automated and Systematic Security Assessment of Modern SoCs
|
09-2018
|
FORTIS: Establishing Forward Trust for Protecting IPs and ICs in Today's Complex
FORTIS: Establishing Forward Trust for Protecting IPs and ICs in Today's Complex
|
08-2018
|
Self-Referencing in Space and Time for Golden-Free Hardware Trojan Detection
Self-Referencing in Space and Time for Golden-Free Hardware Trojan Detection
|
01-2018
|
Design of Low Cost Memory-Based Security Primitives and Techniques for High Volume Products
Design of Low Cost Memory-Based Security Primitives and Techniques for High Volume Products
|
09-2017
|
DURIP FY16: Precise Nano-Fabrication and Advanced Circuit Edit Using Helium Ion Beam for Hardware Security and Trust
DURIP FY16: Precise Nano-Fabrication and Advanced Circuit Edit Using Helium Ion Beam for Hardware Security and Trust
|
07-2017
|
SHF: Small: GOALI: Advanced Physical Inspection of Counterfeit Integrated Circuits
SHF: Small: GOALI: Advanced Physical Inspection of Counterfeit Integrated Circuits
|
06-2017
|
Low-Cost Self-Test Solutions for Improving Test Quality and Device Reliability and Resiliency
Low-Cost Self-Test Solutions for Improving Test Quality and Device Reliability and Resiliency
|
05-2017
|
A Multi-Level Test Approach for Improving Reliability and Performance of Nanometer Technology Designs
A Multi-Level Test Approach for Improving Reliability and Performance of Nanometer Technology Designs
|
05-2017
|
A Multi-Level Test Approach for Improving Reliability and Performance of Nanometer Technology Designs
A Multi-Level Test Approach for Improving Reliability and Performance of Nanometer Technology Designs
|