[langsec-discuss] OS with end-to-end proof of implementation correctness and security enforcement

Sven Kieske svenkieske at gmail.com
Tue Jul 29 17:50:50 UTC 2014


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi,

maybe you already read it in the news

but there's a somewhat new proven
operating system, based on the well
known L4 microkernel.

it's released as open source:

http://sel4.systems/

kind regards

Sven

PS: I didn't had time yet
to dig into the proofs etc.
So anyone who has some background
information, please share it.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2.0.22 (MingW32)

iQGcBAEBAgAGBQJT1976AAoJEAq0kGAWDrqlVV8L+gKh/74yqjdqgzwHjOAR/0rJ
2Zy97dVeBkCmz2wDsFC6Al9pW1kDl/3jjrX43Ei5EsfOcBD9rr1mKWMll6z4+CFa
YXLtL7ONeHdPFhZSq7jj62lxd3edcqKazQO2pCk15bOkZnET0pHnC88tVxFZ8Vi1
uPsqBR6RdogVvyWulHe09Q2KR1UG30m21FlQIjWBYlMLK1yb3R541kjf5Iyu8rX4
BhRApwN8IWSEJLsOmfXlDNn16QeNzuemEbYw+OwG7SiZ2tFGOHHVEgVDHrUqU0zF
8VIq+ehB3kvl9ykyMD8/E4kCxY6H1jOPVb1tdBG12iIjGuCx0zsYqOv1ZkreJrym
yqYuDcQfiQbzCxuzXC6Gjp7wqEkli0mhnudcRbaOGEOmkNFX3ouA3bNkihC2d99e
cnrUTOvRZMoccTkzF4kUI0ZHH1qAAbyBYKAd46b0WAkkLq13bxpbnBgXBDiuH4Mm
xvvLhsa1ooGwNuFLtMVBFv3ox34WSOxnCmZU4S/HZQ==
=9Dd2
-----END PGP SIGNATURE-----


More information about the langsec-discuss mailing list