Alternatives and similar repositories for verified-global-properties

Users that are interested in verified-global-properties are comparing it to the libraries listed below

• tcwangshiqi-columbia / symbolic_interval

  View on GitHub
  The library for symbolic interval
  ☆22Jun 23, 2020Updated 5 years ago
• klasleino / gloro

  View on GitHub
  Library for training globally-robust neural networks.
  ☆31Aug 7, 2025Updated 6 months ago
• KaidiXu / Beta-CROWN

  View on GitHub
  β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification
  ☆31Nov 9, 2021Updated 4 years ago
• eth-sri / deepg

  View on GitHub
  Certifying Geometric Robustness of Neural Networks
  ☆16Mar 24, 2023Updated 2 years ago
• surrealyz / pdfclassifier

  View on GitHub
  On Training Robust PDF Malware Classifiers (Usenix Security'20) https://arxiv.org/abs/1904.03542
  ☆30Dec 27, 2021Updated 4 years ago
• jinyuan-jia / BadEncoder

  View on GitHub
  ☆83Aug 3, 2021Updated 4 years ago
• dunky11 / piracy-resistant-watermarks

  View on GitHub
  Implemention of "Piracy Resistant Watermarks for Deep Neural Networks" in TensorFlow.
  ☆12Dec 5, 2020Updated 5 years ago
• ARiSE-Lab / DeepInspect

  View on GitHub
  DeepInspect code release
  ☆11Feb 11, 2020Updated 6 years ago
• jlwu002 / BCL

  View on GitHub
  [ICML 2022] Robust Deep Reinforcement Learning through Bootstrapped Opportunistic Curriculum
  ☆10Jul 15, 2022Updated 3 years ago
• MinChen00 / UnlearningLeaks

  View on GitHub
  Official implementation of "When Machine Unlearning Jeopardizes Privacy" (ACM CCS 2021)
  ☆50May 20, 2022Updated 3 years ago
• LiKev12 / CSE544T-Project-TextBugger

  View on GitHub
  ☆11Apr 23, 2020Updated 5 years ago
• jinyuan-jia / BaggingCertifyDataPoisoning

  View on GitHub
  ☆12Dec 9, 2020Updated 5 years ago
• soteris / android-advertising-pluto

  View on GitHub
  This is the code for the Pluto framework to assess data exposure by an Android app to an advertising library. The framework was presented…
  ☆13Jan 23, 2018Updated 8 years ago
• IBM / model-sanitization

  View on GitHub
  Codes for reproducing the results of the paper "Bridging Mode Connectivity in Loss Landscapes and Adversarial Robustness" published at IC…
  ☆27Apr 29, 2020Updated 5 years ago
• ACESLabUCSD / COINN

  View on GitHub
  ☆16Aug 31, 2021Updated 4 years ago
• ganler / memcov

  View on GitHub
  Collect simple coverage information in memory.
  ☆11Oct 6, 2022Updated 3 years ago
• tcwangshiqi-columbia / ReluVal

  View on GitHub
  The released code of ReluVal in USENIX Security 2018
  ☆60Mar 4, 2020Updated 5 years ago
• uleroboticsgroup / SVCP4CDataset

  View on GitHub
  Vulnerable Source Code Collected from Open Source Repositories for Dataset Generation
  ☆16Dec 3, 2020Updated 5 years ago
• AI-secure / VeriGauge

  View on GitHub
  A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]
  ☆90Mar 24, 2023Updated 2 years ago
• mathebell / model-watermarking

  View on GitHub
  ☆16Dec 3, 2021Updated 4 years ago
• KennethAdamMiller / superset_disassembler

  View on GitHub
  Disassemblers with various trimming methodologies
  ☆15Jan 1, 2025Updated last year
• R-Fuzz / jigsaw

  View on GitHub
  JIGSAW is a fuzzing-based path constraint solver.
  ☆69May 31, 2024Updated last year
• AI-secure / Meta-Nerual-Trojan-Detection

  View on GitHub
  ☆68Sep 29, 2020Updated 5 years ago
• ethz-spylab / realistic-adv-examples

  View on GitHub
  Code for the paper "Evading Black-box Classifiers Without Breaking Eggs" [SaTML 2024]
  ☆21Apr 15, 2024Updated last year
• litian96 / AdaDPS

  View on GitHub
  Private Adaptive Optimization with Side Information (ICML '22)
  ☆16Jun 23, 2022Updated 3 years ago
• GuanlinLee / ART

  View on GitHub
  Official Code for ART: Automatic Red-teaming for Text-to-Image Models to Protect Benign Users (NeurIPS 2024)
  ☆23Oct 23, 2024Updated last year
• mtappler / mut-learn

  View on GitHub
  Mutation-based implementation of a random equivalence testing strategy for active automata learning
  ☆16Dec 20, 2018Updated 7 years ago
• AI-secure / Robustness-Against-Backdoor-Attacks

  View on GitHub
  RAB: Provable Robustness Against Backdoor Attacks
  ☆39Oct 3, 2023Updated 2 years ago
• ebagdasa / propaganda_as_a_service

  View on GitHub
  Code for paper: "Spinning Language Models: Risks of Propaganda-as-a-Service and Countermeasures"
  ☆21Jun 6, 2022Updated 3 years ago
• seahorn / llvm-dsa

  View on GitHub
  LLVM DSA fork for SeaHorn
  ☆21Aug 17, 2019Updated 6 years ago
• KaidiXu / LiRPA_Verify

  View on GitHub
  Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"
  ☆17Jan 27, 2023Updated 3 years ago
• xlab-uiuc / ctest-prio-ae

  View on GitHub
  Test-Case Prioritization for Configuration Testing
  ☆16Jul 19, 2021Updated 4 years ago
• Practical-Formal-Methods / tailor

  View on GitHub
  Framework for automatically tailoring an abstract interpreter to the code under analysis and any given resource constraints
  ☆20Nov 24, 2021Updated 4 years ago
• cleverhans-lab / machine-unlearning

  View on GitHub
  ☆199Sep 22, 2023Updated 2 years ago
• uchicago-sandlab / naturalbackdoors

  View on GitHub
  Code for identifying natural backdoors in existing image datasets.
  ☆15Aug 24, 2022Updated 3 years ago
• max-andr / cross-lipschitz

  View on GitHub
  Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation [NeurIPS 2017]
  ☆18Apr 8, 2018Updated 7 years ago
• HVLearn / HVLearn

  View on GitHub
  A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning
  ☆21Jun 10, 2017Updated 8 years ago
• ZhaoyangLyu / POPQORN

  View on GitHub
  An Algorithm to Quantify Robustness of Recurrent Neural Networks
  ☆49Apr 24, 2020Updated 5 years ago
• SCccc21 / Knowledge-Enriched-DMI

  View on GitHub
  ☆46Sep 24, 2023Updated 2 years ago