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
formal verification
biblio
Managing Security Policies within Cloud Environments Using Aspect-Oriented State Machines
Submitted by
grigby1
on Fri, 04/03/2020 - 12:05pm
access control policy management
Anomaly Detection
Anomaly Detection and Resolution
AO-FSM
aspect-oriented finite state machines
Aspect-oriented programming
aspect-oriented state machines
authorisation
automata
availability problems
Cloud Computing
cloud environments
cloud policy verification service
cloud service
collaboration
computer architecture
conflicts
distributed policy management
domain-specific language state machine artifacts
finite state machines
formal verification
high level languages
middleware
middleware service
multitenancy architecture
Openstack cloud environment
Organizations
policy anomalies
Policy Based Governance
pubcrawl
safety problems
security
security policies anomalies
security policy management
space complexity
specification languages
Time complexity
verification tools
XACML policies
biblio
Network Reconnaissance and Vulnerability Excavation of Secure DDS Systems
Submitted by
aekwall
on Mon, 03/16/2020 - 10:40am
authorisation
Cryptography
security
Resiliency
pubcrawl
Protocols
Peer-to-peer computing
internet
digital signatures
middleware
Scalability
Predictive Metrics
authenticated encryption
Compositionality
formal verification
open systems
electronic data interchange
scalable verification
attacker model
capability lists
crypto handshake
data bus
data centric access control
Data Distribution Service
default plugin specifications
distributed networked systems
Industrial IoT
initial ratification
interoperable data exchange
IoT protocol
leaked context
Network reconnaissance
permission attestation
realtime peer-to-peer protocol
scalable middleware
secure DDS systems
Secure DDS v
security model
Service Plugin Interface architecture
vulnerability excavation
biblio
Stealthy Trojan Detection Based on Feature Analysis of Circuit Structure
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
circuit structure
Compositionality
design methods
feature analysis
formal verification
hardware trojan
invasive software
ISCAS benchmarks
malicious HT
Predictive Metrics
pubcrawl
Resiliency
Scalability
scalable verification
scalable verification framework
static detection method
stealthy
stealthy Trojan detection
Stealthy Trojan node
trustiness verification methods
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
Incremental Abstraction for Diagnosability Verification of Modular Systems
Submitted by
aekwall
on Mon, 03/16/2020 - 10:39am
Detectors
Resiliency
pubcrawl
Synchronization
feedback
control systems
computational complexity
Complexity theory
automata
Scalability
Production systems
Predictive Metrics
Compositionality
formal verification
verification
fault diagnosis
scalable verification
abstraction
diagnosability
diagnosability verification
Discrete-Event Systems
forbidden loops
incremental abstraction
modular system
Modular systems
nonblocking
parallel lines
polynomial complexity
scalable production system
simple detector automata
uncertain loops
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
Input Elimination Transformations for Scalable Verification and Trace Reconstruction
Submitted by
aekwall
on Mon, 03/16/2020 - 10:38am
Resiliency
pubcrawl
computational complexity
Complexity theory
Logic gates
Scalability
Predictive Metrics
Compositionality
Registers
formal verification
model checking
2QBF variant
connectivity verification
Cost accounting
fast- lossy preprocess
input elimination transformations
input reparameterization
merging
netlist transformations
scalable verification
trace reconstruction
verification complexity
verification scalability
biblio
Multi-Level Proactive Security Auditing for Clouds
Submitted by
aekwall
on Mon, 03/09/2020 - 11:05am
Cloud Computing
Cloud Security
cloud tenant protection
Data protection
formal verification
Human behavior
Multi-Level Security
multilevel proactive security auditing system
proactive auditing
pubcrawl
Resiliency
runtime cloud security auditing
Scalability
security auditing
Security Audits
security of data
security policy verification
biblio
Experimental Verification of Security Measures in Industrial Environments
Submitted by
aekwall
on Mon, 03/02/2020 - 12:29pm
security of data
Scalability
Hardware
Software
Resiliency
pubcrawl
Metrics
production engineering computing
Anomaly Detection
integrated circuits
Firewalls (computing)
verification
Human Factors
industrial control
ICs
control engineering computing
security measures
formal verification
ICS technology
industrial assets
industrial control security
industrial environments
vICS verification framework
Ubiquitous Computing Security
biblio
LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection
Submitted by
grigby1
on Wed, 02/26/2020 - 4:38pm
active fault attacks
automata
Circuit faults
cyber physical systems
dedicated monitoring circuits
electronic systems
Fault Attacks
formal verification
formal verification techniques
generic attackers
Hardware
Hardware Security
hardware Trojan detection
hardware Trojan horses
Integrated circuit modeling
invasive software
LAOCOON
malicious inclusions
Monitoring
pubcrawl
resilience
Resiliency
run-time monitoring
run-time verification
Safety
security
sensitive information
supply chain security
temporal properties
trojan horse detection
Trojan horses
verification rules
1
2
3
4
5
6
7
8
9
…
next ›
last »
