2016-08-01 Filed in: Tech Library
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.https://github.com/OneWingedShark/ASN.1/
From Shark8 Read More…
2016-02-22 Filed in: Framework
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