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
Read-only archive of site from September 29, 2023.
CPS-VO
formal analysis
biblio
A Lightweight Dual Authentication Protocol for the Internet of Vehicles
Submitted by grigby1 on Wed, 06/30/2021 - 3:55pm
Metrics
tools
security protocol
Resistance
Resiliency
resilience
radiofrequency identification
pubcrawl
Protocols
authentication
lightweight authentication
Internet of Vehicles
internet
Human Factors
Human behavior
formal analysis
data transfer
cyber physical systems
biblio
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics
Submitted by grigby1 on Tue, 02/16/2021 - 1:40pm
energy constraints
Damage Assessment
trustworthy CPS
prognostics and health management
PHM techniques
InFoCPS PhD research project
formal analysis techniques
formal analysis
energy uncertainty
energy prognostics
cyber-physical systems
electric batteries
dynamic energy behaviors
CPS development processes
Energy storage
power aware computing
formal verification
Resiliency
resilience
pubcrawl
biblio
A Symbolic Analysis of ECC-Based Direct Anonymous Attestation
Submitted by aekwall on Mon, 12/07/2020 - 12:25pm
symbol manipulation
Predictive Metrics
privacy
pubcrawl
public key cryptography
Resiliency
Scalability
secrecy
secrecy properties
neural style transfer
symbolic analysis
symbolic verification
Tamarin modelling
Tamarin prover
tpm
Trusted Computing
trusted platform module TPM-backed anonymous credentials
trusted platform modules
ECC-based version
authentication
composability
Cryptographic Protocols
cryptographic scheme
cyber-physical system security
digital signatures
direct anonymous attestation
ECC-based direct anonymous attestation
Analytical models
ECC-DAA
expected authentication
formal analysis
formal verification
IEC standards
ISO standards
mechanised analysis
biblio
Analyzing the Attack Landscape of Zigbee-Enabled IoT Systems and Reinstating Users' Privacy
Submitted by willirn1 on Fri, 10/23/2020 - 11:45am
attacks
ECDH
formal analysis
IoT
key management
NCSU
Policy-Governed Secure Collaboration
Principles of Secure BootStrapping for IoT
privacy
Zigbee
Policy-Governed Secure Collaboration
NCSU
Principles of Secure BootStrapping for IoT
2020: July
biblio
A Formal Analysis of 5G Authentication
Submitted by grigby1 on Tue, 11/12/2019 - 4:28pm
5G standard
AKA protocol
Authentication Protocols
collaboration
composability
Compositionality
formal analysis
policy-based governance
privacy
protocol verification
pubcrawl
symbolic verification
biblio
Cyber Threat Analysis Framework for the Wind Energy Based Power System
Submitted by grigby1 on Wed, 09/12/2018 - 11:02am
security
cyber-physical systems
pubcrawl
Human behavior
privacy
formal analysis
Human Factors
wind energy
CPS Privacy
biblio
Parallel Reconstruction of Three Dimensional Magnetohydrodynamic Equilibria in Plasma Confinement Devices
Submitted by grigby1 on Thu, 08/23/2018 - 11:59am
plasma equilibria
tokamaks
Tokamak devices
Three-dimensional displays
three dimensional plasma reconstruction code
three dimensional plasma equilibrium reconstructions
three dimensional magnetohydrodynamic equilibria
stellarators
Resiliency
resilience
pubcrawl
privacy
plasma toroidal confinement
plasma simulation
plasma magnetohydrodynamics
composability
plasma confinement devices
parallel V3FIT
parallel reconstruction
parallel algorithms
Nickel
Mathematical model
Magnetohydrodynamics
fusion data
formal analysis
Force
data parallelism
cyber-physical systems
Cray XC30 supercomputer
confinement
biblio
How formal analysis and verification add security to blockchain-based systems
Submitted by grigby1 on Thu, 08/23/2018 - 11:37am
ISO standards
tools
security of data
security layers
Security Evaluation
Scalability
Resiliency
resilience
pubcrawl
Protocols
process transactions
blockchain
integrated technology
IEC standards
formal verification
formal method
formal analysis
domain specific language
Cryptography
contracts
blockchain-based system security
blockchain security
biblio
Towards Formal Security Analysis of Industrial Control Systems
Submitted by grigby1 on Thu, 06/07/2018 - 2:56pm
formal methods
security
pubcrawl
composability
formal analysis
physical layer security
resilience
Metrics
Resiliency
cyber-physical system
formal models
practical security assessment
biblio
A Temporal Blockchain: A Formal Analysis
Submitted by grigby1 on Fri, 11/03/2017 - 11:33am
Peer-To-Peer
temporal rolling blockchain
system monitoring
security of data
security
Scalability
Resiliency
pubcrawl
Protocols
peer-to-peer method
Peer-to-peer computing
blockchain
Online banking
Mobile communication
formal analysis
fixed-size blockchain
distributed systems
distributed storage
Cryptography
cryptocurrencies
blockchain-based systems
blockchain security
