rpow.net is indeed my project. Part of my interest in trusted computing technology is as a sort of prelude or prototype for some of the issues which will arise once we are able to prove various aspects of our source code to one another.
Don’t want to take things too off-topic so if this gets long we’ll take it elsewhere, but: is there any hope of doing similar things on Linux systems with TPM any time soon?
rpow.net is indeed my project. Part of my interest in trusted computing technology is as a sort of prelude or prototype for some of the issues which will arise once we are able to prove various aspects of our source code to one another.
Don’t want to take things too off-topic so if this gets long we’ll take it elsewhere, but: is there any hope of doing similar things on Linux systems with TPM any time soon?