Alternatives and similar repositories for PEM:

Users that are interested in PEM are comparing it to the libraries listed below

• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆22Updated last year
• ZJUNESA / SANDP
  Seminar 2022
  ☆22Updated last month
• yapengye / D-ARM
  ☆20Updated 6 months ago
• SolidShen / BAIT
  🔥🔥🔥 Detecting hidden backdoors in Large Language Models with only black-box access
  ☆17Updated 3 months ago
• ziansu / codeart
  Official repo for FSE'24 paper "CodeArt: Better Code Models by Attention Regularization When Symbols Are Lacking"
  ☆15Updated 7 months ago
• AISIGSJTU / Siren
  Siren: Byzantine-robust Federated Learning via Proactive Alarming (SoCC '21)
  ☆11Updated 11 months ago
• ZhangZhuoSJTU / LINT
  ☆16Updated 5 months ago
• qingkaishi / netlifter
  Lifting network implementation to precise format specification
  ☆24Updated 3 months ago
• Jamrot / ChatGPT-Vulnerability-Management
  ☆16Updated 6 months ago
• PurduePAML / Machine-Learning-Security-Seminar
  Machine Learning & Security Seminar @Purdue University
  ☆25Updated last year
• Megum1 / BEAGLE
  [NDSS'23] BEAGLE: Forensics of Deep Learning Backdoor Attack for Better Defense
  ☆17Updated 9 months ago
• turned2670 / DLFuzz
  DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems
  ☆52Updated 6 years ago
• Megum1 / ODSCAN
  [IEEE S&P'24] ODSCAN: Backdoor Scanning for Object Detection Models
  ☆13Updated 2 months ago
• EvanXiaa / Awesome-LLM_For-SE-Sec-Papers
  ☆25Updated 5 months ago
• sem2vec / sem2vec-SE
  Code for tracelet-level symbolic execution
  ☆17Updated 2 years ago
• agisnetwork / agis-engine
  ☆27Updated 7 months ago
• Henrygwb / deepvsa
  ☆44Updated 2 years ago
• Yuanyuan-Yuan / GCert
  Research Artifact of USENIX Security 2023 Paper: Precise and Generalized Robustness Certification for Neural Networks
  ☆12Updated last year
• diewufeihong / SLIME
  SLIME is a novel program-sensitive fuzzer that designs multiple property-aware queues and leverages a customized Upper Confidence Bound V…
  ☆20Updated 2 years ago
• ForeverZyh / DEBAR
  This repository contains the implementation and the evaluation of our ESEC/FSE 2020 paper: Detecting Numerical Bugs in Neural Network Ar…
  ☆26Updated 4 years ago
• Gwinhen / MOTH
  This is the implementation for IEEE S&P 2022 paper "Model Orthogonalization: Class Distance Hardening in Neural Networks for Better Secur…
  ☆11Updated 2 years ago
• E0HYL / AI4Code-Framework
  A unified framework for AI-enhanced code analysis.
  ☆9Updated last year
• yanzuochen / obsan
  OBsan: An Out-Of-Bound Sanitizer to Harden DNN Executables
  ☆17Updated 2 years ago
• ClonedOne / MalwareBackdoors
  Code for the paper Explanation-Guided Backdoor Poisoning Attacks Against Malware Classifiers
  ☆57Updated 2 years ago
• tcwangshiqi-columbia / symbolic_interval
  The library for symbolic interval
  ☆20Updated 4 years ago
• ZhenlanJi / DL_CC
  CC: Causality-Aware Coverage Criterion for Deep Neural Networks
  ☆11Updated 2 years ago
• 5hadowblad3 / Beacon_artifact
  Research artifact for Oakland (S&P) 2022, "BEACON: Directed Grey-Box Fuzzing with Provable Path Pruning"
  ☆34Updated 5 months ago
• ZhangZhuoSJTU / CRAJobHarvester
  AI-powered web scraper for harvesting and analyzing Computing Research Association job listings.
  ☆17Updated 5 months ago
• RazorMegrez / VulHawk
  This is the official repository for VulHawk.
  ☆68Updated last year