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
Integrated circuit modeling
biblio
Analysis of Black Hole Router Attack in Network-on-Chip
Submitted by
grigby1
on Mon, 03/23/2020 - 4:15pm
BHR
BHR attack
Black Hole Router attack
black holes
Blak Hole
communication platform
computer network security
data packets
denial of service attack
Denial-of-Service
DoS.
Hardware
hardware trojan
HT
HT model
infected node
Integrated circuit modeling
invasive software
malicious Hardware Trojan
malicious nodes
Metrics
multiprocessing systems
Multiprocessors System-on-Chip
network-on-chip
NoC
outsourcing
outsourcing design
Packet loss
processing cores
pubcrawl
resilience
Resiliency
Router Systems Security
security
security attacks
sensitive information
System performance
telecommunication network routing
Trojan horses
very strong violent attack
biblio
A Hierarchical Approach to Self-Timed Circuit Verification
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
Resiliency
pubcrawl
Computational modeling
Iterative methods
Logic gates
timing
Scalability
Predictive Metrics
Compositionality
Wires
Integrated circuit modeling
hardware description languages
scalable verification
Theorem Proving
ACL2 theorem prover
arbitrated merge
asynchronous circuit modeling
asynchronous circuit verification
combinational circuits
flip-flops
greatest common divisor
greatest common divisor circuit model
hardware description language
hierarchical verification
iterative self-timed circuits
Latches
link joint model
link-joint style
mechanical theorem proving
non deterministic behavior
self-timed circuit verification
timing circuits
biblio
Improving the Reliability and Security of Active Distribution Networks Using SCADA Systems
Submitted by
aekwall
on Mon, 03/16/2020 - 10:28am
SCADA
SCADA systems
Resiliency
Human behavior
pubcrawl
Reliability
Mathematical model
smart power grids
Fuzzy logic
Smart Grid
power engineering computing
power distribution faults
power distribution reliability
power system reliability
distributed power generation
SCADA Systems Security
Compositionality
Integrated circuit modeling
power system
Voltage control
active distribution networks
MATLAB
power distribution economics
14-node SCADA-based active distribution network model
active electricity distribution network
active infrastructure
Active Network
arresters
circuit breakers
distribution network
emerging network infrastructure
fault condition isolation
fault conditions
fuzzy logic toolbox
passive infrastructure
power fluctuations
reliability analysis
Simulink software
traditional electricity distribution system
biblio
On the Impossibility of Approximation-Resilient Circuit Locking
Submitted by
grigby1
on Thu, 03/12/2020 - 12:02pm
signature based defense
pubcrawl
Adversary Models
algorithmic attacks
approximation-resiliency
approximation-resilient Circuit locking
benchmark circuits
boolean circuits
Boolean functions
cL
Computational modeling
Cryptography
digital signatures
exact-recovery-resiliency
exponentially approximation-resilient
formal approach
formally defined notions
Foundries
IC
Integrated Circuit Camouflaging
Integrated circuit modeling
learning (artificial intelligence)
logic locking
long-standing hardness assumptions
malicious foundry
microscopy
original circuit
relaxed notion
resilience
Resiliency
Scalability
security guarantees
biblio
Secure Memory for Embedded Tamper-Proof Systems
Submitted by
grigby1
on Mon, 03/02/2020 - 1:32pm
Aerospace electronics
change memory contents
Cryptography
data change scenaria
Data protection
embedded systems
embedded tamper-proof systems
Human behavior
Human Factors
Integrated circuit modeling
integrated circuits
memory cell circuitry
memory data change
memory data leakage protection
memory instability
Memory management
memory supply voltage manipulation
metastability
Metrics
protection circuitry
pubcrawl
Scalability
secure memory
security of data
storage management
Tamper resistance
tamper-proof embedded systems
tamper-proof system
Tamper-Resistance
Trusted Component
Voltage measurement
biblio
Countermeasure of Lightweight Physical Unclonable Function Against Side-Channel Attack
Submitted by
grigby1
on Mon, 03/02/2020 - 1:32pm
authentication
countermeasure method
Cryptography
external Internet
field programmable gate arrays
Hardware Security
Human behavior
Human Factors
Industrial Internet of Things
Integrated circuit modeling
internet
Internet of Things
lightweight physical unclonable function
lightweight PUF
message authentication
Metrics
modeling attack
Physical Unclonable Function
power aware computing
power consumption
Power demand
Power measurement
pubcrawl
Scalability
security of IoT
Side-channel attack
side-channel information
Tamper resistance
Training data
biblio
When Capacitors Attack: Formal Method Driven Design and Detection of Charge-Domain Trojans
Submitted by
grigby1
on Wed, 02/26/2020 - 4:39pm
analog attacks
capacitor-enabled attacks
Capacitors
charge-domain leakage paths
charge-domain models
charge-domain trojans/vulnerabilities
circuit-level properties
cyber physical systems
Digital circuits
formal method driven design
Hardware
IC supply chain
information flow tracking based solution
information leakage paths
integrated circuit industry
Integrated circuit modeling
integrated circuits
invasive software
pubcrawl
resilience
Resiliency
supply chain security
testing
trojan detection approaches
trojan horse detection
Trojan horses
biblio
Ensemble-Learning-Based Hardware Trojans Detection Method by Detecting the Trigger Nets
Submitted by
grigby1
on Wed, 02/26/2020 - 4:38pm
cyber physical systems
ensemble learning method
feature extraction
Hardware
hardware-Trojan detection method
IC design phase
IC systems
integrated circuit design
Integrated circuit modeling
learning (artificial intelligence)
pubcrawl
resilience
Resiliency
security
supply chain security
suspicious Trigger nets
Training
Training data
Trigger-net features
Trojan circuits
trojan horse detection
Trojan horses
Trojan types
biblio
LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection
Submitted by
grigby1
on Wed, 02/26/2020 - 4:38pm
active fault attacks
automata
Circuit faults
cyber physical systems
dedicated monitoring circuits
electronic systems
Fault Attacks
formal verification
formal verification techniques
generic attackers
Hardware
Hardware Security
hardware Trojan detection
hardware Trojan horses
Integrated circuit modeling
invasive software
LAOCOON
malicious inclusions
Monitoring
pubcrawl
resilience
Resiliency
run-time monitoring
run-time verification
Safety
security
sensitive information
supply chain security
temporal properties
trojan horse detection
Trojan horses
verification rules
biblio
Hardware Trojans Detection at Register Transfer Level Based on Machine Learning
Submitted by
grigby1
on Wed, 02/26/2020 - 4:37pm
circuit features extraction
cyber physical systems
database management systems
electronic engineering computing
feature extraction
flip-flops
Hardware
Hardware Trojans detection
Hardware Trojans library
integrated circuit design
Integrated circuit modeling
integrated circuits design process
invasive software
learning (artificial intelligence)
Libraries
machine-learning-based detection method
pubcrawl
register transfer level
resilience
Resiliency
RTL source codes
server-client mechanism
shift registers
source code (software)
supply chain security
Training
training database
trojan horse detection
Trojan horses
1
2
3
4
next ›
last »
