Hardened GNU/Linux

All

77 repositories

animula-docs
Public
The documents of Animula project
scheme embedded virtual-machine iot-platform aiot zephyr-rtos
0•6•0•0•Updated Jun 6, 2025Jun 6, 2025
animula-zephyr
Public
C
•
GNU Lesser General Public License v3.0
•0•0•0•0•Updated Jun 6, 2025Jun 6, 2025
animula
Public
C
•
GNU Lesser General Public License v3.0
•1•5•0•0•Updated Jun 6, 2025Jun 6, 2025
OpenSC
Public
Open source smart card tools and middleware. PKCS#11/MiniDriver/Tokend
C
•
GNU Lesser General Public License v2.1
•775•0•0•0•Updated May 17, 2025May 17, 2025
animula-zephyr-bsp
Public
CMake
•
GNU Lesser General Public License v3.0
•0•0•0•0•Updated May 17, 2025May 17, 2025
laco
Public
Laco compiler
TeX
•
Other
•0•2•0•0•Updated May 13, 2025May 13, 2025
memory-safety-coverage-test
Public
Memory safety coverage test upon sanitizers and Fil-C
C
•
GNU General Public License v3.0
•0•0•0•0•Updated May 9, 2025May 9, 2025
hardenedlinux.github.io
Public
hardenedlinux.org website
HTML
•18•32•1•0•Updated May 9, 2025May 9, 2025
llvm-project-deluge
Public
Fil-C
C++
•
Other
•14k•1•0•0•Updated May 2, 2025May 2, 2025
animula-linux
Public
C
•
GNU Lesser General Public License v3.0
•0•0•0•0•Updated May 1, 2025May 1, 2025
elephant-hunt
Public
Elephant Hunt: identify and reduce attack-surface
Go
•
GNU General Public License v2.0
•1•0•0•0•Updated Apr 30, 2025Apr 30, 2025
lego-hardening
Public
Hardening your OS/Profile is like building with LEGO, incorporating a couple of Grsecurity features and implementing aggressive security settings
linux security nixos hardening apparmor nixos-config
Nix
•
MIT License
•1•19•1•0•Updated Mar 12, 2025Mar 12, 2025
artanis-custody
Public
A secure design of crypto custody
Scheme
•
GNU General Public License v3.0
•0•2•0•0•Updated Mar 7, 2025Mar 7, 2025
tzram-audit
Public
ARM TrustZone Audit: Securing vs. Non-Securing Memory Separation
C
•
GNU General Public License v2.0
•2•21•0•0•Updated Mar 1, 2025Mar 1, 2025
grsecurity-101-tutorials
Public
pax grsecurity kernel-mitigation
C
•76•364•0•0•Updated Feb 14, 2025Feb 14, 2025
userland-exec
Public
Userland exec PoC to be used as attack vector technique
C
•
GNU General Public License v3.0
•9•85•0•0•Updated Feb 1, 2025Feb 1, 2025
chiba
Public
The framework for next generation data center.
Scheme
•
GNU General Public License v3.0
•2•19•0•0•Updated Jan 29, 2025Jan 29, 2025
podman-pandoc
Public
A demonstration of container hardening process
Dockerfile
•1•0•0•0•Updated Oct 16, 2024Oct 16, 2024
lss-slide
Public
Linux Security Summit slide
3•4•0•0•Updated Oct 9, 2024Oct 9, 2024
nixpkgs-hardenedlinux
Public
Nix
•
MIT License
•6•16•0•0•Updated Oct 6, 2024Oct 6, 2024
meta-openembedded
Public
BitBake
•
MIT License
•759•0•0•0•Updated Sep 29, 2024Sep 29, 2024
kernel-hardening-checker
Public
A tool for checking the security hardening options of the Linux kernel
Python
•
GNU General Public License v3.0
•170•1•0•0•Updated Sep 26, 2024Sep 26, 2024
Wiki
Public
Perl
•14•0•0•1•Updated Sep 26, 2024Sep 26, 2024
optee_docs
Public
This git contains the official documentation for the OP-TEE project
Python
•
BSD 2-Clause "Simplified" License
•104•0•0•0•Updated Sep 24, 2024Sep 24, 2024
openssl
Public
TLS/SSL and crypto library
C
•
Apache License 2.0
•11k•0•0•1•Updated Sep 20, 2024Sep 20, 2024
ved
Public
Vault Exploit Defense
C
•
Other
•20•0•0•0•Updated Sep 7, 2024Sep 7, 2024
AISecurity-Research-Template
Public template
WIP
python security data-science julia jupyter-notebook security-research quarto dream2nix chatgpt
Jupyter Notebook
•2•4•0•1•Updated Jul 8, 2024Jul 8, 2024
harbian-audit
Public
Hardened Debian GNU/Linux distro auditing
Shell
•
GNU General Public License v3.0
•64•453•0•0•Updated Jul 7, 2024Jul 7, 2024
ai-infra
Public
AI Infra best practices
Creative Commons Zero v1.0 Universal
•1•5•0•0•Updated Jun 30, 2024Jun 30, 2024
hard-voice
Public
Python
•
GNU General Public License v3.0
•1•0•0•0•Updated Jun 30, 2024Jun 30, 2024