diekmann / Iptables_Semantics
Verified iptables Firewall Ruleset Analysis
☆97Updated 9 months ago
Alternatives and similar repositories for Iptables_Semantics:
Users that are interested in Iptables_Semantics are comparing it to the libraries listed below
- Public collection of firewall dumps.☆42Updated 7 years ago
- Mirage support for writing QubesOS AppVM unikernels☆63Updated last month
- MRT Parser☆46Updated 5 years ago
- duraconf - A collection of hardened configuration files for SSL/TLS services☆56Updated 10 years ago
- some TLS utilities☆17Updated 9 years ago
- Does your library check TLS certificates properly?☆78Updated last year
- a tiny, custom launcher that handles namespacing, control groups, chroot'ing, and more☆55Updated 2 years ago
- SSH configuration analysis☆75Updated 2 years ago
- High-level milestone planning for Qubes OS☆31Updated 8 years ago
- NixOps deployment☆32Updated 6 years ago
- Configuration to use gpg smartcards for ssh authentication☆111Updated 4 years ago
- Secure HSM implementation based on MirageOS☆37Updated 2 years ago
- BGP Policy Verification☆25Updated 8 years ago
- [This fork is not maintained] git-remote-gcrypt: A git remote helper for GPG-encrypted remotes☆145Updated 8 years ago
- Nix to Docker buildpack☆38Updated 9 years ago
- IP-format-preserving encryption, with a dedicated 4-byte cipher☆103Updated 4 years ago
- An example Mirage unikernel that runs as a Qubes AppVM☆23Updated 4 years ago
- Jump to Full Encryption☆61Updated 8 years ago
- Use a TPM to store a TOTP token in order to attest boot state to another device☆208Updated last year
- TLS tunnel -- an alternative to stud / stunnel☆84Updated 2 years ago
- LUKS support for storing keys in TPM NVRAM☆185Updated 7 years ago
- Tracebox, a middlebox detection tool☆166Updated 6 years ago
- Network Semantics☆87Updated 6 years ago
- Tracking grsecurity and PaX enabled kernels...☆21Updated 7 years ago
- Simple PKCS11 provider for TPM chips☆252Updated 10 months ago
- Run any command transparently in a VM (this repo isn't part of Cappsule)☆27Updated 7 years ago
- Refresh your GnuPG keyring without disclosing your whole contact list to the world☆228Updated 2 years ago
- TLS implemented in f7☆43Updated 8 years ago
- Split SSH implementation for QubesOS☆41Updated 5 years ago
- Send encrypted secrets. Fluidkeys lets you send passwords, keys and personal information from the terminal. Powered by OpenPGP end-to-end…☆74Updated 5 years ago