Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

The Caml Hump: Science :: Cryptography

Scientific software
Securify [25-Sep-2003, Stable]
A tool to verify secrecy for cryptographic protocols.
Scientific software
SKS [12-Mar-2003, version 1.0.7, Beta] Has a documentation
SKS is a new OpenPGP keyserver whose goal is to provide easy to deploy, decentralized, and highly reliable synchronization. That means that a key submitted to one SKS server will quickly be distributed to all key servers, and even wildly out-of-date servers, or servers that experience spotty connectivity, can fully synchronize with rest of the system.
Author: Yaron M. Minsky.