web analytics
SPARK | Ada Forge - News

Ada/SPARK ASN.1 implementation version 0.0.01

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.


From Shark8
Read More…

Muen microkernel 0.7 relesaed

The Muen Separation Kernel is the world’s first Open Source microkernel that has been formally proven to contain no runtime errors at the source code level. It is developed in Switzerland by the Institute for Internet Technologies and Applications (ITA) at the University of Applied Sciences Rapperswil (HSR).

The following major features and improvements have been implemented :
  • Support for Genode VM subjects
  • Subject time mechanism
  • Hardware and platform policy abstractions
  • Linux virtual filesystem and network interface drivers
Read More…