Picture for Taylor T. Johnson

Taylor T. Johnson

The Fifth International Verification of Neural Networks Competition (VNN-COMP 2024): Summary and Results

Add code
Dec 28, 2024
Viaarxiv icon

PBP: Post-training Backdoor Purification for Malware Classifiers

Add code
Dec 05, 2024
Figure 1 for PBP: Post-training Backdoor Purification for Malware Classifiers
Figure 2 for PBP: Post-training Backdoor Purification for Malware Classifiers
Figure 3 for PBP: Post-training Backdoor Purification for Malware Classifiers
Figure 4 for PBP: Post-training Backdoor Purification for Malware Classifiers
Viaarxiv icon

Formalizing Stateful Behavior Trees

Add code
Nov 21, 2024
Viaarxiv icon

Verification of Behavior Trees with Contingency Monitors

Add code
Nov 21, 2024
Viaarxiv icon

Formal Logic-guided Robust Federated Learning against Poisoning Attacks

Add code
Nov 05, 2024
Figure 1 for Formal Logic-guided Robust Federated Learning against Poisoning Attacks
Figure 2 for Formal Logic-guided Robust Federated Learning against Poisoning Attacks
Figure 3 for Formal Logic-guided Robust Federated Learning against Poisoning Attacks
Figure 4 for Formal Logic-guided Robust Federated Learning against Poisoning Attacks
Viaarxiv icon

FISC: Federated Domain Generalization via Interpolative Style Transfer and Contrastive Learning

Add code
Oct 30, 2024
Figure 1 for FISC: Federated Domain Generalization via Interpolative Style Transfer and Contrastive Learning
Figure 2 for FISC: Federated Domain Generalization via Interpolative Style Transfer and Contrastive Learning
Figure 3 for FISC: Federated Domain Generalization via Interpolative Style Transfer and Contrastive Learning
Figure 4 for FISC: Federated Domain Generalization via Interpolative Style Transfer and Contrastive Learning
Viaarxiv icon

Formal Logic Enabled Personalized Federated Learning Through Property Inference

Add code
Jan 24, 2024
Figure 1 for Formal Logic Enabled Personalized Federated Learning Through Property Inference
Figure 2 for Formal Logic Enabled Personalized Federated Learning Through Property Inference
Figure 3 for Formal Logic Enabled Personalized Federated Learning Through Property Inference
Figure 4 for Formal Logic Enabled Personalized Federated Learning Through Property Inference
Viaarxiv icon

The Fourth International Verification of Neural Networks Competition (VNN-COMP 2023): Summary and Results

Add code
Dec 28, 2023
Viaarxiv icon

Robustness Verification for Knowledge-Based Logic of Risky Driving Scenes

Add code
Dec 27, 2023
Viaarxiv icon

SUDS: Sanitizing Universal and Dependent Steganography

Add code
Sep 23, 2023
Viaarxiv icon