scyther-proof VS PayloadsAllTheThings

Compare scyther-proof vs PayloadsAllTheThings and see what are their differences.

scyther-proof

A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols. (by meiersi)
Our great sponsors
  • WorkOS - The modern identity platform for B2B SaaS
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • SaaSHub - Software Alternatives and Reviews
scyther-proof PayloadsAllTheThings
- 34
13 56,831
- -
0.0 8.5
almost 9 years ago 3 days ago
Isabelle Python
LicenseRef-GPL MIT License
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.

scyther-proof

Posts with mentions or reviews of scyther-proof. We have used some of these posts to build our list of alternatives and similar projects.

We haven't tracked posts mentioning scyther-proof yet.
Tracking mentions began in Dec 2020.

PayloadsAllTheThings

Posts with mentions or reviews of PayloadsAllTheThings. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2023-10-25.

What are some alternatives?

When comparing scyther-proof and PayloadsAllTheThings you can also consider the following projects:

faceted - Secure Information Flow

sql-injection-payload-list - 🎯 SQL Injection Payload List

smith-cli - This is a command line tool for interacting with https://smith.st

nuclei-templates - Community curated list of templates for the nuclei engine to find security vulnerabilities.

liboath-hs - Haskell bindings to the liboath library.

CVE-2021-44228-PoC-log4j-bypass-words - 🐱‍💻 ✂️ 🤬 CVE-2021-44228 - LOG4J Java exploit - WAF bypass tricks

openssh-protocol - Haskell implementation of openssh protocol primitives.

OWASP-Testing-Checklist - OWASP based Web Application Security Testing Checklist is an Excel based checklist which helps you to track the status of completed and pending test cases.

lmonad - Information Flow Control for Haskell applications

IPRotate_Burp_Extension - Extension for Burp Suite which uses AWS API Gateway to rotate your IP on every request.

planb-token-introspection - PlanB Token Introspection

web-pentesting-checklist - checklist for testing the web applications