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
Modeling Modern Network Attacks and Countermeasures Using Attack Graphs
Submitted by
aekwall
on Mon, 01/20/2020 - 11:05am
computer network security
authorisation
Resiliency
pubcrawl
composability
graph theory
Computational modeling
reachability analysis
Analytical models
risk management
computer security
military computing
Laboratories
computer networks
Predictive Metrics
Computer worms
Application software
attack graph
attack tree
client-side attack
enterprise networks risk measurement
host based vulnerability scan
intrusion prevention system
modeling modern network attack
NetSPA attack graph system
network defense
network reachability
personal firewall
point-to-point reachability algorithm
protection
proxy firewall
reverse reachability computation
SCAP
zero-day exploit
Zero Day Attacks and Defense
biblio
Hardware-Oriented Algebraic Fault Attack Framework with Multiple Fault Injection Support
Submitted by
aekwall
on Mon, 01/20/2020 - 11:00am
actual implementation
algebra
algebraic equations
algebraic fault attack tool
Analytical models
Cipher
cipher implementations
Ciphers
Circuit faults
conjunctive normal form clauses
Cryptography
Fault injction attack
fault injector
field programmable gate arrays
field-programmable gate array platform
framework
Hardware
hardware-oriented algebraic fault attack framework
hardware-oriented framework
hardware-oriented structural cipher descriptions
idealized fault models
Integrated circuit modeling
lightweight block ciphers
Lightweight Ciphers
Mathematical model
multiple fault injection support
Post /Pre silicon analysis
pubcrawl
Resiliency
Scalability
security-critical hardware implementations
tools
biblio
Deep in the Dark - Deep Learning-Based Malware Traffic Detection Without Expert Knowledge
Submitted by
grigby1
on Thu, 01/02/2020 - 1:41pm
Analytical models
classification
computer architecture
computer network security
Data models
deep learning
deep learning models
deep learning-based malware traffic detection
expert handcrafted features
expert systems
feature extraction
Human Factors
invasive software
learning (artificial intelligence)
machine learning-based systems
malware
malware detection
malware network traffic
network security applications
network traffic
networking attacks
pattern classification
privacy
pubcrawl
Raw Measurements
raw-traffic feature representations
robust network security systems
Scalability
telecommunication traffic
Training
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
1
2
3
4
5
6
7
8
9
next ›
last »
