From: Hannes Mehnert <hannes@mehnert.org>
To: Caml-list <caml-list@inria.fr>
Subject: [Caml-list] [ANN] otr 0.1.0
Date: Sat, 24 Jan 2015 21:34:50 +0000 [thread overview]
Message-ID: <54C40FFA.10007@mehnert.org> (raw)
-----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-----
reply other threads:[~2015-01-24 21:35 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=54C40FFA.10007@mehnert.org \
--to=hannes@mehnert.org \
--cc=caml-list@inria.fr \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox