Secure Software Architectures Based on Genode OS Framework and SPARK/Ada (blog.adacore.com) 7 points by gusthoff 8y ago ↗ HN
1 comment
[ 3.0 ms ] story [ 15.2 ms ] thread