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
Analytical models
biblio
Understand Code Style: Efficient CNN-Based Compiler Optimization Recognition System
Submitted by
aekwall
on Mon, 12/02/2019 - 11:07am
security of data
Scalability
security
Software
Task Analysis
Resiliency
pubcrawl
Metrics
optimization
convolutional neural nets
Analytical models
convolution
recurrent neural nets
Semantics
Compositionality
binary file processing
binary security analysis
closed source compilers
CNN-based compiler optimization level recognition model
CNN-based compiler optimization recognition system
compiler optimization algorithms
optimising compilers
RNN-based model
understand code style
compiler security
biblio
Detecting Buffer-Overflow Vulnerabilities in Smart Grid Devices via Automatic Static Analysis
Submitted by
grigby1
on Tue, 11/19/2019 - 2:41pm
Analytical models
automatic static analysis
buffer-overflow vulnerabilities
buffer-overflow vulnerability detection
composability
Computer bugs
device program information
error reporting
feature extraction
Metrics
modern power transmission network
power engineering computing
power grid vulnerability analysis
power system
power system security
predefined vulnerability patterns
program diagnostics
pubcrawl
resilience
Resiliency
Safety
security of data
security threats
smart grid devices
Smart Grids
smart meters
smart power grids
smart terminals
static analysis
Syntactics
terminal devices
terminal security
vulnerability detection
biblio
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR
Submitted by
grigby1
on Tue, 11/12/2019 - 3:30pm
Analytical models
attack identification
automated unbounded verification
collaboration
composability
Compositionality
Computational modeling
Cryptographic Protocols
Cryptographic-Protocols
Cryptography
electronic payment protocols
equational theory
Exclusive-OR
exclusive-or operations
formal verification
Formal-Verification
Mathematical model
observational equivalence
policy-based governance
privacy
protocol verification
Protocols
pubcrawl
radiofrequency identification
RFID protocols
Security Properties
stateful cryptographic protocols
symbolic model
Symbolic-Model
Tamarin
Tamarin prover
Theorem Proving
tools
user-defined equational theories
verification tool
XOR operations
XOR theory
biblio
Quantifying & minimizing attack surfaces containing moving target defenses
Submitted by
Katie Dey
on Fri, 09/13/2019 - 4:48am
Analytical models
attack surface minimization
C3E 2019
Computational modeling
cyber friendly fire
cyber security analysis
cyber security exposure
dynamic proactive defenses
Human Machine Teaming
IP networks
Measurement
Minimization
modeling
moving target defenses
Quantification
Resilient Systems
security
security of data
Surface treatment
threat assessment
timeliness violations
Human Machine Teaming
C3E 2019
biblio
Semantic Interaction for Visual Analytics: Toward Coupling Cognition and Computation
Submitted by
Katie Dey
on Mon, 09/09/2019 - 2:29pm
cognition
data analysis
data visualisation
human computer interaction
semantic interaction
visual analytics
Computation
analytical reasoning
user interaction methodology
user analytic process
model steering functionality
human-in-the-loop system design
user evaluation
Semantics
Analytical models
Data visualization
Data models
Computational modeling
IN-SPIRE
Alex Endert
Human-computer interaction
visualization
Computer graphics
Graphics
HMT
Human Machine Teaming
Interactions
C3E 2019
biblio
Using a Robust Metadata Management System to Accelerate Scientific Discovery at Extreme Scales
Submitted by
aekwall
on Wed, 09/04/2019 - 10:16am
Scalability
Resiliency
pubcrawl
composability
Computational modeling
query processing
metadata
Analytical models
fault tolerance
meta data
storage management
-ATDM
-data-tagging
-Decaf
-descriptive-metadata
-EMPRESS
-SIRIUS
Acceleration
atomic operations
custom-metadata
EMPRESS 1.0
EMPRESS 2.0
Fault tolerant systems
metadata management system
Production systems
query functionality
scale-up scientific applications
scientific discovery
software fault tolerance
Metadata Discovery Problem
biblio
Modeling and Analysis of Cascading Failures in Interdependent Cyber-Physical Systems
Submitted by
grigby1
on Mon, 08/26/2019 - 10:06am
Analytical models
Cascading Failures
Communication networks
complex networks
Compositionality
Cyber Dependencies
cyber-network
cyber-physical systems
failure analysis
Human behavior
Human Factors
initial flow
integrated cyber-physical systems
interdependency model
interdependent cyber-physical systems
intra-dependency
intricate dependencies
large-scale failures
Metrics
network parameters
network theory (graphs)
novel interdependent system model
Numerical models
physical network
power system faults
Power system protection
pubcrawl
resilience
Resiliency
Robustness
Scalability
security of data
system robustness
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
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 - 9: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
Time Independent Security Analysis for Dynamic Networks Using Graphical Security Models
Submitted by
aekwall
on Wed, 05/01/2019 - 12:05pm
Analytical models
composability
cyber security
Databases
Dynamic Network
Dynamical Systems
graph theory
graphical security model
graphical security models
GSM
Metrics
network systems security
network topology
pubcrawl
Resiliency
security
Security analysis
security models
security of data
Servers
Time independent security analysis
Time-independent Hierarchical Attack Representation Model
Topology
1
2
3
4
5
6
7
8
9
next ›
last »
