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.176.69.172 with SMTP id u41mr54215201uau.10.1470163678233;
        Tue, 02 Aug 2016 11:47:58 -0700 (PDT)
X-Received: by 10.157.39.133 with SMTP id c5mr3733336otb.19.1470163678176;
 Tue, 02 Aug 2016 11:47:58 -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!usenet.blueworldhosting.com!feeder01.blueworldhosting.com!peer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!j37no6317466qta.0!news-out.google.com!d68ni14921ith.0!nntp.google.com!f6no6828657ith.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Tue, 2 Aug 2016 11:47:57 -0700 (PDT)
In-Reply-To: <f6dadadb-bf4d-43a1-abc7-a3656e9e5619@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=81.50.51.186;
 posting-account=94GLqQoAAABRDKJ5vWVBzCDWAEq47F5V
NNTP-Posting-Host: 81.50.51.186
References: <3ac0fbcd-1f1c-40b8-b030-de03954f894f@googlegroups.com>
 <f6dadadb-bf4d-43a1-abc7-a3656e9e5619@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <5a686bf2-3af8-489b-b66b-dccbbaa4cdcb@googlegroups.com>
Subject: Re: ANN: Ada/SPARK ASN.1 implementation version 0.0.01
From: p.p11@orange.fr
Injection-Date: Tue, 02 Aug 2016 18:47:58 +0000
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: quoted-printable
X-Received-Bytes: 2814
X-Received-Body-CRC: 4054557072
Xref: news.eternal-september.org comp.lang.ada:31258
Date: 2016-08-02T11:47:57-07:00
List-Id: <comp.lang.ada>

Hello,

By when do you plan to upgrade to SPARK 2014?

Thanks, Pascal.

Le mardi 2 ao=C3=BBt 2016 11:01:19 UTC+2, ttsi...@gmail.com a =C3=A9crit=C2=
=A0:
> 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 implemen=
tation of ASN.1, which is used in security-certificates, which is hopefully=
 the first step in a verified-TLS/-TLS -- the project also aims to be [dire=
ctly] usable in DSA projects.
> >=20
> > As of 0.0.01 the only portion implemented is a pure big-number package,=
 and another currently shared-passive unit for usability.=20
> >=20
> > I would certainly appropriate comments, criticism, and most especially =
contributions.
>=20
> 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 i=
n mind).
>=20
> The compiler is here:=20
>=20
>     https://github.com/ttsiodras/asn1scc
>=20
> And a crash-course in using it is here:=20
>=20
>     https://www.thanassis.space/asn1.html
>=20
> Note also that a new project has just started that will add support for S=
park 2014.
>=20
> Kind regards,
> Thanassis Tsiodras, Dr.-Ing.
> Real-time Embedded Software Engineer=20
> System, Software and Technology Department
>=20
> European Space Agency
> ESTEC - Keplerlaan 1, PO Box 299
> NL-2200 AG Noordwijk, The Netherlands