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
Think Smart, Play Dumb: Analyzing Deception in Hardware Trojan Detection Using Game Theory
Submitted by aekwall on Mon, 03/29/2021 - 11:51am
Scalability
game theory
invasive software
deception
learning (artificial intelligence)
Resiliency
pubcrawl
Supply Chain
supply chains
Cybersecurity
Human Factors
Predictive Metrics
game theoretic security
integrated circuits
hypergame theory
Repeated game
actual game stage
deception analysis
first-step deception mitigation process
hardware Trojan detection
Hardware Trojans
IC designers
learning stage
malicious IC manufacturer
manufactured ICs
multilevel game-theoretic framework
offshore manufacturing
optimal deception rationality
prospect theory
third-party companies
zero-sum
biblio
SoCINT: Resilient System-on-Chip via Dynamic Intrusion Detection
Submitted by grigby1 on Mon, 11/02/2020 - 12:29pm
composability
dynamic intrusion detection approach
field programmable gate arrays
FPGA platform
Hardware
Hardware Security
hardware tracing
Hardware Trojans
industrial property
intellectual properties
intellectual property security
Intrusion Detection
IP networks
Monitoring
open source processor
policy-based governance
pubcrawl
Registers
resilience
Resiliency
Runtime system
security
SoCINT
SoCs
software tools
system-on-chip
Trojan horses
biblio
Study of hardware trojans based security vulnerabilities in cyber physical systems
Submitted by grigby1 on Thu, 07/16/2020 - 11:57am
closed loop systems
closed-loop systems
completely virtual simulation platform
complex computing environment
composability
Computational modeling
computing chip
computing hardware design
computing platform
CPS modeling
critical CPS application
cyber physical systems
cyber-physical systems
gas pipeline based SCADA system
Hardware
hardware internals
Hardware Trojans
hardware-in-the loop simulation
hardware-in-the-loop based simulation platform
IC industry
integrated circuits
invasive software
malicious modifications
Metrics
pubcrawl
reliable functionality
resilience
Resiliency
SCADA systems
secure functionality
security
Security Awareness
security vulnerabilities
simulations
software peripherals
threat models
Trojan horses
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
1
2
3
next ›
last »
