Steffen Jaeckel's starred repositories
how-to-secure-anything
How to systematically secure anything: a repository about security engineering
phc-winner-argon2
The password hash Argon2, winner of PHC
subsurface
This is the official upstream of the Subsurface divelog program
awesome-crypto-papers
A curated list of cryptography papers, articles, tutorials and howtos.
hardened_malloc
Hardened allocator designed for modern systems. It has integration into Android's Bionic libc and can be used externally with musl and glibc as a dynamic library for use on other Linux-based platforms. It will gain more portability / integration over time.
fiat-crypto
Cryptographic Primitive Code Generation by Fiat
cryptofuzz
Fuzzing cryptographic libraries. Magic bug printer go brrrr.
vscode-terosHDL
VHDL and Verilog/SV IDE: state machine viewer, linter, documentation, snippets... and more!
flipper-pixmob-ir-codes
Control your PixMob wristbands at home with a Flipper Zero
FPGA_NTP_SERVER
A FPGA implementation of the NTP and NTS protocols
libomemo-c
Fork of libsignal-protocol-c adding support for OMEMO XEP-0384 0.5.0+