Alternatives and similar repositories for cmpsc465-fa20:

Users that are interested in cmpsc465-fa20 are comparing it to the libraries listed below

• SyNSec-den / DIKEUE
  This is the public release of the code of our paper titled "Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Check…
  ☆20Updated last year
• KimHyungSub / Robotic-vehicle-software-tutorial
  ☆12Updated 3 months ago
• dgl-prc / rnn2automata
  ☆9Updated 2 years ago
• purseclab / intender
  A black-box fuzzing framework for the Intent-Based Networking (IBN)
  ☆13Updated last year
• purseclab / PGFuzz
  Policy-Guided Fuzzing for Robotic Vehicles
  ☆33Updated last year
• sys-ris3 / ML_Extraction_Sok
  SoK: All You Need to Know About On-Device ML Model Extraction - The Gap Between Research and Practice
  ☆10Updated 11 months ago
• SNPSFuzzer / SNPSFuzzer
  ☆24Updated 2 years ago
• XZ-X / PEM
  ☆15Updated last year
• zmw12306 / ParDiff
  A Static Differential Analysis Tool of Network Protocol Parsers
  ☆23Updated last year
• assist-project / dtls-fuzzer
  Protocol state machine learner and fuzzer for DTLS servers and clients
  ☆37Updated last week
• Cyphysecurity / SAVIOR
  ☆20Updated 4 years ago
• surrealyz / verified-global-properties
  Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf
  ☆27Updated 3 years ago
• apferscher / ble-learning
  ☆18Updated 3 weeks ago
• PSU-Security-Universe / countdown
  A Refcount-guided Fuzzer for Exposing Temporal Memory Errors in Linux Kernel
  ☆20Updated 6 months ago
• Frostielocks / CAN-Fuzzer
  A fuzzer for the CAN bus
  ☆16Updated last month
• kupl / adapt
  ADAPT is the open source white-box testing framework for deep neural networks
  ☆22Updated 2 years ago
• SuhithaG / MQTT-fuzzing-using-AFLNET
  ☆9Updated 4 years ago
• OSUSecLab / SymGen
  Implementation of "Beyond Classification: Inferring Function Names in Stripped Binaries via Domain Adapted LLMs" (NDSS'25)
  ☆17Updated last month
• xinjin95 / BinSum
  Binary Code Summarization: Benchmarking ChatGPT/GPT-4 and Other Large Language Models
  ☆20Updated last year
• relentless-warrior / 5GReasoner
  ☆54Updated 5 years ago
• ise-uiuc / TitanFuzz
  ☆80Updated last year
• uw-pluverse / pluverse-latex-style-guide
  ☆24Updated last week
• SolidShen / BAIT
  🔥🔥🔥 Detecting hidden backdoors in Large Language Models with only black-box access
  ☆20Updated 5 months ago
• Beerkay / IoTResearch
  IoT Reading List (IoT research papers from 2016 to 2019)
  ☆85Updated 6 years ago
• bajinsheng / SGFuzz
  ☆92Updated last year
• Henrygwb / deepvsa
  ☆44Updated 2 years ago
• turned2670 / DLFuzz
  DLFuzz: An Efficient Fuzzing Testing Framework of Deep Learning Systems
  ☆52Updated 6 years ago
• qingkaishi / netlifter
  Lifting network implementation to precise format specification
  ☆24Updated this week
• mw866 / go-back-n
  TCP-like Go-back-n protocol using UDP socket API
  ☆13Updated 7 years ago
• Jamrot / ChatGPT-Vulnerability-Management
  ☆17Updated 8 months ago