Security software verifiability
lwn.net