Secure Software Architectures Based on Genode OS Framework and SPARK/Ada

blog.adacore.com