You forgot Quark, bro. [1]http://goto.ucsd.edu/quark/
   :( When will verified / managed code OSes be usable?

   On Tue, Jun 3, 2014 at 6:19 PM, <[2]tpb-crypto@laposte.net> wrote:

     > Message du 03/06/14 23:57
     > De : "rysiek"

   >
   > Hi there,
   >
   > not sure what to think about this one:
   >
   [3]http://googleonlinesecurity.blogspot.com/2014/06/making-end-to-end-e
   ncryption-easier-to.html
   >
   > Technical specs:
   > [4]https://code.google.com/p/end-to-end/
   >

     If you want to land on a watch-list and maybe no-fly list, you just
     install it in your Chrome. Because as far as we can tell Google is
     in bed with the NSA and so the proprietary browser may just flag you
     to the system and done you are, or may forward all your messages in
     the clear. Who knows? Which is worst?
     That's why there is not foocking way to trust proprietary software.
     Companies are forced to act like criminals on behalf of the
     government. There is no loyalty, respect, ethics, honesty or even
     business which the US government won't try to trample upon.
     If one wants to go crypto, he goes all the way with OpenBSD, Tails,
     Kali, Gentoo, Firefox, Midori or even old and good Lynx, but not
     Chrome.
     lol

   --
   [5]Twitter | [6]LinkedIn | [7]GitHub | [8]TravisBiehn.com | [9]Google
   Plus

References

   1. http://goto.ucsd.edu/quark/
   2. mailto:tpb-crypto@laposte.net
   3. http://googleonlinesecurity.blogspot.com/2014/06/making-end-to-end-encryption-easier-to.html
   4. https://code.google.com/p/end-to-end/
   5. https://twitter.com/tbiehn
   6. http://www.linkedin.com/in/travisbiehn
   7. http://github.com/tbiehn
   8. http://www.travisbiehn.com/
   9. https://plus.google.com/+TravisBiehn