Skip to Main Content Area
CPS-VO
Contact Support
Browse
Calendar
Announcements
Repositories
Groups
Search
Search for Content
Search for a Group
Search for People
Search for a Project
Tagcloud
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
Hardware Trojans
biblio
A Benchmark Suite of Hardware Trojans for On-Chip Networks
Submitted by
grigby1
on Fri, 05/15/2020 - 12:45pm
network on chip security
Scalability
resilience
Resiliency
Metrics
benchmark suite
Benchmark testing
benchmarks
Cryptography
Functional testing
Hardware
hardware trojan
Hardware Trojans
HT defense methods
Information Leakage
invasive software
manycore systems
multicore systems
multiprocessing systems
network-on-chip
NoC
on-chip networks
performance degradation
Routing
security
side channel analysis
standards
system-on-chip
Trojan horses
biblio
A Critical Evaluation of the Paradigm Shift in the Design of Logic Encryption Algorithms
Submitted by
grigby1
on Fri, 04/03/2020 - 12:56pm
Logic gates
Cryptography
encryption
pubcrawl
Resiliency
Hardware
Hardware Security
industrial property
integrated circuits
Computer crime
invasive software
Metrics
Compositionality
provable security
resilience
Boolean satisfiability attack
computability
Hardware Trojans
integrated circuit supply chain
intellectual property piracy
logic encryption
logic encryption techniques
low-cost countermeasures
modern logic encryption algorithms
paradigm shift
SAT attack
structural corruption
biblio
Golden Gates: A New Hybrid Approach for Rapid Hardware Trojan Detection Using Testing and Imaging
Submitted by
grigby1
on Wed, 02/26/2020 - 4:38pm
backside ultra thinning
commercial systems
cyber physical systems
detection method
exhaustive test infrastructure
existing gate footprints
Foundries
GGC
golden chip
golden gate circuits
grave threat
Hardware
Hardware Trojans
high classification accuracy
high time cost
Image analysis
Imaging
integrated circuits
invasive software
Logic gates
Logic Test
low accuracy
malicious modifications
microscopy
modern military systems
new hybrid approach
pubcrawl
rapid hardware trojan detection
resilience
Resiliency
reverse engineering
scanning electron microscopy
security
SEM images
superlative accuracy
supply chain security
trojan horse detection
Trojan horses
biblio
Lightweight Authenticated Encryption for Network-on-Chip Communications
Submitted by
grigby1
on Tue, 01/21/2020 - 12:04pm
Availability
cyber physical systems
Hardware Trojans
integrity
Lightweight Ciphers
network-on-chip
pubcrawl
resilience
Resiliency
Scalability
biblio
Implementing Trojan-Resilient Hardware from (Mostly) Untrusted Components Designed by Colluding Manufacturers
Submitted by
grigby1
on Wed, 10/02/2019 - 2:56pm
Hardware Trojans
multi-party computation
pubcrawl
resilience
Resiliency
trojan-resilience
biblio
Property Specific Information Flow Analysis for Hardware Security Verification
Submitted by
grigby1
on Mon, 05/20/2019 - 4:30pm
Acceleration
collaboration
Complexity theory
composability
Control Theory
Design methodology
formal verification
Hardware
hardware information flow analysis
Hardware Security
hardware security verification
hardware security vulnerabilities
Hardware Trojans
Human behavior
Human Factors
information flow analysis
information flow models
information flow security
information theoretic security
Mathematical model
Metrics
policy-based governance
potential security violations
property specific information flow analysis
property specific search
property specific trimming technique
pubcrawl
resilience
Resiliency
Scalability
security
security critical paths
security model
security of data
security property
security verification
timing
Trojan horses
unintended design flaws
biblio
Hardware Trojan Detection Using Path Delay Order Encoding with Process Variation Tolerance
Submitted by
grigby1
on Fri, 03/15/2019 - 11:59am
delays
design-for-trust techniques
DfT
encoding
fabrication
Foundries
Hardware
hardware Trojan detection
Hardware Trojans
HT detection techniques
Logic gates
outsourcing
path delay information
process variation tolerance
pubcrawl
security
security threats
trojan horse detection
Trojan horses
variation-tolerant path delay order encoding technique
biblio
A Novel Use of Approximate Circuits to Thwart Hardware Trojan Insertion and Provide Obfuscation
Submitted by
grigby1
on Fri, 03/15/2019 - 11:58am
ad-hoc design rules
approximate logic circuit
approximation
Circuit faults
critical circuits
error detection
fabricated IC
Hardware
hardware trojan
Hardware Trojans
integrated circuit industry
integrated circuits
invasive software
logic circuits
malicious modifications
novel prevention technique
original circuit
prevention methods
pubcrawl
security of data
Sensitivity
Thwart Hardware Trojan insertion
trojan horse detection
Trojan horses
Tunneling magnetoresistance
biblio
Protecting the Supply Chain for Automotives and IoTs
Submitted by
aekwall
on Mon, 02/18/2019 - 12:53pm
Scalability
Resiliency
Human behavior
pubcrawl
design for debug
design for test
Hardware Trojans
key provisioning
secure keys
supply chain security
biblio
Use of Analog Signatures for Hardware Trojan Detection
Submitted by
grigby1
on Fri, 09/28/2018 - 3:13pm
resilience
pubcrawl
Scalability
Hardware Trojans
digital signatures
Analog Signatures
Ballistocardiography
Reconfigurable Logic
1
2
next ›
last »
