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
Efficient Timing Channel Protection for Hybrid (Packet/Circuit-Switched) Network-on-Chip
Submitted by
grigby1
on Fri, 05/15/2020 - 12:29pm
pubcrawl
network on chip security
Scalability
Resiliency
resilience
Metrics
channel attacks
circuit switching
circuit switching NoC
combined hybrid routers
conventional hybrid router
covert timing channel
hybrid network-on-chip
hybrid NoC
Integrated circuit modeling
MP-SoC
multiprocessing systems
multiprocessor system-on-chip
network routing
network transmission
network-on-chip
packet switching
packet switching NoC
packet-circuit-switched
security in NoC
Separate interface Hybrid
side-channel attacks
Switching circuits
system security policy
TDM
Throughput
timing
timing channel
timing channel protection
timing characteristics
timing side channel
biblio
A Dynamic Model for Contactless Energy Transfer Systems
Submitted by
grigby1
on Fri, 04/24/2020 - 12:02pm
Bridge circuits
composability
inductive power transmission
Integrated circuit modeling
Load modeling
Mathematical model
Metrics
oscillating behaviors
Predictive models
privacy
pubcrawl
resilience
Resiliency
Resonant frequency
RLC circuits
simulation
Wireless Power Transmission
biblio
Design of a Chaotic Oscillator based Model Building Attack Resistant Arbiter PUF
Submitted by
grigby1
on Fri, 04/24/2020 - 12:02pm
arbiter PUF
chaos
chaotic behaviour
chaotic oscillator
Chua's Oscillator
Chua's oscillator circuit
composability
conventional machine learning
Cryptography
field programmable gate arrays
FPGA
Integrated circuit modeling
learning (artificial intelligence)
Mathematical model
Measurement
Metrics
Modeling Attacks
Monte Carlo analysis
Monte Carlo methods
oscillating behaviors
oscillating systems
Oscillators
physical unclonable functions
privacy
pubcrawl
PUF
PUF architecture
resilience
Resiliency
Resistance
security
security of data
Unclonability
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
network on chip security
NoC
outsourcing
outsourcing design
Packet loss
processing cores
pubcrawl
resilience
Resiliency
Router Systems Security
Scalability
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
composability
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
Resiliency
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
1
2
3
4
next ›
last »
