From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=BAYES_00,FREEMAIL_FROM, PDS_OTHER_BAD_TLD autolearn=no autolearn_force=no version=3.4.4 X-Received: by 10.157.30.169 with SMTP id n38mr51141799otn.34.1470128478807; Tue, 02 Aug 2016 02:01:18 -0700 (PDT) X-Received: by 10.157.9.72 with SMTP id 66mr355300otp.13.1470128478758; Tue, 02 Aug 2016 02:01:18 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.glorb.com!f6no6668789ith.0!news-out.google.com!d68ni14520ith.0!nntp.google.com!f6no6668788ith.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 2 Aug 2016 02:01:18 -0700 (PDT) In-Reply-To: <3ac0fbcd-1f1c-40b8-b030-de03954f894f@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=131.176.243.10; posting-account=vAdwtwoAAADu7BhtlMbtGYCmhpGTXjuP NNTP-Posting-Host: 131.176.243.10 References: <3ac0fbcd-1f1c-40b8-b030-de03954f894f@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: Subject: Re: ANN: Ada/SPARK ASN.1 implementation version 0.0.01 From: ttsiodras@gmail.com Injection-Date: Tue, 02 Aug 2016 09:01:18 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Xref: news.eternal-september.org comp.lang.ada:31252 Date: 2016-08-02T02:01:18-07:00 List-Id: On Monday, August 1, 2016 at 10:15:23 AM UTC+2, Shark8 wrote: > I'm making public my ASN.1 project which aims to be a verified implementa= tion of ASN.1, which is used in security-certificates, which is hopefully t= he first step in a verified-TLS/-TLS -- the project also aims to be [direct= ly] usable in DSA projects. >=20 > As of 0.0.01 the only portion implemented is a pure big-number package, a= nd another currently shared-passive unit for usability.=20 >=20 > I would certainly appropriate comments, criticism, and most especially co= ntributions. I am not sure if it can be used with the TLS ASN.1 grammar - but I think it= 's worth checking out our own open-source ASN.1 compiler, targetting both C= and Spark/Ada (developed under the auspices of the European Space Agency, = so targeting the same kind of safety-critical targets you probably have in = mind). The compiler is here:=20 https://github.com/ttsiodras/asn1scc And a crash-course in using it is here:=20 https://www.thanassis.space/asn1.html Note also that a new project has just started that will add support for Spa= rk 2014. Kind regards, Thanassis Tsiodras, Dr.-Ing. Real-time Embedded Software Engineer=20 System, Software and Technology Department European Space Agency ESTEC - Keplerlaan 1, PO Box 299 NL-2200 AG Noordwijk, The Netherlands