mimoo/randoml

Stars
4
Rank 3,304,323 (Top 66 %)
Language
OCaml
License
Apache License 2.0
Created over 3 years ago
Updated almost 2 years ago

mimoo/randoml

mimoo

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Generate cryptographically-secure random numbers in OCaml

RSA-and-LLL-attacks

attacking RSA via lattice reductions (LLL)

Diffie-Hellman_Backdoor

How to backdoor Diffie-Hellman

disco

a protocol to encrypt communications and a cryptographic library based on Disco

eureka

Need to encrypt a file before sending it to someone? This is it.

GoKangarooTwelve

Implementation of KangarooTwelve in Go

disco-c

A tiny C cryptographic library to encrypt sessions, authenticate messages, sign, hash, etc. based only on SHA-3 and Curve25519

cargo-dephell

Cargo dephell analyzes the third-party dependencies of a Rust workspace

crypto_blogs

Blogs about Cryptography/Security to follow

noname

Noname: a programming language to write zkapps

NoiseGo

An implementation of Noise in Go

SSL-TLS-ECDSA-timing-attack

Timing Attack on TLS' ECDSA signature

RSA_PKCS1v1_5_attacks

Implementation of Bleichenbacher, Manger and Ben-Or attacks on RSA PKCS#1 v1.5

cargo-specification

The code is the spec

nodster

Node-webkit + Napster (stream music from Google)

whiteboxDES

a whiteboxed DES implementation based on Chow et al paper

StrobeGo

Readable Implementation of Strobe in Go

test_DHparams

test your Diffie-Hellman parameters for safe primes and right sizes

DES

implementation of the DES cipher in C

FirefoxTimeTracker

a time tracker to avoid slacking (firefox plugin)

nixbyexample

Learn nix by example

cryptobible

Auditing Applied Cryptography

fromager

Format your damn OCaml code!

hexstring

An ocaml library to encode to and decode from hexadecimal strings

better-ocaml

A program that parses OCaml errors to display them in a more readable format

wiitop

tournament script for many games (counter strike, warcraft, dota...)

GoNTL

blockbreakers

Learn how to break block ciphers

sumcheck

Implementation of the sum check protocol

Bool

Bool as options in Golang

disco-formal-verification

Formal Verification of the Disco protocol using Tamarin

disco-whitepaper

narwhaml

siphash

siphash implementation in rust

democracy_threat_model

A threat model for democracies in general

microcorruption

trying_to_understand_ocaml_rs

modena

A machine parsable conlang (constructed language)

citytrade

trying to write a trading interface for www.citymayor.co

boite

sudoku

xkcp-sys

keccak bindings from rust to C

UnencryptedWarnings

displays an alert when visiting non-https webpages

mirror-vscode-nix-dev

mirror of https://github.com/jamesottaway/vscode-nix-develop

unicornator

tool to find cryptography bugs in code

rust-mirai

Github Action to run the MIRAI static analyzer on a rust codebase

dalek-ocaml

bindings to the dalek suite of libraries

gosphincs

SPHINCS+ in Golanmg

ocamlbyexample

Learn Ocaml by reading code examples