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
Predictive Metrics
biblio
A Scalable Platform for QEMU Based Fault Effect Analysis for RISC-V Hardware Architectures
Submitted by aekwall on Mon, 05/03/2021 - 12:15pm
Resiliency
pubcrawl
Scalability
Predictive Metrics
Compositionality
scalable verification
biblio
Sampling Quotient-Ring Sum-of-Squares Programs for Scalable Verification of Nonlinear Systems
Submitted by aekwall on Mon, 05/03/2021 - 12:15pm
Task Analysis
Resiliency
pubcrawl
standards
optimization
uncertainty
Scalability
Pipelines
Predictive Metrics
Compositionality
scalable verification
Nonlinear dynamical systems
biblio
Lightweight Verification and Fine-grained Access Control in Named Data Networking Based on Schnorr Signature and Hash Functions
Submitted by aekwall on Mon, 05/03/2021 - 12:15pm
encryption
Access Control
Resiliency
pubcrawl
internet
Mathematical model
authentication
Public key
verification
Scalability
NDN
Predictive Metrics
Compositionality
Schnorr signature
Hash functions
scalable verification
biblio
NEURODIFF: Scalable Differential Verification of Neural Networks using Fine-Grained Approximation
Submitted by aekwall on Mon, 05/03/2021 - 12:14pm
verification
MIMICs
formal methods
Differential Verification
differential analysis
scalable verification
Compositionality
Predictive Metrics
deep learning
Scalability
Task Analysis
Biological neural networks
software engineering
Neural networks
tools
Neurons
machine learning
pubcrawl
Resiliency
biblio
An interpretable fuzzy system in the on-line signature scalable verification
Submitted by aekwall on Mon, 05/03/2021 - 12:14pm
Resiliency
pubcrawl
Databases
Fuzzy sets
fuzzy systems
Scalability
Predictive Metrics
Compositionality
Forgery
scalable verification
interpretability
flexible fuzzy system
Frequency selective surfaces
identity verification
IT systems security
on-line signature
biblio
Scalable Impact Range Detection against Newly Added Rules for Smart Network Verification
Submitted by aekwall on Mon, 05/03/2021 - 12:14pm
packet forwarding
packet equivalence class
network verification
impact range recognition
Hasse diagram
scalable verification
Compositionality
Predictive Metrics
Scalability
Cloud Computing
Firewalls (computing)
detection algorithms
pubcrawl
Resiliency
Internet of Things
Access Control
Servers
IP networks
biblio
Exploiting Dual-Rail Register Invariants for Equivalence Verification of NCL Circuits
Submitted by aekwall on Mon, 05/03/2021 - 12:13pm
Wires
NULL Convention Logic
equivalence checking
asynchronous circuits
scalable verification
formal methods
Rails
formal verification
Registers
Resiliency
Compositionality
Predictive Metrics
Scalability
Logic gates
Industries
Synchronization
pubcrawl
biblio
Mitigating DDoS Flooding Attacks with Dynamic Path Identifiers in Wireless Network
Submitted by aekwall on Mon, 05/03/2021 - 12:11pm
DoS
Router Systems Security
Wireless Routing
Dynamic Path Identifiers (DPID)
AES algorithm
decryption
OTP
wireless networks
Predictive Metrics
Computer crime
Wireless communication
Communication system security
Routing
pubcrawl
Resiliency
encryption
Servers
IP networks
biblio
Machine Learning for Network Routing
Submitted by aekwall on Mon, 05/03/2021 - 12:11pm
Internet of Things
security
Resiliency
pubcrawl
QoS
Predictive Metrics
Cognitive Packet Networks
Random Neural Networks
smart routing
Router Systems Security
biblio
Triangle Area Based Multivariate Correlation Analysis for Detecting and Mitigating Cache Pollution Attacks in Named Data Networking
Submitted by aekwall on Mon, 05/03/2021 - 12:11pm
security
feature extraction
Resiliency
pubcrawl
machine learning
Correlation
Anomaly Detection
named data networking
Predictive Metrics
information-centric networking
Pollution
False Locality
in-network caching
Locality Disruptions
Multivariate Correlation Analysis
Router Systems Security
« first
‹ previous
…
16
17
18
19
20
21
22
23
24
…
next ›
last »
