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
Synchronization
biblio
Enabling Secure Voice Input on Augmented Reality Headsets using Internal Body Voice
Submitted by
grigby1
on Thu, 06/04/2020 - 11:47am
Aerospace electronics
AR headsets
augmented reality
augmented reality headsets
composability
cyber physical systems
Eigenvalues and eigenfunctions
handy recorders
Human Factors
human voices
immersive systems
inaudible voice commands
internal body propagation
internal body voice
Laplace equations
Linear systems
liveness detection
multi-agent systems
primary input method
privacy
pubcrawl
resilience
Resiliency
security of data
smart phones
Speech recognition
speech-based user interfaces
Stability analysis
Synchronization
voice spoofing attack
voice verification techniques
voice-based input
voice-spoofing attacks
voice-spoofing defense system
voice-spoofing defense systems
biblio
A Diffusional Schedule for Traffic Reducing on Network-on-Chip
Submitted by
grigby1
on Fri, 05/15/2020 - 12:29pm
pubcrawl
network on chip security
Scalability
Resiliency
resilience
Metrics
application-layer optimization
Coherence
diffusional pattern
diffusional schedule
energy consumption
energy efficient task schedule
energy saving
energy.
inefficient task schedule strategy
latency
latency reduction
Load modeling
long-distance data synchronization
network on chip
network-on-chip
NoC activities
parallel processing
parallel task execution
power aware computing
Protocols
remote data access
Schedules
scheduling
synchronisation
Synchronization
Task Analysis
task mapping algorithm
task schedule
task traffic reduction
traffic distribution
biblio
Random Host and Service Multiplexing for Moving Target Defense in Software-Defined Networks
Submitted by
grigby1
on Fri, 05/15/2020 - 11:36am
attack success probability
computer network security
control systems
IP networks
MTD technique
Multiplexing
Network reconnaissance
proactive defense mechanism
pubcrawl
random host and service multiplexing technique
random IP addresses
Reconnaissance
resilience
Resiliency
RHSM
Scalability
scanning attacks
Servers
software defined networking
software-defined networking-based MTD technique
Software-Defined Networks
Static Network
Synchronization
virtual IP addresses
virtual IPs
virtual port numbers
virtual ports
biblio
Security Verification of Artificial Neural Networks Used to Error Correction in Quantum Cryptography
Submitted by
grigby1
on Fri, 05/08/2020 - 3:01pm
error correction
collaboration
machine learning
pubcrawl
policy-based governance
resilience
Resiliency
telecommunication security
quantum cryptography
neural nets
Metrics
synchronisation
Artificial Neural Networks
Neurons
error correction codes
error rates
partially synchronized neural networks
passive attacks
security verification
Synchronization
Neural Network Security
file
TickTalk- Timing API for Federated Cyber-physical Systems
Submitted by
iannucci
on Fri, 04/10/2020 - 10:19am. Contributors:
Bob Iannucci
Aviral Shrivastava
Jonathan Aldrich
smart cities
IoT
APIs
embedded computing
Synchronization
federation
TickTalk
CPS PI Meeting 2019
Presentation
Lightning Talks
1645578
1646235
Lightning Talks
biblio
A Monitorable Peer-to-Peer File Sharing Mechanism
Submitted by
aekwall
on Mon, 04/06/2020 - 10:15am
security of data
Monitoring
security
Resiliency
pubcrawl
Synchronization
Peer-to-peer computing
Metrics
blockchain
Data protection
Distributed databases
smart contracts
ethereum
File systems
Scalability
Human Factors
storage management
IPFS
General Data Protection Regulation
consortium Blockchain
file authentication code
file deletion
InterPlanetary File System
P2P file sharing network systems
P2P file sharing system
peer-to-peer file sharing mechanism
peer-to-peer network system
smart contract
peer to peer security
biblio
Incremental Abstraction for Diagnosability Verification of Modular Systems
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
Detectors
Resiliency
pubcrawl
Synchronization
feedback
control systems
computational complexity
Complexity theory
automata
Scalability
Production systems
Predictive Metrics
Compositionality
formal verification
verification
fault diagnosis
scalable verification
abstraction
diagnosability
diagnosability verification
Discrete-Event Systems
forbidden loops
incremental abstraction
modular system
Modular systems
nonblocking
parallel lines
polynomial complexity
scalable production system
simple detector automata
uncertain loops
biblio
Secure speech communication system based on scrambling and masking by chaotic maps
Submitted by
aekwall
on Mon, 11/25/2019 - 2:09pm
Cryptography
encryption
Receivers
telecommunication security
information security
Resiliency
pubcrawl
composability
synchronisation
Synchronization
Predictive Metrics
chaotic communication
chaotic cryptography
Transmitters
channel problems
chaotic encryption
Chaotic maps
chaotic masking
chaotic scrambling
chaotic scrambling and masking
Chaotic systems
communication security
masking
MatLab simulation
public channels
scrambling
secure speech communication system
signal denoising
speech processing
SSSNR
two encryption levels
biblio
Design of Generic Verification Procedure for IIC Protocol in UVM
Submitted by
grigby1
on Tue, 11/12/2019 - 4:29pm
Aerospace electronics
APB(Advanced peripheral bus)
bugs
Clocks
code coverage
collaboration
composability
Compositionality
Conferences
DUT(Design under test)
field buses
functional coverage
generic verification procedure
hardware description languages
Hardware design languages
IIC bus protocol
IIC controller
IIC protocol
Libraries
Mentor graphic Questasim 10.4e
Monitoring
policy-based governance
privacy
product development
program verification
protocol verification
Protocols
pubcrawl
SCL(Serial clock line)
SDA(Serial data line)
standard method
Synchronization
Universal Verification Methodology
UVC(Universal verification component)
UVM
UVM(Univeral verification methodology)
Verilog
Vivado
biblio
(Short Paper) Towards More Reliable Bitcoin Timestamps
Submitted by
grigby1
on Wed, 10/23/2019 - 12:38pm
authorisation
bitcoin
Bitcoin participants
Bitcoin protocol
bitcoin timestamps
blockchain
Cryptographic Protocols
digital signatures
electronic money
freshness
freshness properties
Human behavior
Metrics
Protocols
pubcrawl
public key cryptography
Reliability
resilience
Resiliency
Scalability
secure timestamping service
Servers
SSL Trust Models
SSL/TLS servers
Synchronization
timestamping
timestamping service
Web sites
1
2
3
4
5
next ›
last »
