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
QIF-Verilog: Quantitative Information-Flow based Hardware Description Languages for Pre-Silicon Security Assessment
Submitted by
grigby1
on Fri, 09/18/2020 - 2:15pm
hardware description languages
Hardware design languages
Cryptography
security solutions
security of data
security
pubcrawl
Metrics
resilience
Resiliency
Hardware
Integrated circuit modeling
integrated circuit testing
Scalability
Registers
integrated circuit design
formal verification
Measurement
Compositionality
uncertainty
Vulnerability Analysis
electronic engineering computing
data flow
design mistakes
design stage
formal verification methods
hardware designer
hardware overhead
hardware system
hardware vulnerabilities
language based framework
language-based approach
language-based hardware security verification
malicious logic detection
potential security vulnerabilities
pre-silicon security assessment
promising solution
QIF model
QIF-Verilog
quantified information flow model
quantitative information-flow
security rules
verification process
Verilog type systems
vulnerable logic detection
compiler security
biblio
Formalizing Constructive Cryptography using CryptHOL
Submitted by
aekwall
on Mon, 09/14/2020 - 12:27pm
Cryptography
encryption
game theory
pubcrawl
tools
Probabilistic logic
Complexity theory
computer science
formal verification
verification
formal methods
cryptographic proofs
Theorem Proving
complex system
universal composability
computer aided cryptography
composable cryptographic security statements
computer-aided cryptography
constructive cryptography
CryptHOL
game-based proofs
information-theoretically secure channel
proof rules
random systems
composability
biblio
Machine Learning Bluetooth Profile Operation Verification via Monitoring the Transmission Pattern
Submitted by
grigby1
on Fri, 09/04/2020 - 4:27pm
security
telecommunication security
pubcrawl
composability
Resiliency
resilience
Human behavior
machine learning
feature extraction
classifier
learning (artificial intelligence)
cyber physical systems
formal verification
Decision Tree
system-on-chip
telecommunication computing
Bluetooth
Blue-tooth
Bluetooth profile operation verification
Bluetooth SoC
Bluetooth System-on-Chip
communication complexity
custom low-frequency integrated circuit
electronic engineering computing
Hardware Security
hardware-software security
integrated circuit manufacture
k-nearest neighbor
license communication IC
low computational complexity
low-cost legacy technology
mobile radio
profile classification algorithm
radio frequency output power
RF envelope detector
RF output power
RF Power
signal classification
smart descriptive time-domain feature extraction
Supervisory Circuit
support vector machine
transmission pattern
Cyber Physical System
bluetooth security
biblio
Efficient and Secure Proxy re-signature Message Authentication Scheme in Vehicular Ad Hoc Network
Submitted by
aekwall
on Mon, 08/03/2020 - 10:19am
pubcrawl
Ad Hoc Network Security
Batch verification
Compositionality
conditional privacy protection
data privacy
digital signatures
ECDLP hard problem
efficiency analysis
efficiency requirements
elliptic curve
Elliptic curves
formal verification
Internet of Vehicles
Metrics
privacy protection problem
proxy re-signature
public key cryptography
random oracle model
Resiliency
roadside unit
secure proxy resignature message authentication scheme
security requriements
trusted center traceability
Trusted Computing
VANET
vehicular ad hoc network
vehicular ad hoc networks
biblio
Application of STPA in Temporary Speed Restriction Sending Scenario of Train Control System Based on Vehicle-Vehicle Communication
Submitted by
grigby1
on Fri, 07/24/2020 - 1:01pm
security
pubcrawl
control engineering computing
formal verification
automata theory
CD
control defect
control defects
Hazards
railway engineering
railway safety
SDR
security design requirement
security design requirements
STPA
STPA method
system theoretic process analysis method
temporary speed restriction sending scenario
train control system
UCA
unsafe control actions
UPPAAL
vehicle-vehicle communication
Control Theory
biblio
A Formal Modeling and Verification Framework for Service Oriented Intelligent Production Line Design
Submitted by
grigby1
on Thu, 07/16/2020 - 11:44am
Adaptation models
application requirements
complex application
composability
CPS modeling
existing modeling methods
formal modeling
formal simulation verification framework
Formal Specification
formal verification
independent equipment network integration
Intelligent production line
large scale high-performance system
Mathematical model
Metrics
model and verification
model-based service-oriented integration approach
model-centric way
performance constraints
production engineering computing
pubcrawl
quality of service
resilience
Resiliency
service oriented
service oriented intelligent production line design
service-oriented architecture
simulations
Software Architecture
Task Analysis
tools
Unified modeling language
verification method
web services
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
certification
composability
connected systems security
cyber-attacks
cyber-physical systems
Cyber-security
embedded systems
Europe
European H2020 project VESSEDIA
formal methods
Formal Specification
formal verification
high-criticality applications
Internet of Things
IoT
IoT security
Metrics
program diagnostics
pubcrawl
Resiliency
Safety
security
Security and Safety Analysis
security of data
Software
software fault tolerance
Source code analysis
static analysis
tools
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
1
2
3
4
5
6
7
8
9
…
next ›
last »
