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
Computational modeling
biblio
Research on Network Malicious Code Detection and Provenance Tracking in Future Network
Submitted by
aekwall
on Mon, 04/06/2020 - 9:56am
computer network security
malware
security
invasive software
Classification algorithms
machine learning algorithms
SDN network
network security
feature extraction
Feature Selection
Resiliency
pubcrawl
composability
Computational modeling
pattern classification
Analytical models
mobile network
software defined networking
classification algorithm
Predictive Metrics
cyber physical systems
network coding
Behavior features
detection method
feature selection methods
host node
malicious code detection
malware detection system
matching classification method
Mobile communication
network controller
network malicious code detection
optimal feature subset
propagation model
switch node
biblio
The Best of Both Worlds: Challenges in Linking Provenance and Explainability in Distributed Machine Learning
Submitted by
aekwall
on Mon, 03/30/2020 - 11:33am
Data models
learning (artificial intelligence)
Resiliency
Human behavior
pubcrawl
composability
Computational modeling
Metrics
machine learning
Distributed databases
data analysis
Entropy
Provenance
distributed system
Decision trees
data provenance
distributed computing
machine learning models
basic transformations
consistent data
data analysis pipeline
data pre-processing steps
data preparation
distributed file system
distributed machine learning
distributed setting
end-to-end explainability
entire data set
explainable machine learning
explainable models
homogeneous data
linking provenance
machine learning experts
single data
biblio
Principles of Physical and Information Model Integration for Cybersecurity Provision to a Nuclear Power Plant
Submitted by
grigby1
on Wed, 03/18/2020 - 11:50am
security of data
risk management
Scalability
Adaptation models
complex technical objects
Computational modeling
computer security
cyber threats
Cybersecurity
cybersecurity problems
cybersecurity provision
cybersecurity risk assessment
Data models
hybrid model
information model integration
information properties
instrumentation and control system
Mathematical model
modelling
nuclear engineering computing
nuclear power plant
nuclear power stations
Numerical models
physical models
simulations
pubcrawl
composability
collaboration
Policy-Governed Secure Collaboration
Metrics
Resiliency
resilience
Human behavior
Science of Security
biblio
Evaluating Scientific Workflow Engines for Data and Compute Intensive Discoveries
Submitted by
aekwall
on Mon, 03/16/2020 - 10:41am
Software
Task Analysis
Data models
pubcrawl
Computational modeling
tools
Analytical models
Engines
resilience
Predictive Metrics
Compositionality
Scientific Computing Security
Converged Workloads
Data Intensive Discoveries
End-to-End Workflows
Scientific Experiments
scientific workflows
Workflow Engines
biblio
A Hierarchical Approach to Self-Timed Circuit Verification
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
Resiliency
pubcrawl
Computational modeling
Iterative methods
Logic gates
timing
Scalability
Predictive Metrics
Compositionality
Wires
Integrated circuit modeling
hardware description languages
scalable verification
Theorem Proving
ACL2 theorem prover
arbitrated merge
asynchronous circuit modeling
asynchronous circuit verification
combinational circuits
flip-flops
greatest common divisor
greatest common divisor circuit model
hardware description language
hierarchical verification
iterative self-timed circuits
Latches
link joint model
link-joint style
mechanical theorem proving
non deterministic behavior
self-timed circuit verification
timing circuits
biblio
Scalable Simulation-Based Verification of SystemC-Based Virtual Prototypes
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
Hardware
Protocols
Resiliency
pubcrawl
Computational modeling
standards
Formal Specification
verification
timing
Scalability
Predictive Metrics
Prototypes
Compositionality
formal verification
Clang
hardware description languages
Object oriented modeling
scalable verification
Computer simulation
design verification
Electronic System Level
semiconductor industry
simulation behavior
Simulation-based Verification
SystemC
SystemC language
SystemC VP
SystemC-based virtual prototypes
systems analysis
TLM
TLM-2.0 rules
Transaction Level Modeling framework
Virtual Prototype
virtual prototyping
biblio
On the Impossibility of Approximation-Resilient Circuit Locking
Submitted by
grigby1
on Thu, 03/12/2020 - 12:02pm
signature based defense
pubcrawl
Adversary Models
algorithmic attacks
approximation-resiliency
approximation-resilient Circuit locking
benchmark circuits
boolean circuits
Boolean functions
cL
Computational modeling
Cryptography
digital signatures
exact-recovery-resiliency
exponentially approximation-resilient
formal approach
formally defined notions
Foundries
IC
Integrated Circuit Camouflaging
Integrated circuit modeling
learning (artificial intelligence)
logic locking
long-standing hardness assumptions
malicious foundry
microscopy
original circuit
relaxed notion
resilience
Resiliency
Scalability
security guarantees
biblio
Openstack: Launch a Secure User Virtual Machine Image into a Trust Public Cloud IaaS Environment
Submitted by
grigby1
on Mon, 03/09/2020 - 1:27pm
Cloud Computing
cloud computing architecture
Cloud Management Platforms
cloud-delivered model
CMP
Computational modeling
computer architecture
confidentiality
cryptographic techniques
Cryptography
enhanced TPM remote attestation
IaaS
IaaS classical processes
infrastructure-as-a-service
Launch
openstack
pubcrawl
secure launch user VMI
secure user virtual machine image
security
security policy
Software
tpm
trust cloud environment
trust public cloud IaaS environment
Trusted Computing
user VMI requirements
virtual machine security
virtual machines
Virtual machining
VMI
biblio
Modeling Virtual Machine Migration as a Security Mechanism by using Continuous-Time Markov Chain Model
Submitted by
grigby1
on Mon, 03/09/2020 - 1:26pm
Adaptation models
Cloud Computing
cloud computing environment
cloud environment
complex network
complex networks
Computational modeling
continuous-time Markov Chain model
Destination Server
destination server parameters
dynamic attack surface
dynamic security
dynamic security measure
intrusion
Markov processes
Migration
model migration
network topology
probability
pubcrawl
security
security mechanism
security of data
Servers
sophisticated methods
static security measures
virtual machine migration modeling
virtual machine security
virtual machines
Virtual machining
VM migration
biblio
A Novel Sybil Attack Detection Mechanism for C-ITS
Submitted by
grigby1
on Mon, 03/02/2020 - 1:37pm
Accidents
C-ITS
composability
Computational modeling
computer network security
cooperative intelligent transport systems
detection algorithm
driving experience
Intelligent Transportation Systems
ITS
Mathematical model
Metrics
NS3 network simulator
Protocols
pubcrawl
Public key
resilience
Resiliency
road safety
road traffic
road vehicles
Roads
roads portion
SUMO traffic simulator
Sybil attack
sybil attacks
traffic flow theory
traffic model
Traffic Safety
V2V communications
vehicles security
vehicular ad hoc networks
1
2
3
4
5
6
7
8
9
…
next ›
last »
