Re: [Caml-list] French study on security and functional languages

[Francois Berenger <berenger@riken.jp>]

On 05/24/2013 04:02 PM, David MENTRE wrote:
> Hello,
>
> 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

The document "État des lieux des langages fonctionnels"
is interesting even out of the context of computer security.

http://www.ssi.gouv.fr/IMG/pdf/LaFoSec_-_Etat_des_lieux_des_langages_fonctionnels.pdf

PS: and, most importantly, page 55 gives good marks to OCaml
     compared to other languages (so that we can start to troll now) :-)

> """
> Cette étude, menée par un consortium composé de Saferiver, Normation,
> AMOSSYS et du CEDRIC dans le cadre formel d’un marché du SGDSN, avait
> pour objectif principal d’étudier l’adéquation des langages
> fonctionnels pour le développement d’applications de sécurité, de
> proposer le cas échéant des recommandations, et de mettre en pratique
> certaines de ces recommandations.
> """
>
> Best regards,
> david
>