Repository Index

Binary Analysis Platform

• binary-analysis
• reverse-engineering
• program-analysis
• static-analysis

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

• ida-plugin
• taint-analysis
• reverse-engineering
• disassembly

TLS in pure OCaml

• tls
• ocaml
• mirageos
• security

OCaml cryptographic library

A library of cryptographic primitives (ciphers, hashes, etc) for OCaml

Simple hash algorithms in OCaml

• hash
• ocaml
• sha1
• sha256

OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.

• ocaml
• oidc
• oidc-client

A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:

• ocaml
• commitment-schemes
• secure-multi-party-computation
• cryptography