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 Security
biblio
Secure acceleration on cloud-based FPGAs – FPGA enclaves
Submitted by grigby1 on Tue, 06/01/2021 - 2:44pm
encryption
security
pubcrawl
Metrics
resilience
Resiliency
field programmable gate arrays
FPGA
Hardware
system-on-chip
Cloud Security
Computational modeling
composability
Concurrency
Hardware Security
Confidential computing
enclaves
FAA
biblio
System Level Hardware Trojan Detection Using Side-Channel Power Analysis and Machine Learning
Submitted by grigby1 on Wed, 05/26/2021 - 11:39am
AES-256
chipwhisperer
CPS Privacy
cyber physical systems
Hardware Security
hardware trojan
Human behavior
Human Factors
machine learning
privacy
pubcrawl
side-channel power analysis
system-level
biblio
Hardware Security Vulnerability Assessment to Identify the Potential Risks in A Critical Embedded Application
Submitted by grigby1 on Mon, 03/29/2021 - 12:02pm
composability
critical embedded application
critical medical IoT device
Detection and Mitigation
embedded software developers
embedded systems
Fault Attacks
fault injection attack
fault injection attacks
Hardware Security
hardware security assessment approach
hardware security vulnerability assessment
Internet of Things
Internet of Things (IoT)
Metrics
microcontrollers
patient care
physical attacks
power system security
pubcrawl
resilience
Resiliency
resilient applications
safety-critical applications
safety-critical software
secure embedded IoT applications
security challenges
security of data
security risks
similar MCU-based applications
biblio
An effective technique preventing differential cryptanalysis attack
Submitted by grigby1 on Wed, 03/17/2021 - 12:42pm
Logic gates
Cryptography
pubcrawl
resilience
Resiliency
Hardware
AES
Mathematical model
integrated circuit testing
Scalability
Registers
Switches
Watermarking
Hardware Security
Adaptive scan chain
adaptive scan chain circuit
adaptive scan chain structure
complicated scan chain
controller circuit
design for testability
different scan chain
differential cryptanalysis attack
plaintext analysis circuit
plaintext analysis module
plaintext analysis technique
plaintexts differs
traditional scan chain
Chained Attacks
biblio
A Novel PUF based Logic Encryption Technique to Prevent SAT Attacks and Trojan Insertion
Submitted by aekwall on Mon, 11/09/2020 - 1:33pm
Cryptography
encryption
Hardware
invasive software
Resiliency
pubcrawl
composability
policy-based governance
Trojan horses
integrated circuits
Hardware Security
Topology
Logic gates
industrial property
reverse engineering
integrated circuit design
logic circuits
Physical Unclonable Function
encryption key
hardware trojan
IP piracy
SAT attack
hardware obfuscation
Anti-Trojan insertion algorithm
Controllability
copy protection
design-for-trust
hardware Trojan insertion
HT insertion
intellectual property/IC
logic encryption methods
logic encryption techniques
logic locking
PUF based logic encryption technique
PUF-based encryption
Rare Signal
reverse engineering attack
unique encryption
biblio
Mystic: Mystifying IP Cores Using an Always-ON FSM Obfuscation Method
Submitted by aekwall on Mon, 11/09/2020 - 1:32pm
IP networks
Hardware
Resiliency
pubcrawl
composability
policy-based governance
Production
Complexity theory
microprocessor chips
Logic gates
obfuscation
reverse engineering
encoding
finite state machines
logic circuits
logic design
size 45.0 nm
Hardware Security
IP piracy
application specific integrated circuits
ASIC technology
circuit complexity
combinational circuits
finite state machine
FSM obfuscation method
hardware obfuscation method
integrated circuit industry
IP overproduction
ITC99 circuit benchmarks
logic encryption
Logic masking
Mystic obfuscation approach
Mystic protection method
mystifying IP cores
biblio
Property Based Formal Security Verification for Hardware Trojan Detection
Submitted by grigby1 on Mon, 11/02/2020 - 1:35pm
Complexity theory
composability
Coq
fine grained gate level information flow model
formal representations
formal security verification
Formal Specification
formal verification
formal verification method
golden reference design
Hardware
hardware designs
Hardware Security
hardware trojan
industrial property
information flow analysis
Integrated circuit modeling
intellectual property security
invasive software
Logic gates
malicious Hardware Trojans
modern computer hardware
policy-based governance
pubcrawl
register transfer level information flow security models
resilience
Resiliency
secret information
security
security behavior
Security Properties
Semantics
Theorem Proving
third-party intellectual property cores
Trojan horses
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
An Orthogonal Algorithm for Key Management in Hardware Obfuscation
Submitted by grigby1 on Mon, 11/02/2020 - 12:28pm
authenticate obfuscation keys
composability
copy protection
Hardware
Hardware Security
industrial property
integrated circuit design
integrated circuits
intellectual property piracy attacks
intellectual property security
IP cores
IP networks
IP piracy
IP piracy attacks
Licenses
member leakage attack
microprocessor chips
orthogonal matrix
Orthogonal obfuscation
orthogonal obfuscation algorithm
partnership organization
policy-based governance
Protocols
pubcrawl
resilience
Resiliency
reverse engineering
security
semiconductor chips
Supply Chain
supply chain management
biblio
Machine Learning Bluetooth Profile Operation Verification via Monitoring the Transmission Pattern
Submitted by grigby1 on Fri, 09/04/2020 - 4:27pm
security
telecommunication security
pubcrawl
composability
Resiliency
resilience
Human behavior
machine learning
feature extraction
classifier
learning (artificial intelligence)
cyber physical systems
formal verification
Decision Tree
system-on-chip
telecommunication computing
Bluetooth
Blue-tooth
Bluetooth profile operation verification
Bluetooth SoC
Bluetooth System-on-Chip
communication complexity
custom low-frequency integrated circuit
electronic engineering computing
Hardware Security
hardware-software security
integrated circuit manufacture
k-nearest neighbor
license communication IC
low computational complexity
low-cost legacy technology
mobile radio
profile classification algorithm
radio frequency output power
RF envelope detector
RF output power
RF Power
signal classification
smart descriptive time-domain feature extraction
Supervisory Circuit
support vector machine
transmission pattern
Cyber Physical System
bluetooth security
1
2
3
4
5
6
7
8
9
next ›
last »
