daformat / cryptrisLinks
Cryptris, a game about asymmetric cryptography
☆18Updated 10 years ago
Alternatives and similar repositories for cryptris
Users that are interested in cryptris are comparing it to the libraries listed below
Sorting:
- My blog — https://twilco.github.io☆11Updated 7 months ago
- Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic☆88Updated 3 years ago
- A party game for nerdy cryptographers. Shamelessly based on Cards Against Humanity.☆322Updated 5 years ago
- An exokernel for the raspberry pi 3.☆81Updated 3 years ago
- Fork of http://www.digital-scurf.org/software/libgfshare☆12Updated 10 years ago
- ☆30Updated 4 years ago
- A JIT compiler for Brainfuck running on x86_64 UEFI☆87Updated 7 years ago
- Jon Bentley's DFORMAT troff preprocessor, reconstituted.☆52Updated 4 years ago
- Textbook on Gödel's incompleteness theorems and computability theory☆20Updated 3 weeks ago
- BSD 2.11, as patched☆20Updated 3 years ago
- Implementation of indistinguishability obfuscation constructions from scientific literature☆49Updated 10 years ago
- IOCCC International Obfuscated C code contest entries☆141Updated 5 years ago
- ☆81Updated 5 years ago
- minimalistic commandline hexadecimal editor similar to radare☆84Updated 4 years ago
- FreeBSD adapted for CHERI-RISC-V and Arm Morello.☆181Updated this week
- SAT instance generator for SHA-1☆49Updated 4 years ago
- EasyCrypt: Computer-Aided Cryptographic Proofs☆357Updated last week
- Testing Schnorr's factorization claim in Sage☆304Updated 2 years ago
- Teaching materials related to the Tamarin Prover☆70Updated 11 months ago
- For exploring http://www.ioccc.org/2012/tromp/hint.html☆35Updated 7 years ago
- Tool for automated testing and analysis of Intel x86-64 undocumented instructions in user mode and in the kernel☆45Updated 6 years ago
- ☆115Updated 4 years ago
- The working source code to PDP-11 Unix from 1972.☆111Updated 10 years ago
- Mirror of http://www.rano.org/bcompiler.tar.gz, with a bootstrap script☆87Updated 4 years ago
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆40Updated last week
- A bitsliced implementation of ECB and CTR AES☆52Updated 11 months ago
- Docs and resources on CPU Speculative Execution bugs☆376Updated 7 years ago
- The Scyther Tool for the symbolic analysis of security protocols☆104Updated 7 months ago
- Crypto library☆60Updated last week
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆37Updated 3 years ago