From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id AFFDD7EE51 for ; Fri, 24 May 2013 14:46:32 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=pra; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of anil@recoil.org) identity=mailfrom; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="anil@recoil.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@dark.recoil.org) identity=helo; client-ip=89.16.177.154; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="anil@recoil.org"; x-sender="postmaster@dark.recoil.org"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Au4AAONfn1FZELGal2dsb2JhbABZgzjCIoEYDgEBAQEBCBYHPIIjAQEEAWgRBQsLRlcGE4gHCgi6UY5qMweCc2EDlzuBKZMnOw X-IPAS-Result: Au4AAONfn1FZELGal2dsb2JhbABZgzjCIoEYDgEBAQEBCBYHPIIjAQEEAWgRBQsLRlcGE4gHCgi6UY5qMweCc2EDlzuBKZMnOw X-IronPort-AV: E=Sophos;i="4.87,735,1363129200"; d="scan'208";a="15579221" Received: from recoil.dh.bytemark.co.uk (HELO dark.recoil.org) ([89.16.177.154]) by mail3-smtp-sop.national.inria.fr with SMTP; 24 May 2013 14:46:32 +0200 Received: (qmail 9531 invoked by uid 634); 24 May 2013 12:46:31 -0000 X-Spam-Level: * X-Spam-Check-By: dark.recoil.org Received: from volstagg-0.srg.cl.cam.ac.uk (HELO [10.0.1.75]) (128.232.32.232) (smtp-auth username remote@recoil.org, mechanism cram-md5) by dark.recoil.org (qpsmtpd/0.84) with ESMTPA; Fri, 24 May 2013 13:46:30 +0100 Content-Type: text/plain; charset=windows-1252 Mime-Version: 1.0 (Mac OS X Mail 6.3 \(1503\)) From: Anil Madhavapeddy In-Reply-To: <519F5FE5.5010504@ssi.gouv.fr> Date: Fri, 24 May 2013 13:46:30 +0100 Cc: "caml-list@inria.fr List" , "cl-mirage@lists.cam.ac.uk List" Content-Transfer-Encoding: quoted-printable Message-Id: <912F36ED-B157-4DD6-BC68-FFCF99D05E7B@recoil.org> References: <519F5FE5.5010504@ssi.gouv.fr> To: Olivier Levillain X-Mailer: Apple Mail (2.1503) X-Virus-Checked: Checked by ClamAV on dark.recoil.org Subject: Re: [Caml-list] French study on security and functional languages On 24 May 2013, at 13:41, Olivier Levillain = wrote: > Hi everyone, >=20 >> For those reading French, ANSSI (French agency for information >> security) published a study on security and functional languages, with >> a set of recommendations. OCaml is apparently well studied: >> http://www.ssi.gouv.fr/fr/anssi/publications/publications-scientifiques= /autres-publications/lafosec-securite-et-langages-fonctionnels.html >=20 > For information, some of the results have been presented last February > during the JFLA (Journ=E9es francophones des langages applicatifs). The > slides presented are available on the conference web site > (http://jfla.inria.fr/2013/programme.html). >=20 =09 I was very glad to see the release of the Parsifal code onto Github too: https://github.com/ANSSI-FR/parsifal It looks like you have done a lot of the work required towards building a pure OCaml SSL and Kerberos stack, as well as DNS and SSH parsers in there too. We were just discussing the lack of a pure OCaml SSL library for MirageOS (which already has a full reimplementation of device drivers and TCP/IP and HTTP, and is just missing the final SSL piece). best, Anil=