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
cognition
biblio
Scalable Translation Validation of Unverified Legacy OS Code
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
security
Linux
Resiliency
pubcrawl
tools
Formal Specification
program verification
cognition
Scalability
operating systems (computers)
Semantics
reverse engineering
Predictive Metrics
Compositionality
XML
formal verification
operating systems
scalable verification
ARM instructions
ARM machines
ARM specification language
ARMv8 ISA
formal reasoning
formal validation
functional security properties
Google Zircon
large-scale production operating system
Linux OS
multiple high-level source languages
PVS7 theorem prover
radare2 reverse engineering tool
specification languages
Theorem Proving
translation validation
unverified legacy OS code
biblio
CAPTAR: Causal-Polytree-based Anomaly Reasoning for SCADA Networks
Submitted by
aekwall
on Mon, 03/16/2020 - 10:29am
security of data
Bayes methods
SCADA
SCADA systems
Resiliency
Human behavior
pubcrawl
pattern classification
Databases
Correlation
naïve Bayes classifier
smart power grids
power engineering computing
Smart Grid
Noise measurement
cognition
industrial control system
Intrusion Detection Systems
SCADA Systems Security
situational awareness
Compositionality
supervisory control and data acquisition system
security state
SCADA networks
anomaly reasoning
anomaly reasoning framework
belief propagation
CAPTAR
causal analysis
causal polytrees
causal-polytree-based anomaly reasoning
EDMAND anomaly detection framework
meta-alerts
protected SCADA network
real-time reasoning requirement
biblio
Deliberative and Affective Reasoning: a Bayesian Dual-Process Model
Submitted by
aekwall
on Mon, 02/10/2020 - 12:09pm
Scalability
Bayes methods
pubcrawl
Computational modeling
multi-agent systems
collaboration
chatbots
Complexity theory
cognition
Human Factors
Markov Decision Process
inference mechanisms
Artificial Intelligence
Biological system modeling
affective computing
human interaction
social interactions
psychology
Social Agents
active inference
affect control theory
affective alignment
affective reasoning
Artificial agents
BayesAct agents
Bayesian dual-process model
computationally tractable model
decision theoretic reasoning
emotional level
free energy
human experience
human social networks
Intelligent Agents
intelligent computational agents
plausible model
social experiences
social order
social sciences computing
social-psychological Bayesian affect control theory
social-psychological theory
socio-technical system
sociological theory
technological agents
biblio
SCTD: Smart Reasoning Based Content Threat Defense in Semantics Knowledge Enhanced ICN
Submitted by
grigby1
on Tue, 01/21/2020 - 11:27am
blacklisting
cognition
computer architecture
content semantic awareness
content threats
content-based defense mechanism
context communication content
distributed processing
edge computing
Extranets
fog computing based defense mechanism
ICN edge defense system
ICN protocols
ICN semantic features
inference mechanisms
Information Centric Network
Information Centric Networks
information-centric networking
internet
knowledge graph
pubcrawl
resilience
Resiliency
Scalability
SCTD
security knowledge-based defense mechanism
security of data
semantic obfuscation
semantic reasoning
semantic relations
Semantics
smart based defense mechanism
smart reasoning algorithms
smart reasoning based content threat defense
subscription-based naming mechanism
biblio
Research and Design of Subway BAS Intrusion Detection Expert System
Submitted by
grigby1
on Thu, 01/02/2020 - 2:45pm
Building automation system
building management systems
cognition
Engines
expert system
expert systems
Human behavior
inference engine
inference mechanisms
information security
Intrusion Detection
intrusion detection system
knowledge base
pubcrawl
Public transportation
Rails
rail traffic
rail transit system
railways
resilience
Resiliency
Scalability
security
security of data
subway BAS intrusion detection expert System
subway equipment
targeted intrusion detection expert system
the inference engine
urban rail transit system
biblio
Formal Security Verification of Concurrent Firmware in SoCs Using Instruction-Level Abstraction for Hardware*
Submitted by
grigby1
on Tue, 12/17/2019 - 12:21pm
security of data
resilience
pubcrawl
Metrics
Resiliency
composability
Hardware
microprocessor chips
Frequency modulation
Access Control
cyber-physical systems
cognition
cyber-physical system
program verification
firmware
Microprogramming
system-on-chip
concurrency (computers)
Concurrency
multi-threading
architecture level
bit-precise reasoning
concurrent firmware
firmware-visible behavior
formal security verification
Instruction-Level Abstraction
intellectual property blocks
multithreaded program verification problem
Secure Boot design
SoC security verification
software verification techniques
Systems-on-Chip
Predictive Metrics
biblio
Post-Turing Computing, Hierarchical Named Networks and a New Class of Edge Computing
Submitted by
grigby1
on Mon, 12/16/2019 - 3:59pm
biological systems
cellular organisms
Church-Turing thesis
Cloud Computing
cognition
Control Theory
Cyber Physical System
cyber physical systems
Dynamic Configuration
dynamic reconfiguration
Edge Cloud
edge cloud platform
edge computing
hierarchical named network
Hierarchical named networks
Human behavior
inductive Turing machines
info-computation
IP address base networks
knowledge structures
Kubernetes
kubernetes provisioning stack
live-migration
living beings
managed process workflow
microservices
named microservice network
named service connections
Neural networks
Platina systems
post-turing computing
pubcrawl
resilience
Resiliency
Scalability
service network
Software systems
stored program control machines
structural machine framework
structural machines
Turing machine
Turing machines
virtual machine overlay
virtual machines
biblio
Engineering Trust: A Graph-Based Algorithm for Modeling, Validating, and Evaluating Trust
Submitted by
aekwall
on Mon, 12/09/2019 - 12:23pm
security of data
Trusted Computing
pubcrawl
composability
graph theory
Computational modeling
Metrics
Vulnerability
systems engineering
trust
Measurement
Trust management
evaluation
Risk
modeling
psychology
cognition
Compositionality
complex intersystem trust relationships
complex multitiered system architectures
Component architectures
disparate system
engineering trust
graph-based algorithm
graph-based modeling methodology
requirements analysis
System Engineering
Systems architecture
systems engineering processes
trust modeling
Computing Theory and Trust
biblio
Deductive Verification of Distributed Protocols in First-Order Logic
Submitted by
grigby1
on Tue, 11/12/2019 - 4:30pm
automated provers
automated theorem provers
cognition
collaboration
complex systems
composability
Compositionality
Computer languages
deductive verification approach
design automation
distributed protocols
distributed systems
first-order logic
formal logic
Formal Specification
formal verification
infinite-state systems
logical verification conditions
long standing research goal
policy-based governance
privacy
program verification
protocol verification
Protocols
pubcrawl
Safety
SMT solvers
Theorem Proving
tools
Tutorials
validity checking
verification problem
biblio
From Big Data to Knowledge: Issues of Provenance, Trust, and Scientific Computing Integrity
Submitted by
aekwall
on Mon, 10/28/2019 - 10:39am
security of data
Big Data
Conferences
data integrity
Trusted Computing
Resiliency
pubcrawl
graph theory
Computational modeling
trust
provenance graphs
cognition
Semantics
inference mechanisms
Predictive Metrics
data provenance
scientific information systems
Compositionality
cognitive systems
data science
Data validity
data-intensive science and engineering
Knowledge engineering
knowledge provenance
malicious attacks
natural environmental changes
operations mistakes
provenance-based trust reasoning
SCI failures
scientific computing integrity
scientific workflows
Variety
Veracity
Viewpoints
views
Scientific Computing Security
1
2
3
4
next ›
last »
