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
DLGraph: Malware Detection Using Deep Learning and Graph Embedding
Submitted by
grigby1
on Mon, 06/10/2019 - 1:59pm
deep learning
privacy
feature extraction
pubcrawl
Human behavior
Metrics
Resiliency
invasive software
Trojan horses
learning (artificial intelligence)
graph theory
neural nets
pattern classification
embedded systems
malware detection
microsoft windows
noise reduction
application program interfaces
Malware Analysis
static analysis
softmax regression
combined feature vector classification
DLGraph
embedded vector
function-call graph
function-call graphs
graph embedding
representation learning
SDA
stacked denoising autoencoders
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
Dynamical Systems
Temporal Logic
Systems modeling
system security specifications
SysML connectivity profile
SysML
static system modeling
system verification
system validation
system specifications
Adaptation models
embedded systems
security of data
IoT
software tools
program verification
program diagnostics
Petri nets
model checking
model checker
Formal Specification
extended attack tree
error propagation
error detection
dynamic system modeling
critical systems
connected system security
Attack Modeling
Software Architecture
systems engineering
Unified modeling language
Metrics
composability
pubcrawl
Resiliency
security
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
A Unifying Logic Encryption Security Metric
Submitted by
aekwall
on Wed, 05/01/2019 - 12:43pm
pubcrawl
Resiliency
obfuscation
logic encryption
Security Metrics
Hardware Security
embedded systems
Metrics
composability
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
biblio
On-chip Data Security Against Untrustworthy Software and Hardware IPs in Embedded Systems
Submitted by
aekwall
on Wed, 05/01/2019 - 12:42pm
third-party IPs
third-party IP cores
static detection methods
software IP
SoC FPGA
security services
reconfigurable logic fabric
on-chip memory blocks
microprocessor chips
memory security
memory protection unit
memory protection design
memory access
low-latency hardware
Intel DE1-SoC board
implementation
hierarchical top-down structure
golden reference model
FPGA-based embedded systems
dual-core ARM processor
3PIP
Metrics
composability
pubcrawl
Resiliency
system-on-chip
embedded systems
security
Hardware
Cryptography
IP networks
field programmable gate arrays
security of data
1
2
3
4
5
6
7
8
9
next ›
last »
