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
PTAD:Provable and Traceable Assured Deletion in Cloud Storage
Submitted by
grigby1
on Fri, 07/10/2020 - 11:40am
assured deletion
chaincode
Cloud Computing
cloud storage
data deletion
data integrity
data integrity checking
deleted data
design algorithms
Distributed databases
efficient deletion method
formal verification
Hyper-ledger Fabric
incomplete deletion
overwriting stage
privacy
provable
provable and traceable assured deletion
PTAD
PTAD scheme
pubcrawl
Scalability
storage management
traceable
unlinking stage
verification stage
biblio
The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications)
Submitted by
grigby1
on Fri, 06/26/2020 - 1:18pm
Internet of Things
security
security of data
certification
tools
pubcrawl
composability
Metrics
Resiliency
IoT
Software
cyber-attacks
program diagnostics
Source code analysis
cyber-physical systems
Safety
Formal Specification
formal verification
connected systems security
Cyber-security
embedded systems
Europe
European H2020 project VESSEDIA
formal methods
high-criticality applications
IoT security
Security and Safety Analysis
software fault tolerance
static analysis
verification engineering of safety and security critical dynamic industrial applications
biblio
On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems
Submitted by
grigby1
on Fri, 06/19/2020 - 11:48am
control engineering computing
cyber-physical systems
cyber-physical systems of systems
false trust
formal correctness analysis
Formal Specification
formal verification
manufacturing
manufacturing automation
Mechanical systems
PLC software
policy-based governance
Policy-Governed Secure Collaboration
programmable controllers
pubcrawl
regression analysis
regression verification processes
resilience
Resiliency
Scalability
security of data
software-driven systems
system validation
trust inheritance analysis
trust preservation
Trusted Computing
biblio
Addressing Verification and Validation Challenges in Future Cyber-Physical Systems
Submitted by
aekwall
on Mon, 06/01/2020 - 10:53am
composability
computation parts
cyber-physical systems
formal verification
future cyber-physical systems
H2020 ADVANCE project
middleware
middleware security
nonexplainable software outputs
nontraditional middleware
physical parts
policy-based governance
pubcrawl
resilience
Resiliency
security of data
strategic perspective
traditional verification
V&V process
validation
Validation challenges
validation techniques
verification
biblio
Towards the formal verification of security properties of a Network-on-Chip router
Submitted by
grigby1
on Fri, 05/15/2020 - 12:29pm
pubcrawl
network on chip security
Scalability
Resiliency
resilience
Metrics
Cryptography
formal verification
Hardware
integrated circuit design
IP networks
model checking
multiprocessing systems
MultiProcessors Systems-on-Chip
network routing
network-on-chip
Network-on-Chip router
NoC routing architectures
Routing
security
timing
biblio
Machine Learning Based Novel Approach for Intrusion Detection and Prevention System: A Tool Based Verification
Submitted by
aekwall
on Mon, 05/11/2020 - 11:13am
Intrusion Detection
computer network security
Servers
Cryptographic Protocols
Protocols
learning (artificial intelligence)
machine learning
Resiliency
pubcrawl
composability
Wireless Sensor Network
wireless sensor networks
Metrics
network intrusion detection
tools
authentication
military applications
formal verification
intrusion prevention
WSN
industrial environments
AVISPA
AVISPA tool
HLPSL.
limited energy
minimum bandwidth
multiple techniques
power supply
prevention system
proactive intrusion prevention
unique features
biblio
Assessing and extracting software security vulnerabilities in SOFL formal specifications
Submitted by
grigby1
on Fri, 04/24/2020 - 4:20pm
composability
Computer bugs
Formal Language
formal languages
Formal Specification
formal specifications
formal verification
highly interconnected world
Input variables
Metrics
Natural languages
object oriented security
object-oriented languages
password
pubcrawl
Requirement Specifications
resilience
Resiliency
secure distributed systems
secure software product
security of data
Security Vulnerability Extraction
SOFL
SOFL formal specifications
Software
software development life cycle
software requirement specifications
software security vulnerabilities
biblio
Experience Report: How to Extract Security Protocols' Specifications from C Libraries
Submitted by
grigby1
on Fri, 04/24/2020 - 4:20pm
automatic tools
C libraries
C programming language
codelevel reverse engineering
composability
documentation
extract security protocols
formal model
Formal Specification
formal verification
human-dependent approach
Libraries
Metrics
object oriented security
object-oriented languages
object-oriented programming
Protocols
pubcrawl
resilience
Resiliency
reverse engineering
security
security of data
security protocol specifications
security protocols
Software
Task Analysis
tools
biblio
A Formal Approach to Secure Speculation
Submitted by
grigby1
on Fri, 04/03/2020 - 12:55pm
security of data
security
pubcrawl
Resiliency
verification
microarchitecture
Program processors
Transient analysis
Linux
Kernel
formal verification
Metrics
Compositionality
provable security
formal
formal approach
Formal-Verification
hyperproperty
information flow security properties
information-flow
meltdown
microarchitectural side-channels
mitigation
observational-determinism
out-of-order-execution
safety-property
secure speculation property
secure speculative execution
side-channel
SMT
software mitigations
Spectre
speculation
trace property-dependent observational determinism
trace-property
transient execution attacks
transient-execution
uclid5
resilience
biblio
Resource-Bounded Intruders in Denial of Service Attacks
Submitted by
grigby1
on Fri, 04/03/2020 - 12:43pm
amplification DoS attacks
Analytical models
Bandwidth
collaboration
complexity
composability
Compositionality
computational complexity
Computer crime
computer network security
DDoS
Denial of Service attacks
Dolev-Yao intruder
DoS problem
existing resource-conscious protocol verification models
formal methods
formal protocol verification
Formal Specification
formal verification
formal verification model
Policy Based Governance
policy-based governance
powerful intruders
privacy
protocol execution
protocol theories
protocol verification
Protocols
PSPACE-complete
pubcrawl
reachability analysis
real-time systems
refined intruder model
resource-bounded intruders
rewriting modulo SMT
rewriting systems
serious security concern
Servers
service resource usage
service unavailable
tools
unlimited resources
1
2
3
4
5
6
7
8
9
…
next ›
last »
