MaidSAFE is cool. However, what if your phone or computer leaks everything you type? Or if somebody can read all your files (e.g. mapped memory) remotely?
There are a few projects other than Lifestuff/MaidSAFE that I’ve been losely following over the years, one of which is seL4, the first (and I think still only) formally verified general purpose kernel. It’s tiny, it uses capabilities for access control, it has verified worst case timing properties (it’s a hard real-time kernel) http://l4hq.org/projects/kernel/, some more goodies, but most of all: and it’s open source – the perfect thing to build a secure operating system around.
Which is exactly what a (joint) DARPA project is about, I think with actual financial support to primarily U.S. owned companies who are willing to work on it. (Please, don’t even start on how impossible it sounds that one branch of the government is trying to build a super secure open source operating system while another branch would hate if something like that existed; governments are inherently schizophrenic.)
(More info here)
By the way, OKL4, another (closed source) L4 descendant, is used in literally billions of devices around the world, including HTC, LG, Motorola, and Samsung phones, for things like isolating the modem driver from the general purpose OS. All new iOS devices use a version of L4 as well.