From: Shark8 <onewingedshark@gmail.com>
Subject: ANN: Ada/SPARK ASN.1 implementation version 0.0.01
Date: Mon, 1 Aug 2016 01:15:21 -0700 (PDT)
Date: 2016-08-01T01:15:21-07:00 [thread overview]
Message-ID: <3ac0fbcd-1f1c-40b8-b030-de03954f894f@googlegroups.com> (raw)
I'm making public my ASN.1 project which aims to be a verified implementation 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 [directly] usable in DSA projects.
As of 0.0.01 the only portion implemented is a pure big-number package, and another currently shared-passive unit for usability.
I would certainly appropriate comments, criticism, and most especially contributions.
next reply other threads:[~2016-08-01 8:15 UTC|newest]
Thread overview: 15+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-08-01 8:15 Shark8 [this message]
2016-08-01 8:16 ` ANN: Ada/SPARK ASN.1 implementation version 0.0.01 Shark8
2016-08-01 8:51 ` Dmitry A. Kazakov
2016-08-01 16:18 ` Shark8
2016-08-01 18:37 ` Dmitry A. Kazakov
2016-08-01 19:47 ` Jeffrey R. Carter
2016-08-01 21:55 ` Shark8
2016-08-01 22:14 ` Randy Brukardt
2016-08-01 23:46 ` Shark8
2016-08-01 23:42 ` Jeffrey R. Carter
2016-08-01 23:53 ` Shark8
2016-08-02 0:29 ` Jeffrey R. Carter
2016-08-02 9:01 ` ttsiodras
2016-08-02 18:47 ` p.p11
2016-08-03 7:13 ` ttsiodras
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox