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
standards
biblio
IoT Metrics and Automation for Security Evaluation
Submitted by grigby1 on Fri, 04/01/2022 - 2:48pm
Internet of Things
security
IoT
pubcrawl
standards
Metrics
research and development
automation
Security Metrics
Time measurement
Time to market
biblio
Detecting Malicious Hosts in SDN through System Call Learning
Submitted by aekwall on Fri, 04/01/2022 - 2:11pm
security
Monitoring
Scalability
software defined networking
Conferences
pubcrawl
Resiliency
machine learning
standards
SDN security
biblio
False Data Detection Based On LSTM Network In Smart Grid
Submitted by grigby1 on Tue, 03/22/2022 - 1:53pm
standards
FDI attacks
detection
LSTM
software engineering
smart grid security
Metrics
Smart Grids
Computers
Monitoring
Smart Grid
Computational modeling
Scalability
Resiliency
resilience
pubcrawl
Neural networks
biblio
Natural Language Processing Technique for Generation of SQL Queries Dynamically
Submitted by grigby1 on Thu, 03/10/2022 - 12:33pm
pubcrawl
Human behavior
resilience
Resiliency
optimization
Scalability
Databases
standards
convergence
Structured Query Language
Complexity theory
natural language processing
English Text
Lexical Analysis
parsing
biblio
BUFFing signature schemes beyond unforgeability and the case of post-quantum signatures
Submitted by aekwall on Fri, 02/25/2022 - 10:44am
privacy
Protocols
pubcrawl
Resiliency
standards
Compositionality
digital signatures
Predictive Metrics
NIST
provable security
Digital-signature-scheme
DSKS-attack
exclusive-ownership
message-bound-signatures
NIST-PQC-candidates
non-re-signability
biblio
The Provable Security of Ed25519: Theory and Practice
Submitted by aekwall on Fri, 02/25/2022 - 10:42am
security
privacy
Protocols
resilience
pubcrawl
Resiliency
encoding
standards
Compositionality
Predictive Metrics
Clamps
provable security
biblio
Towards Formal Modeling and Analysis of UPI Protocols
Submitted by grigby1 on Thu, 02/24/2022 - 12:30pm
Manuals
UPI
tools
standards
Servers
pubcrawl
protocol verification
privacy
policy-based collaboration
Adaptation models
formal methods
Financial Security
Cryptographic Protocols
Compositionality
composability
collaboration
Analytical models
biblio
Vertical Composition and Sound Payload Abstraction for Stateful Protocols
Submitted by grigby1 on Thu, 02/24/2022 - 12:29pm
Protocols
vertical composition
tools
Syntactics
stateful protocols
standards
security protocols
pubcrawl
protocol verification
collaboration
privacy
policy-based collaboration
Payloads
formal methods and verification
Cryptography
computer security
Compositionality
composability
biblio
Anonymity Analysis of Bitcoin, Zcash and Ethereum
Submitted by grigby1 on Wed, 02/09/2022 - 2:47pm
zero knowledge proof
standards
smart contracts
Resiliency
resilience
pubcrawl
network analysis
Metrics
Memory
Internet of Things
Human behavior
composability
blockchain
bitcoin
anonymity
biblio
A Comprehensive Survey on Vehicular Ad Hoc Networks (VANETs)
Submitted by grigby1 on Tue, 02/08/2022 - 11:41am
Compositionality
vehicular ad hoc network
Security and privacy VANET
Intelligent Transportation System
challenge
Computer applications
manet privacy
vehicular ad hoc networks
Transportation
computer architecture
composability
standards
privacy
Resiliency
resilience
Metrics
pubcrawl
security
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »
