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
embedded systems
biblio
Hardware Implementation of Dynamic Key Value Based Stream Cipher Using Chaotic Logistic Map
Submitted by
grigby1
on Tue, 10/08/2019 - 4:44pm
asymmetric key chaos based cryptography
binary sequence
binary sequences
chaos
Chaos based cryptography
chaotic logistic map
Ciphers
dynamic key value based stream cipher
embedded systems
field programmable gate arrays
Field programmable gated array
FPGA device
frequency 62.2 MHz
Hardware
Hardware Security
hardware-based embedded system
Human behavior
key scheduling
key stream
logistic map
Logistics
Metrics
NIST statistical
nonrecursive key
private key cryptography
PRNG
pseudorandom number generation
pseudorandom sequence generation
pubcrawl
public key cryptography
random key generation
random number generation
Random sequences
randomness tests
resilience
Resiliency
Scalability
stream cipher
symmetric key chaos based cryptography
Thermal analysis
Verilog HDL
X-power
Xilinx device
biblio
AirborneCPS: A Simulator for Functional Dependencies in Cyber Physical Systems: A Traffic Collision Avoidance System Implementation
Submitted by
grigby1
on Mon, 08/26/2019 - 11:06am
air traffic control
Aircraft
automobiles
Brakes
collision avoidance
Collision Avoidance System
Compositionality
CPS
Cyber Dependencies
Cyber Physical System
cyber-physical systems
embedded systems
functional dependencies
Functional Dependency
Human behavior
Human Factors
Metrics
powerful communication networks
pubcrawl
resilience
Resiliency
road traffic
Runtime
runtime behavior
Scalability
Simulator
traffic collision avoidance system implementation
Transponders
undesired functional interaction
unforeseen runtime behavior
biblio
DLGraph: Malware Detection Using Deep Learning and Graph Embedding
Submitted by
grigby1
on Mon, 06/10/2019 - 1:59pm
application program interfaces
combined feature vector classification
deep learning
DLGraph
embedded systems
embedded vector
feature extraction
function-call graph
function-call graphs
graph embedding
graph theory
Human behavior
invasive software
learning (artificial intelligence)
Malware Analysis
malware detection
Metrics
microsoft windows
neural nets
noise reduction
pattern classification
privacy
pubcrawl
representation learning
Resiliency
SDA
softmax regression
stacked denoising autoencoders
static analysis
Trojan horses
Windows API calls
Windows application programming interface calls
biblio
Evaluating the effects of cyber-attacks on cyber physical systems using a hardware-in-the-loop simulation testbed
Submitted by
willirn1
on Fri, 05/31/2019 - 10:41am
System-security co-design
actuation capability
Analytical models
Computational modeling
computer architecture
computer security
CPS attack experiments
cyber components
cyber physical systems
cyber-attack effect evaluation
cyber-physical system
cyber-physical systems
cybersecurity design process
embedded computers
embedded systems
Experimentation
Hardware
hardware-in-the loop simulation
hardware-in-the-loop
hardware-in-the-loop simulation testbed
HIL testbed
model based software development framework
Model Integrated Computing
physical components
physical system
platform specific performance measurements
railway transportation system
resilience
security of data
simulation environment
Software
software engineering
system functions
testbed
Vanderbilt
vulnerability assessment
biblio
Attack Modeling and Verification for Connected System Security
Submitted by
aekwall
on Wed, 05/01/2019 - 1:05pm
Adaptation models
Attack Modeling
composability
connected system security
critical systems
dynamic system modeling
Dynamical Systems
embedded systems
error detection
error propagation
extended attack tree
Formal Specification
IoT
Metrics
model checker
model checking
Petri nets
program diagnostics
program verification
pubcrawl
Resiliency
security
security of data
Software Architecture
software tools
static system modeling
SysML
SysML connectivity profile
system security specifications
system specifications
system validation
system verification
systems engineering
Systems modeling
Temporal Logic
Unified modeling language
biblio
Detecting Authentication-Bypass Flaws in a Large Scale of IoT Embedded Web Servers
Submitted by
aekwall
on Wed, 05/01/2019 - 12:43pm
vulnerability detection
large scale
IoT firmware
automated
embedded systems
Metrics
composability
pubcrawl
Resiliency
biblio
Flexible and Efficient Authentication of IoT Cloud Scheme Using Crypto Hash Function
Submitted by
aekwall
on Wed, 05/01/2019 - 12:42pm
Preserving Privacy
mutual authentication
MITM Attack
IoT Cloud
embedded device
embedded systems
Metrics
composability
pubcrawl
Resiliency
biblio
On-Device Detection via Anomalous Environmental Factors
Submitted by
aekwall
on Wed, 05/01/2019 - 12:42pm
Temperature sensors
sensor systems and applications
Ring oscillators
Resiliency
pubcrawl
Metrics
field programmable gate arrays
embedded systems
composability
Anomaly Detection
biblio
Performance Evaluation on IoT Devices Secure Data Delivery Processes
Submitted by
aekwall
on Wed, 05/01/2019 - 12:42pm
performance evaluation
IoT protocols
cryptography algorithms
Metrics
composability
pubcrawl
Resiliency
network security
information security
embedded systems
Data Security
biblio
Temporal Consistency of Integrity-Ensuring Computations and Applications to Embedded Systems Security
Submitted by
aekwall
on Wed, 05/01/2019 - 12:42pm
temporal consistency
embedded system security
embedded systems
Metrics
composability
pubcrawl
Resiliency
Remote Attestation
1
2
3
4
5
6
7
8
9
next ›
last »
