[Caml-list] [ANN] otr 0.1.0

[Caml-list] [ANN] otr 0.1.0

[Hannes Mehnert]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA384

Hello,

Off-the-record is a cryptographic protocol which is mainly used for
instant messaging. It provides encryption and authentication (plus
forward secrecy), uses AES128-CTR mode for encryption, SHA256 (and
SHA1 for MACs) and DSA for public/private keys, lots of DH computation
in oakley 5 (1536 bit).

In addition to the authenticated encrypted channel OTR features the
socialists millionaires problem (SMP) - to authenticate the other
party using a shared secret over an already established channel
(without exposing that shared secret, using some zero knowledge proofs).

I implemented this protocol, both version 2 and 3, in OCaml and am
happy to have an initial release (0.1.0, 2 clause BSD licensed),
already in the opam repository.

I'd be glad to receive feedback regarding coding style (similar to TLS
- - immutable data, monadic error passing, API does not expose any
exceptions) etc.

Code: https://github.com/hannesm/ocaml-otr
OTR: https://en.wikipedia.org/wiki/Off-the-Record_Messaging
Protocol spec: https://otr.cypherpunks.ca/Protocol-v3-4.0.0.html
SMP: https://en.wikipedia.org/wiki/Socialist_millionaire


best,

hannes
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iQIcBAEBCQAGBQJUxA/6AAoJELyJZYjffCjuRGoP/R+KRJ0FO020wQQP9p53R0Ib
cubTVoLmghCFfjTayL2HvdZJ/jrktyOoXeVyWCkDWEc4rA3c+gDk10a10q0cQebm
sO0sjZWCYyUE2VfOT2QfXM1QCYlVEDAjzDYvV0nLc+CuBJu5P0QYofRTc6Yso9uf
Gzq1+ZXDzH7CFSTEjqMbB4GBHZF/ZVk5JF5nAI2HDrfgoZlH9100KgC2q5rB2f4H
+PgQ5i2OGQFI0scsryMANLpe2FLdC5QjH+z5SRwVxJINGVnLpTSbRQn14utTGRo+
BO4U7CtMP6EQZTKlarEV3WMFcQNcgVkqzSi66Q5K91lV7Jhr/xug+yzff1Cshb9j
AWjBYWud247s+SOagZLaj9nY0UqGp2C2Xs/kUfXbz6qf/YQZqzGG0w4umuK/OMxR
wTD9D4mn3hgRyPYLG2foBv5AXtt056oV8ODoEnWRF0vswoBQU0CWq3zcK/SzeS+a
Yx3t+JhY5p1GllCfHtZbxWxgCqAxYopuo8gG1RWpqZfHtDrmed3Z3Vj+nWRcXNMo
wvj2JUtqnSj5W7UIGnVaEgOY9DU3+fGZ0MVRvcutLASbJH7Ae9wqKGFpJqcn9ai4
ogzhUr2SRR1b0l2kDXrn0xfHAf47gzjsQHegm5vdDp1PC3Alrjzn5oQPUlli+z+D
RC7cJdVuLLDHZk1U/UuJ
=np2c
-----END PGP SIGNATURE-----