[trustable-software] Learning how to trust the Linux kernel

Paul Albertella paul.albertella at codethink.co.uk
Tue Jun 16 15:21:11 BST 2020


Hi,

When thinking about trust and software, it can be tempting to focus on 
obstacles, definitions and philosophical conundrums, when it may be more 
useful to consider *how* we go about building a case for trust.

This article illustrates one possible strategy: building confidence in a 
piece of open source software (the Linux kernel) by examining a specific 
risk (the unintentional corruption of user-space), exploring the 
measures that already exist to mitigate it and considering how they can 
be extended or improved.

https://www.codethink.co.uk/articles/2020/investigating-kernel-user-space-access/


"A journey of a thousand miles begins with a single step..."

Regards,

Paul





More information about the trustable-software mailing list