dylanmc / CryptoBook
Learning Cryptography, math and programming with Cryptol (and maybe some Python)
☆93Updated 6 years ago
Related projects: ⓘ
- Links to stuff arising from or related to the HACS workshop.☆35Updated 6 years ago
- ☆93Updated this week
- ☆130Updated this week
- Authenticated encryption scheme prover/synthesizer☆14Updated 2 years ago
- Small minimal examples of modern cryptographic techniques in Haskell☆79Updated 4 years ago
- IPython-style interaction for Cryptol☆15Updated 7 years ago
- IP-format-preserving encryption, with a dedicated 4-byte cipher☆101Updated 3 years ago
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆35Updated 2 years ago
- Standalone Ethereum Virtual Machine☆51Updated 2 years ago
- ☆27Updated this week
- Easily create authenticated data structures☆43Updated last year
- Double ratchet algorithm for E2E encryption☆59Updated 5 years ago
- Introduction to using the Hammer parser construction toolkit by Meredith L. Patterson☆79Updated 7 years ago
- Cryptographic library for Haskell☆67Updated last month
- A Haskell implementation of the Tor protocol.☆270Updated 6 years ago
- An experimental grammar fuzzer in Haskell using QuickCheck☆194Updated 4 years ago
- CLI string generator based on regex-like operations☆37Updated 4 years ago
- The haskell network stack☆115Updated 6 years ago
- Jump to Full Encryption☆62Updated 7 years ago
- An example Mirage unikernel that runs as a Qubes AppVM☆23Updated 3 years ago
- Amœba is a distributed network.☆18Updated 10 years ago
- Certificate Store Monitor based off of a concept by Steve Gibson of GRC.☆28Updated 8 years ago
- Hackage security framework based on TUF (The Update Framework)☆56Updated 2 weeks ago
- free crypto audit☆31Updated 7 years ago
- Does your library check TLS certificates properly?☆76Updated last year
- ☆17Updated this week
- ☆128Updated this week
- ☆54Updated this week
- A Haskell library implementing the Noise protocol.☆95Updated 3 years ago
- Cryptographic Protocol Shapes Analyzer☆36Updated last year