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
Silicon
biblio
Symmetric-Key Multi-Factor Biometric Authentication Scheme
Submitted by
aekwall
on Mon, 02/10/2020 - 11:03am
authentication
authorisation
biometric
biometric techniques
biometrics (access control)
Burrows-Abadi-Needham (BAN) logic
Cao and Ge's scheme
Cryptography
Germanium
Human Factors
identity password
Metrics
multi-factor
multifactor authentication
password
private key cryptography
ProVeri
ProVerif
pubcrawl
Resiliency
security attacks
Servers
Silicon
smart-card
symmetric-key multifactor biometric authentication scheme
biblio
SECO: A Scalable Accuracy Approximate Exponential Function Via Cross-Layer Optimization
Submitted by
aekwall
on Mon, 01/20/2020 - 10:49am
adaptive exponential integrate-fire neuron model
approximate computing
approximate EFU designs
approximation theory
arithmetic units
convergence
Cross-Layer Approximation
cross-layer design method
Cross-layer optimization
deep neural networks
design space
Design Time
Dynamic Accuracy Scaling
Eigenvalues and eigenfunctions
energy-accuracy-optimal approximate multiplier
energy-efficient computing
Error analysis
error analysis method
Error Modeling
error-resilient applications
Exponential Function
exponential function unit
exponential operation
exponentiation
fault tolerant control
gradient methods
intrinsic error resilience
neural nets
Nickel
Observers
optimisation
power consumption
pubcrawl
Resiliency
runtime optimization method
Scalability
scalable accuracy approximate exponential function
SECO
signal processing
signal processing applications
Silicon
spiking neuron models
Taylor expansion
biblio
Film Bulk Acoustic Wave Resonator for Trace Chemical Warfare Agents Simulants Detection in Micro Chromatography
Submitted by
aekwall
on Mon, 01/13/2020 - 11:08am
acoustic coupling
acoustic resonators
acoustic transducers
bulk acoustic wave devices
Chemical warfare agents
Chemicals
chromatographic analysis
chromatography
Coatings
CWA detection
Detectors
FBAR sensor
Film bulk acoustic resonator
Film bulk acoustic resonators
film bulk acoustic wave resonator
Gas chromatography
gas sensors
Human behavior
Micro Gas chromatography
microchannel flow
microchromatography
microfabricated separation column
microfabrication
microfluidic channel
microsensors
polymer coated film bulk acoustic resonators
polymer films
pubcrawl
Resiliency
Scalability
Silicon
Surface treatment
thin film sensors
trace chemical warfare agent simulant detection
biblio
Formal Verification of Divide and Conquer Key Distribution Protocol Using ProVerif and TLA+
Submitted by
grigby1
on Mon, 12/30/2019 - 1:19pm
communicating parties
contributory group key agreement
Cryptographic Protocols
Cryptography
DC DHKE
divide and conquer key distribution protocol
exponentiation
formal verification
GDH
ING
key agreement protocol verification
liveness property
Mathematical model
mutual key
passive attacker
pre-meditated correctness
protocol correctness
ProVerif
pubcrawl
Resiliency
Scalability
Silicon
TLA
TLA+
biblio
Secure Physical Layer Network Coding versus Secure Network Coding
Submitted by
grigby1
on Thu, 12/05/2019 - 9:47am
coding theory
Compositionality
computation and forward
Cryptography
error correction
error correction codes
Metrics
network coding
Noise measurement
noiseless network
noisy channel
Physical layer
physical layer security
pubcrawl
Receivers
resilience
Resiliency
secrecy analysis
secure communication
secure physical layer network coding
security
Silicon
Task Analysis
telecommunication security
biblio
A comparative analysis of channel coding for molecular communication
Submitted by
aekwall
on Mon, 11/25/2019 - 1:07pm
Task Analysis
Resiliency
pubcrawl
composability
Metrics
channel coding
Reed-Solomon codes
BCH codes
Bose-Chaudhuri-Hocquenghem codes
communication via diffusion
cyclic codes
Dogs
electromagnetic waves
MCvD
molecular communication
molecular communication (telecommunication)
molecular communication via diffusion
Nanoelectromechanical systems
nanomachines
Silicon
single nanomachine
biblio
Trust-Based Framework for Resilience to Sensor-Targeted Attacks in Cyber-Physical Systems
Submitted by
grigby1
on Mon, 08/05/2019 - 10:36am
closed loop systems
closed-loop control
collaboration
communication infrastructure
compromised sensors
computer network security
cyber-physical plants
cyber-physical systems
entire plant
false data injections
false trust
far-flung locations
feedback
feedback signal
interconnected processes
local data
local process
malicious agents
Measurement
Monitoring
multisensor networked physical experiment
networked control systems
Observers
policy-based governance
primary sensor
process control
process state
pubcrawl
resilience
Resiliency
Safety
Scalability
security
sensor-targeted attacks
sensors
Silicon
stability
standard protocols
state estimates
state estimation
trust-based framework
Trusted Computing
weighted consensus
wireless sensor networks
biblio
A Framework for Threat-Driven Cyber Security Verification of IoT Systems
Submitted by
grigby1
on Fri, 06/28/2019 - 9:36am
Alloy
Analytical models
attack patterns
Communication channels
Compositionality
control systems
distributed control
distributed industrial control systems
formal verification
industrial control
industrial IoT infrastructures
Internet of Things
IoT
IoT systems
Metals
Metrics
mitigation strategies
model checking-based formal analysis
modeling
Object oriented modeling
production engineering computing
pubcrawl
resilience
Resiliency
Scalability
scalable verification
security
security of data
Security Properties
Silicon
system deployment
system security
threat-driven cyber security verification
biblio
Hierarchical Abnormal-Node Detection Using Fuzzy Logic for ECA Rule-Based Wireless Sensor Networks
Submitted by
grigby1
on Wed, 05/01/2019 - 10:30am
abnormal nodes
abnormal-node detection
abnormality thresholds
Correlation
data integrity
data integrity attack
data-integrity detection
dependability
dependable monitoring system
distributed system
ECA rule-based wireless sensor networks
ECA rules
embedded sensor devices
event-condition-action rule
failure handling
Fuzzy logic
heterogeneous sensor readings
hierarchical abnormal-node detection
hierarchical framework
Internet of Things
IoT security
lightweight monitoring system
malicious data-integrity attacks
malicious nodes
Metrics
Monitoring
network attacks
networked system
pubcrawl
resilience
Resiliency
security
security of data
sensor correlations
Silicon
telecommunication security
Temperature measurement
Temperature sensors
Wireless Sensor Network
wireless sensor networks
WSNs
biblio
A Co-Training Based Hardware Trojan Detection Technique by Exploiting Unlabeled ICs and Inaccurate Simulation Models
Submitted by
grigby1
on Fri, 03/15/2019 - 10:59am
accurate classification model
actual silicon fabrication
Classification algorithms
classification-based golden chips-free hardware Trojan detection technique
co-training
co-training based hardware Trojan detection technique
fabricated golden chips
fabrication
golden chip
Hardware
Hardware Security
hardware Trojan detection
IC labeling
inaccurate simulation models
Integrated circuit modeling
invasive software
learning (artificial intelligence)
pattern classification
pubcrawl
reliable detection capability
Silicon
simulated IC
Training
trojan horse detection
Trojan horses
unlabeled fabricated IC
unlabeled IC
unlabeled ICs
1
2
3
4
5
next ›
last »
