josep
/
OpenData
Suivre 1
Favoriser 0
Bifurcation 0
Code Tickets 0 Demandes d'ajout 0 Versions 0 Wiki Activité
Research data available for everyone.
15 Révisions
1 Branche
Aborescence: 36d8dae6f6
Branches Tags
${ item.name }
Créer la branche ${ searchTerm }
de '36d8dae6f6'
${ noResults }
OpenData/data/2026-IJCI
Josep Argelich 36d8dae6f6 Upload onnx and vnnlib files il y a 2 semaines
..
onnx Upload onnx and vnnlib files il y a 2 semaines
vnnlib Upload onnx and vnnlib files il y a 2 semaines
README.md 2026-IJCI first commit il y a 3 semaines

README.md

A Malware Detection Model as a Benchmark for Neural Network Verification

Overview

This directory contains data and resources for the 2026-IJCI paper titled “A Malware Detection Model as a Benchmark for Neural Network Verification”.

Contents

  • boolean_classifier/ - Neural Network model
  • verifier/ - Scripts for tool verification

Powered by TurnKey Linux.