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
differential analysis
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
Dynamic Chaotic Biometric Identity Isomorphic Elliptic Curve (DCBI-IEC) for Crypto Images
Submitted by aekwall on Mon, 01/18/2021 - 10:21am
Elliptic curve cryptography
user fingerprint image
statistical analysis
Resiliency
public key cryptography
pubcrawl
key sensitivity test
image encryption application
image encryption
IEC
high security level
fingerprint minutia data
fingerprint identification
feature extraction
encryption
Elliptic curves
biometric encryption
Dynamic Chaotic Biometric Identity Isomorphic Elliptic Curve
differential analysis
decryption processing
DCBI-IEC system
Chaotic maps
chaotic logistic map
chaotic cryptography
chaotic communication
chaos
biometrics (access control)
biometric identity
biometric digital identity
Metrics
Scalability
resilience
biblio
STACCO: Differentially Analyzing Side-Channel Traces for Detecting SSL/TLS Vulnerabilities in Secure Enclaves
Submitted by grigby1 on Thu, 06/07/2018 - 2:15pm
pubcrawl
Human behavior
Scalability
resilience
Metrics
Resiliency
control-flow inference attacks
differential analysis
oracle attacks
SGX
side-channel
SSL/TLS
SSL Trust Models
