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
scalable verification
biblio
A Framework for Automated API Fuzzing at Enterprise Scale
Submitted by grigby1 on Fri, 02/17/2023 - 4:18pm
intellectual property
Testing-as-a-Service
SOAP Testing
OpenAPI Testing
GraphQL Testing
Fuzz Testing
API Testing
scalable verification
Costs
Cluster Computing
Cloud Computing
Compositionality
fuzzing
Scalability
Conferences
Resiliency
resilience
Metrics
pubcrawl
biblio
Decentralizing loT Public- Key Storage using Distributed Ledger Technology
Submitted by grigby1 on Fri, 02/17/2023 - 4:18pm
Resistance
public-key
loT
file storage
scalable verification
Distributed Ledger Technology
distributed ledger
Tamper-Resistance
Performance analysis
Public key
pubcrawl
Compositionality
smart contracts
Wireless communication
Protocols
Scalability
Resiliency
resilience
Metrics
biblio
Challenges in Migrating Imperative Deep Learning Programs to Graph Execution: An Empirical Study
Submitted by grigby1 on Fri, 02/17/2023 - 4:18pm
Reliability
software evolution
imperative programs
hybrid programming paradigms
graph-based execution
empirical studies
scalable verification
codes
Writing
Compositionality
deep learning
Computer bugs
Data mining
Scalability
Resiliency
resilience
Metrics
pubcrawl
Neural networks
biblio
Partial Reconfiguration for Run-time Memory Faults and Hardware Trojan Attacks Detection
Submitted by grigby1 on Fri, 02/17/2023 - 4:17pm
real-time systems
Memory
Fault
scalable verification
Costs
detection
Hardware Trojans
Compositionality
Memory management
pubcrawl
Prototypes
Scalability
system-on-chip
Hardware
Throughput
Resiliency
resilience
Metrics
biblio
A Blockchain-based Scalable Electronic Contract Signing System
Submitted by grigby1 on Fri, 02/17/2023 - 4:17pm
Compositionality
contract signing
scalable verification
social computing
COVID-19
Fabrics
consensus protocol
smart contract
Hyperledger Fabric
pubcrawl
smart contracts
blockchain
Prototypes
Companies
Scalability
Resiliency
resilience
Metrics
biblio
Improving Robustness Verification of Neural Networks with General Activation Functions via Branching and Optimization
Submitted by grigby1 on Fri, 02/17/2023 - 4:17pm
pubcrawl
Metrics
resilience
Resiliency
optimization
Scalability
Compositionality
Robustness
Artificial Neural Networks
Biological neural networks
Neurons
scalable verification
biblio
A Lightweight Scalable Blockchain Architecture for IoT Devices
Submitted by grigby1 on Fri, 02/17/2023 - 4:17pm
Data Security
off-chain scaling
microtransaction
Behavioral sciences
scalable verification
blockchains
Bridges
Couplings
Compositionality
Internet of Things
blockchain
maintenance engineering
Scalability
Conferences
Resiliency
resilience
Metrics
pubcrawl
biblio
A Secure and Decentralized Auditing Scheme for Cloud Ensuring Data Integrity and Fairness in Auditing
Submitted by grigby1 on Fri, 02/17/2023 - 4:16pm
data integrity
Public Data Auditing
Procrastinating Auditor
Deduplication
convergent encryption
scalable verification
blockchains
Costs
Computational efficiency
confidentiality
Cloud Computing
Compositionality
smart contracts
Scalability
Conferences
Resiliency
resilience
Metrics
pubcrawl
blockchain
biblio
Scalable and Adaptable End-To-End Collection and Analysis of Cloud Computing Security Data: Towards End-To-End Security in Cloud Computing Systems
Submitted by grigby1 on Mon, 02/13/2023 - 1:59pm
Internet-scale Computing Security
authentication
Cloud Computing
Costs
Data Security
encryption
Memory
parallel processing
pubcrawl
Scalability
Scalable Security
scalable verification
security
Stakeholders
biblio
Advanced Analysis of Email Sender Spoofing Attack and Related Security Problems
Submitted by grigby1 on Mon, 02/13/2023 - 1:59pm
Mail spoofing attack
Social engineering attack
Sender source security check
security
Scalable Security
Scalability
pubcrawl
Phishing
Mail spoofing detection method
scalable verification
Image edge detection
Email ecosystem
Electronic mail
Ecosystems
Conferences
Cloud Computing
Anti-Spam
1
2
3
4
5
6
7
8
next ›
last »