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
Compositionality
biblio
Optimising Network Architectures for Provable Adversarial Robustness
Submitted by aekwall on Tue, 10/12/2021 - 3:13pm
Neural networks
Robustness
Computational modeling
Perturbation methods
Predictive models
Training
pubcrawl
Resiliency
Compositionality
artificial neural network
Predictive Metrics
provable security
computer vision
network architecture
biblio
A Multiple-Replica Provable Data Possession Algorithm Based on Branch Authentication Tree
Submitted by aekwall on Tue, 10/12/2021 - 3:13pm
security
authentication
Heuristic algorithms
Conferences
pubcrawl
Resiliency
Compositionality
Software algorithms
Predictive Metrics
data integrity
provable security
Multi Branch Authentication Tree
Multiple-Replica
provable data possession
software engineering
Vector Dot Product
biblio
Provably Robust Decisions based on Potentially Malicious Sources of Information
Submitted by aekwall on Tue, 10/12/2021 - 3:13pm
security
Robustness
Routing
pubcrawl
Resiliency
Decision Making
Compositionality
malware
Predictive Metrics
provable security
cognition
Information systems
malicious reporting
Provable robustness
trust-based security
biblio
Security Assessment of the Contextual Multi-Armed Bandit - RL Algorithm for Link Adaptation
Submitted by aekwall on Tue, 10/12/2021 - 3:13pm
security
Measurement
Games
Wireless communication
pubcrawl
Resiliency
Industries
Reinforcement learning
Compositionality
Throughput
Predictive Metrics
provable security
Contextual Multi-Armed Bandit
link adaptation
RL algorithms security
security assessment
biblio
Modular Security Analysis of OAuth 2.0 in the Three-Party Setting
Submitted by aekwall on Tue, 10/12/2021 - 3:12pm
authorization
Compositionality
Cryptographic Protocols
OAuth
Predictive Metrics
provable security
pubcrawl
Resiliency
security model
biblio
DoS Vulnerability Verification of IPSec VPN
Submitted by aekwall on Tue, 10/12/2021 - 3:08pm
IP networks
privacy
Servers
encryption
pubcrawl
composability
Compositionality
Routing protocols
policy-based governance
DoS
IKEv1 protocol
IPsec VPN
OSPF protocol
route spoofing
Virtual private networks
protocol verification
biblio
Verifying cryptographic protocols by Tamarin Prover
Submitted by aekwall on Tue, 10/12/2021 - 3:08pm
security
Cryptography
Computational modeling
privacy
pubcrawl
composability
Complexity theory
Compositionality
policy-based governance
Cryptographic Protocols
formal specifications
Planing
Session key secrecy
Tamarin prover
Verification of cryptographic protocols
protocol verification
biblio
An Enhanced and Secure Multiserver-based User Authentication Protocol
Submitted by aekwall on Tue, 10/12/2021 - 3:07pm
composability
protocol verification
smart cards
protocol
Multiserver
ProVerif
cryptanalysis
policy-based governance
Compositionality
security
pubcrawl
Protocols
authentication
Servers
privacy
password
Cryptography
biblio
Research on Secure JTAG Debugging Model Based on Schnorr Identity Authentication Protocol
Submitted by aekwall on Tue, 10/12/2021 - 3:07pm
security
Hardware
system-on-chip
privacy
authentication
Protocols
encryption
pubcrawl
composability
Compositionality
policy-based governance
debugging
protocol verification
biblio
Accelerated Verification of Parametric Protocols with Decision Trees
Submitted by aekwall on Tue, 10/12/2021 - 3:07pm
policy-based governance
protocol verification
parameterized verification
formal methods
Design methodology
Coherence
cache coherence protocols
knowledge based systems
Decision trees
Acceleration
Compositionality
composability
pubcrawl
Conferences
machine learning
Protocols
privacy
1
2
3
4
5
6
7
8
9
…
next ›
last »
