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
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
biblio
On-chip Data Security Against Untrustworthy Software and Hardware IPs in Embedded Systems
Submitted by
aekwall
on Wed, 05/01/2019 - 12:42pm
3PIP
composability
Cryptography
dual-core ARM processor
embedded systems
field programmable gate arrays
FPGA-based embedded systems
golden reference model
Hardware
hierarchical top-down structure
implementation
Intel DE1-SoC board
IP networks
low-latency hardware
memory access
memory protection design
memory protection unit
memory security
Metrics
microprocessor chips
on-chip memory blocks
pubcrawl
reconfigurable logic fabric
Resiliency
security
security of data
security services
SoC FPGA
software IP
static detection methods
system-on-chip
third-party IP cores
third-party IPs
biblio
SEnSE – An Architecture for a Safe and Secure Integration of Safety-Critical Embedded Systems
Submitted by
aekwall
on Wed, 05/01/2019 - 12:42pm
architecture
authorization
automobiles
cloud application
communication protocol
composability
contract-based development
cyber-physical systems
cyberphysical system
dynamic system
Embedded System
embedded systems
Metrics
performance evaluation
pubcrawl
recertification
Resiliency
Runtime
safe integration
safe interaction
Safety
safety-critical embedded systems
safety-critical software
secure and safe embedded
secure integration
security
SEnSE
trustcenter
1
2
3
4
5
6
7
8
9
next ›
last »
