Mignis is a semantic based tool for firewall configuration.
☆45Mar 27, 2026Updated 2 weeks ago
Alternatives and similar repositories for Mignis
Users that are interested in Mignis are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Language-independent Synthesis of Firewall Policies☆26Jan 6, 2023Updated 3 years ago
- Wax is a mediocre fuzzer I'm prototyping to test some ideas and get rid of others.☆17Jul 12, 2018Updated 7 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- Library to manipulate CSP reports and policies☆15Apr 18, 2014Updated 11 years ago
- ROPMate is the first Visual Analytics system specifically designed to assist human in composing ROP chains with the desired semantics.☆28Feb 3, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- DHCP server that talks GRPC☆15Jul 8, 2017Updated 8 years ago
- Verified iptables Firewall Ruleset Analysis☆99Jun 28, 2024Updated last year
- Allows you to use a macro prefix_all to prefix every attribute in structs and enums on serialization☆12Mar 28, 2021Updated 5 years ago
- IPsec and IKEv2 for the Contiki OS! See examples/ipsec/README.md to get started!☆17Jan 20, 2014Updated 12 years ago
- Scripts or utilities for radare2☆15Sep 10, 2016Updated 9 years ago
- Demonstrating the BadAss issue.☆17May 19, 2025Updated 10 months ago
- Agrigento is a tool to identify privacy leaks in Android apps by performing black-box differential analysis on the network traffic.☆72Oct 1, 2020Updated 5 years ago
- Our Website☆17Oct 19, 2022Updated 3 years ago
- 🚒 Don't let threats reach your machines — USB Mass Storage Gateway☆17Oct 30, 2019Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- TheRomanXpl0it is an italian academic CTF team from Sapienza, University of Rome.☆14Mar 26, 2026Updated 2 weeks ago
- pwntools for go!☆12Jul 14, 2019Updated 6 years ago
- Knowledge representations and artificial reasoning for monitoring, developing AR aspects of managing large systems☆17Nov 5, 2020Updated 5 years ago
- cuckoo-1.1 fork with suricata/moloch/clamav and other goodies☆23Feb 17, 2015Updated 11 years ago
- a small, lightweight pre-forking container☆21Nov 22, 2020Updated 5 years ago
- Description of how to practical execute hardnested attack against new mifare classic or against mifare plus cards☆27Sep 22, 2017Updated 8 years ago
- Deploy HA kubernetes with nfs storage, logging and monitoring in Yandex Cloud☆43Mar 3, 2020Updated 6 years ago
- A simple pam account module to process HBAC rules stored on an IPA server☆10May 14, 2018Updated 7 years ago
- Vulnerability as a service: showcasing CVS-2014-6271, a.k.a. Shellshock☆22Oct 8, 2019Updated 6 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Testbed for testing recursive resolvers☆13Dec 15, 2023Updated 2 years ago
- The ChameleonMini is a versatile contactless smartcard emulator compliant to NFC. To support our project, buy it here: https://shop.kaspe…☆14Apr 15, 2019Updated 7 years ago
- ☆20Jun 1, 2024Updated last year
- Rust procedural macro attribute to enable target features at runtime☆14Dec 22, 2017Updated 8 years ago
- ☆13Aug 19, 2015Updated 10 years ago
- ☆13Dec 26, 2022Updated 3 years ago
- A list of data-only attacks☆21Aug 22, 2025Updated 7 months ago
- ReviveIT (revit) is a proof of concept file recovery tool (carver)☆13Dec 3, 2020Updated 5 years ago
- A series of dynamic analysis tools for Binary Ninja, built with PyQt and Binjatron☆20Oct 23, 2020Updated 5 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆13Nov 14, 2022Updated 3 years ago
- This is a compilation of functions to simplify scripts to manage AD tasks☆10Apr 7, 2016Updated 10 years ago
- Themis: Ambiguity-Aware Network Intrusion Detection based on Symbolic Model Comparison☆23Mar 4, 2023Updated 3 years ago
- Efficient cryptanalysis of homophonic substitution ciphers☆15Aug 22, 2020Updated 5 years ago
- Rust library managing duplicity backups☆18Aug 2, 2021Updated 4 years ago
- Stor2rrd Grafan monitoring☆12Jan 8, 2019Updated 7 years ago
- Animated transitions between pages☆33Jun 8, 2015Updated 10 years ago