News for hackers. Stuff that matters.
Re:A Formal Security Analysis of the Signal Messaging Protocol by claudius on Tuesday November 08, 2016 @08:04AM (#12899850)
Rather pointless to have a "trusted" application on an operating system you cannot trust – and not even the possibility to run the application on an even remotely trusted and private system, in particular without giving unaccountable root access to Google.
Re:A Formal Security Analysis of the Signal Messaging Protocol by Jtsummers on Tuesday November 08, 2016 @08:23AM (#12899974)
Your same logic means we shouldn't even bother trying to make safer languages (like Rust is attempting) to run on existing OSes and hardware. What's the point? We can't trust the underlying OS.

The point is, it's a step towards a future where a much greater percentage of our systems is vetted, verified, and shown to be secure/stable (modulo external components beyond their control) and minimizing those external components.

Re:A Formal Security Analysis of the Signal Messaging Protocol by antocv on Tuesday November 08, 2016 @08:49AM (#12900167)
> and shown to be secure/stable

For various definitions of "secure/stable".

For me, anything which Google can reach and amass information from, and thus NSA, is not secure. Rust on Linux where I am playing with, is fine.

And its not only the "conspiracy style" "why would Google put backdoors in its 'Play Services'", no its more like

"oh Google receives and sends notifications for every Signal message sent and recieved, among other information, such as Device ID, phone number, android version" - in short who is using signal and when.

Signal is amassing huge amounts of information for benefit of Google. Look at their github page, where they even say they want more to amass more data and to "annoy the hell out of users" to make them update - shove updates down their throat a la Microsoft style.

Re:A Formal Security Analysis of the Signal Messaging Protocol by newjersey on Tuesday November 08, 2016 @10:39AM (#12901060)
> Look at their github page, where they even say they want more to amass more data and to "annoy the hell out of users" to make them update - shove updates down their throat a la Microsoft style.

I imagine this is by design. What do I do if there is a vulnerability that a patch fixed but the person I'm taking to refuses to update?

I am not saying I like the idea of bricking an app if there's no update for three months but if you agree that the fight is against dragnet not targeted surveillance then this is a reasonable compromise.

Re:A Formal Security Analysis of the Signal Messaging Protocol by antocv on Tuesday November 08, 2016 @10:57AM (#12901219)
Nope it isnt, its up to me as user to decide when to update, what Signal/other-app can do in such case is provide a simple in-app messaging system "Hey there was a vulernaribility, read more about it here in this message". Then user can decide.

And not "hey user, take this update which contains backdoors since the main developers got gagged/blackmailed, trust us this time for real".

Re:A Formal Security Analysis of the Signal Messaging Protocol by tptacek on Tuesday November 08, 2016 @12:01PM (#12901868)
Again, the idea that Signal's developers were "gagged" or "blackmailed" is a lie, and you should be embarrassed to repeat it.
Re:A Formal Security Analysis of the Signal Messaging Protocol by styyle14 on Tuesday November 08, 2016 @04:05PM (#12903936)
In a security sense, this is actually a very real concern with which even a warrant canary cannot help. Could you provide hard evidence that Signal's developers have NOT been "gagged" or "blackmailed"? I think such a proof would be infeasible at best.
[dead]
Re:A Formal Security Analysis of the Signal Messaging Protocol by tptacek on Tuesday November 08, 2016 @12:49PM (#12902342)
Re:A Formal Security Analysis of the Signal Messaging Protocol by tptacek on Tuesday November 08, 2016 @10:25AM (#12900943)
Again: criticism of Signal is in-bounds, but outright allegations that Signal is a shill for Google is not. Moxie is a member of the HN community, and you cannot make these kinds of allegations about him here in this fashion.
[dead]
Re:A Formal Security Analysis of the Signal Messaging Protocol by tptacek on Tuesday November 08, 2016 @05:26PM (#12904521)
Re:A Formal Security Analysis of the Signal Messaging Protocol by nzp on Tuesday November 08, 2016 @09:34PM (#12905677)
How does it make more difficult for USA to get your data if encryption is not as good? This is pure nonsense, sorry. If you think the NSA is dependent on Google to suck up your data, oh boy... Sir, would you be interested in purchasing a fine bridge?

I upvoted this comment of yours because it seemed kind of unfair to me for it to be downvoted, and I don't like people being told what they can or can't do, but the gist of what you're trying to argue is complete nonsense. GCM dependence is a complete non-issue in context, and to say that because Telegram doesn't have that dependency it is safer from US intelligence is so over the top ridiculous. Signal-the-app has it's problems, and a fair share of questionable decisions, but GCM and Play Store are not among those.

That Moxie acts with contempt toward people on GitHub issues is true. It is also true that most of those people (in exchanges I have read) are complete ignorants who wouldn't know security if it hit them on the head, yet insist and yell with noble indignation that they're correct. The kind of people who were thought that more FOSS = more security is an axiom and go from there. Since he gets tons of that, I kinda understand why he might act like that. I understand, but do not condone, it's extremely off putting. In the end, one of Signal-the-app's biggest problems is that it's mostly criticized by unreasonable people.

Re:A Formal Security Analysis of the Signal Messaging Protocol by antocv on Wednesday November 09, 2016 @03:25AM (#12907759)
Thank you.

There is 3 issues which Im trying to clear up here. With GCM and Signal:

1, Google and in turn USA based data-centers receive events/more-data to analyze. That this data is not the encrypted message, not the decrypted message doesnt matter. This data can be analyzed and used effectively. Its not impossible to think of "push-message for android phone available at X time - which looking through our other database shows it has Signal but doesnt have WhatsApp, hm, our other databse shows that android device has Signal app usage of X%". Oh boy.

2. Google has root on your phone, so even if the transport security is very good, it doesnt matter as the phone is effectively owned by Google and thus messages/keys can be stolen at will.

3. The choice should be with the users and not Moxie. Moxie has shown contempt and disregard for users wishes, see quote "annoy the fucking hell out of our users".

Re:A Formal Security Analysis of the Signal Messaging Protocol by nickpsecurity on Tuesday November 08, 2016 @11:35AM (#12901605)
That commenter's point is relevant here because major groups in threat model have 0-days in the platforms Signal runs on and many black hats hack Android too. So, anyone with that threat model can't trust Signal at all.

Outside that threat model, it's a useful privacy tool in that it at least reduces risk ftom some vectors. Still need OS-level security like putting and trusted path on OKL4 with secure firmware. Even then, subversion risk is so great that still can't use it for nation-states. Better to put usable front end on very cross-platform, easy-to-isolate tool like GPG. Or communicate in person or mailing encrypted files/messages.

Re:A Formal Security Analysis of the Signal Messaging Protocol by tptacek on Tuesday November 08, 2016 @08:08AM (#12899881)
This is more or less a way of saying it's "rather pointless to have secure messengers on iOS". I understand why open source advocates say that, because they've been saying it for 20 years now, but I'm not sure we need to litigate the point or pretend it's some great insight.
Re:A Formal Security Analysis of the Signal Messaging Protocol by claudius on Tuesday November 08, 2016 @08:14AM (#12899919)
Let me put it like this – if OpenWhisperSystems had an explicit toggle in their protocol which, after flipping it, would allow them to access all future communications and where the user was unable to tell whether it had or had not been flipped, nobody would call the protocol "secure" or write a "Trust It" headline about it.

However, if OWS only supports systems on which such a toggle exists via a third-party provider, that somehow makes them secure?

I find this hard to understand. Yes, of course an app which encrypts data against some adversaries is nice, but it should definitely be called "secure-against-some-people", not "secure", and people shouldn’t write "Trust It" but rather "Trust It if you also trust X and Y and Z".

Re:A Formal Security Analysis of the Signal Messaging Protocol by mtgx on Tuesday November 08, 2016 @08:36AM (#12900067)
The same can be said about a "trusted" OS like say Qubes OS, with untrusted hardware, like Intel's. Actually, that's what the developers of Qubes OS and other "free" operating systems have said as well.

http://blog.invisiblethings.org/2015/10/27/x86_harmful.html

https://www.fsf.org/blogs/licensing/intel-me-and-why-we-shou...

If anything, I'm more frustrated with the Signal team that the app doesn't have as good call quality/performance as WhatsApp, nor does it have video call support, and that the Chrome desktop "app" doesn't seem to import my phone contacts for some reason - all of which is making me continue to mostly use less secure and less trusted alternatives.

My point is we should aim for getting things "more secure" constantly, and I think we have in the past few years. So rather than just say "what's the point?", we should say "let's put more pressure on X company to open source/prove their system is secure" and hope that in time enough pressure is built that those companies actually agree to do those things.

And since I was talking about putting pressure on companies, let me start:

Where the hell is Google's End-to-End tool? It hasn't had any commits in over half an year, and we already know NSA's bestie, Yahoo, has given up on it. Should we start drawing some conclusions about the Google/NSA relationship, too? Did Google abandon the project?

https://github.com/google/end-to-end

There - who's next?

Re:A Formal Security Analysis of the Signal Messaging Protocol by lrk_sirius on Wednesday November 09, 2016 @12:02AM (#12906208)
> The same can be said about a "trusted" OS like say Qubes OS, with untrusted hardware, like Intel's. Actually, that's what the developers of Qubes OS and other "free" operating systems have said as well.

If you're really paranoid, go for open hardware supported by libreboot [0] or the Talos Workstation and run a hardened "free" OS.

However, I don't think Intel ME (or similar firmware in AMD and ARM) has ever been used to compromise user security and privacy. The threat probably exists and is real but has it ever been exploited? On the other hand, I suspect that there is no lack of zero-days and other vulnerabilities for iOS and Android.

[0] https://libreboot.org/

[1] https://www.crowdsupply.com/raptor-computing-systems/talos-s...

Re:A Formal Security Analysis of the Signal Messaging Protocol by haffenloher on Tuesday November 08, 2016 @09:30AM (#12900459)
> the Chrome desktop "app" doesn't seem to import my phone contacts for some reason

Have you tried re-importing them manually via the "Import now" button in the Desktop app's settings? Maybe that helps.

Re:A Formal Security Analysis of the Signal Messaging Protocol by tptacek on Tuesday November 08, 2016 @08:15AM (#12899929)
Again: this is a point that can be made to sound interesting with lots of extra words, but all you're saying is that people run applications on operating systems you don't like. They're not going to switch.
Re:A Formal Security Analysis of the Signal Messaging Protocol by wtbob on Tuesday November 08, 2016 @08:38AM (#12900080)
> all you're saying is that people run applications on operating systems you don't like

No, he's saying that people run applications on fundamentally insecure operating systems.

> They're not going to switch.

That doesn't make them right, nor him wrong.

Re:A Formal Security Analysis of the Signal Messaging Protocol by CaptSpify on Tuesday November 08, 2016 @10:28AM (#12900967)
> They're not going to switch.

Only because there's there's nothing to switch to. There's just no solid FOSS phone OS at the moment, and, IMO, fixing that is more important than securing messaging systems.

Re:A Formal Security Analysis of the Signal Messaging Protocol by tptacek on Tuesday November 08, 2016 @10:33AM (#12901003)
Dissidents in places like Iran have already been attacked through weaknesses in secure messaging systems. No, I think you're on the wrong side of this argument.
Re:A Formal Security Analysis of the Signal Messaging Protocol by e12e on Tuesday November 08, 2016 @04:57PM (#12904315)
And dissidents have been attacked through holes in iOS too.

I generally accept Moxie's / OWS's argument that upstream, patched Android with Google services and spyware/backdoor and all, is in general more secure than running a hodgepodge of FOSS software on a rooted phone - especially for less technical minded users (ie: almost everyone if your target market is everyone).

I don't think it follows that a transparent platform running fully open and user-controlled software, perhaps backed by some form of web-of-trust cacert-like CA system can't ever work - and might not be a good idea to have available as a fallback if it turns out that the anti-democratic paramilitary organization you have to fight is one backed by the NSA.

I'm a little surprised how polarized these discussions tend to get - as if two ideas have to be mutually exclusive.

I think I understand OWS reasoning with locking down their network and forcing phone number IDs - I don't really agree - but I understand the reasoning behind it.

It's really on all of us that care about open federated protocols to set up an alternative network, and OWS have even graciously provided source code and a protocol as a starting point - but it's a shame that rather than some email-like model where all systems could federate in a predictable way, we are forced to have three different networks (a hypothetical open-signal, signal and whatsapp).

I guess there's a lot of people that are still sore about Facebook and Google discarding XMPP, and breaking the unification trend that we saw a glimmer of a few years back. Even without federation, I could have one sane XMPP client, with OTR support, and chat both to my non-technical friends on gtalk and facebook - and have encrypted chats over those same servers, or through the federated XMPP network.

Now I have some people in Facebook's silo, some in Google's Hangouts silo, still quite a few on SMS/regular phone service, and a handful on Signal. That's not really the fault of OWS - I actually have a few non-technical contacts I can reach via Signal thanks to their focus on a simple SMS-replacing app. I just still wish I could cut back on the number of clients and have some sane federation.

Re:A Formal Security Analysis of the Signal Messaging Protocol by CaptSpify on Tuesday November 08, 2016 @10:57AM (#12901221)
Don't get me wrong: We absolutely need both

But fixing the client when the host is still insecure/unknown is just going to move the target. If messages are secure, governments are just going to move to the OS-layer.

Re:A Formal Security Analysis of the Signal Messaging Protocol by cortesoft on Tuesday November 08, 2016 @07:49PM (#12905286)
So you have two attack vectors, the OS host and the client application; why is it bad to secure the client? It doesn't ADD any attack vectors. What is the point in saying "Let's not secure the client software until the OS is secured"? It isn't like these are the same people working on the problem; Moxie isn't going to suddenly start working on securing iOS if he isn't working on OWS.
Re:A Formal Security Analysis of the Signal Messaging Protocol by CaptSpify on Tuesday November 08, 2016 @09:26PM (#12905645)
I don't disagree with you. This is a multi-pronged problem and we need multi-pronged solutions. I just think the OS is a higher priority than a texting-client
Re:A Formal Security Analysis of the Signal Messaging Protocol by claudius on Tuesday November 08, 2016 @08:23AM (#12899975)
And the counterpoint is? ‘People should give Google/Apple root access on their devices to run this new secure messenger’?
Re:A Formal Security Analysis of the Signal Messaging Protocol by eganist on Tuesday November 08, 2016 @08:38AM (#12900079)
> And the counterpoint is? ‘People should give Google/Apple root access on their devices to run this new secure messenger’?

I feel like you might've misstated your intended point, but in any case:

- Most threat models exclude the situation which you're discussing here because risks are generally low and, in the event of such a threat becoming material, the entity is probably screwed regardless of whether that threat is considered due to the costs of mitigation. (Seriously -- how would a company or person mitigate this short of independently auditing the code for the OS? Or building their own? And what happens after you look at the code? Do you then look at the hardware too? How low would you go? How low would your attackers go, for that matter?)

- If you're the target of attackers who would actually try to gain access to your device through compromising the device maker, you've got bigger problems.

The philosophical argument doesn't really work here because there's no practical solution that anyone can (or would, really) adequately fund.

P.s. just to clarify, I'm not tptacek.

Re:A Formal Security Analysis of the Signal Messaging Protocol by sseppola on Tuesday November 08, 2016 @08:40AM (#12900096)
Sorry, I don't understand. What do you mean by "give Apple/Google root access"? I've always assumed they already have that.. if no, how does OWS give them root access?
Re:A Formal Security Analysis of the Signal Messaging Protocol by e12e on Tuesday November 08, 2016 @05:02PM (#12904347)
You can compile Signal yourself, and install it on a rooted phone, running presumably a Linux kernel and some Android/ASOP sub-system. In that case, excepting base-band backdoors and a few other details, Google won't have access to your phone at all (assuming no Google services etc here).

OWS doesn't then allow you to use their servers for routing/discovery etc - so you need to run your own servers, and set up a different network that cannot federate with the one users of the Google Play Appstore version of Signal use.

If you do that, and install eg. the F-Droid store, you've now given another actor (the F-Droid store) access to your phone. OWS argues that in general you're less likely to manage to run a safe, patched system this way.

Re:A Formal Security Analysis of the Signal Messaging Protocol by haffenloher on Tuesday November 08, 2016 @06:10PM (#12904791)
> You can compile Signal yourself, and install it on a rooted phone [...] OWS doesn't then allow you to use their servers for routing/discovery etc

? That's a misunderstanding. You can of course use the official servers with your self-compiled version. (side note: I also don't think your phone needs to be rooted for this)

Re:A Formal Security Analysis of the Signal Messaging Protocol by e12e on Tuesday November 08, 2016 @08:05PM (#12905341)
Ok, that makes sense. It's only compiled binaries distributed through third party app stores that cannot (should not) use the official servers?
Re:A Formal Security Analysis of the Signal Messaging Protocol by haffenloher on Tuesday November 08, 2016 @10:46PM (#12905904)
Yeah, they prefer if you don't distribute your builds (i.e. something named Signal and / or using their servers) to other people (because they don't actually know what's inside the builds, they've got no update channel, etc.)
Re:A Formal Security Analysis of the Signal Messaging Protocol by eeZah7Ux on Tuesday November 08, 2016 @08:30AM (#12900028)
Ad-personam attacks are not useful

Clarification: "...operating systems you don't like" implies that claudius is biased and that his point about OS security is made invalid by that.

Re:A Formal Security Analysis of the Signal Messaging Protocol by lorenzhs on Tuesday November 08, 2016 @09:17AM (#12900354)
That's true, but this isn't one. This is what respectfully disagreeing looks like. Ad hominem would be "No, you're an idiot and people don't care what you think just because you disagree with choices they made". That would have been inappropriate.
Re:A Formal Security Analysis of the Signal Messaging Protocol by JoeAltmaier on Tuesday November 08, 2016 @09:20AM (#12900385)
The implication was there - that a point was made 'only' because of an os they didn't like. Its Ad-Hominem. It was pretty far from 'respectfully disagreeing'
Re:A Formal Security Analysis of the Signal Messaging Protocol by pessimizer on Tuesday November 08, 2016 @09:35AM (#12900512)
That isn't ad hominem, though. An attack that implies personal qualities isn't the same as an attack on the person.

I think the point is that someone who is choosing an OS that is controlled by a particular company has chosen to trust that company.

Re:A Formal Security Analysis of the Signal Messaging Protocol by cryptarch on Tuesday November 08, 2016 @09:04AM (#12900270)
It's "ad-hominem", but I agree.
Re:A Formal Security Analysis of the Signal Messaging Protocol by pessimizer on Tuesday November 08, 2016 @09:31AM (#12900474)
"Ad-personem" and "ad-hominem" are equally accurate in this case, because it wasn't either.
Re:A Formal Security Analysis of the Signal Messaging Protocol by cryptarch on Tuesday November 08, 2016 @12:43PM (#12902281)
I done goofed. I wasn't even aware what an "ad-personam" was. I found a related question on Quora and that explained it quite well I think.

Quora question: https://www.quora.com/What-are-concrete-examples-of-ad-homin...

Re:A Formal Security Analysis of the Signal Messaging Protocol by drvdevd on Tuesday November 08, 2016 @08:55AM (#12900212)
It may not be a great insight but it is an important fact to be aware of, especially in the context of something like Signal. It does need to be drilled into our heads again and again that the weakest link breaks the chain. Lest we forget... and we will. Or at least, I know I will.
Re:A Formal Security Analysis of the Signal Messaging Protocol by nullc on Tuesday November 08, 2016 @12:31PM (#12902173)
> This is more or less a way of saying it's "rather pointless to have secure messengers on iOS".

No! that is not at all what is being said. There is no way to use signal that doesn't give Google or Apple remote code execution privileges in the process.

This means that for people who aren't already exposing themselves to these companies use of signal is a step down in security.

Re:A Formal Security Analysis of the Signal Messaging Protocol by eveningcoffee on Tuesday November 08, 2016 @08:26AM (#12900003)
I think that you are displaying your arrogance. These open source advocates are fighting with peoples ignorance. People are known to be ignorant about deeper consequences out of the convenience and I do not believe that very sizeable amount of them are given a change to be more informed.

I'll give you a different example. These are two positive reaction examples for the cashless society:

1) I pay with the card all the time anyway.

2) I do not like coins.

These are naive reactions considering only personal convenience. If these people are guided to have a longer more focused thought about the issue then they are able to make more informed decision.

Re:A Formal Security Analysis of the Signal Messaging Protocol by throwanem on Tuesday November 08, 2016 @09:52AM (#12900654)
So put your money where your mouth is and build something that can win in the market. Hectoring people and complaining that open source or free software is judged too harshly accomplishes nothing and benefits no one.
Re:A Formal Security Analysis of the Signal Messaging Protocol by eveningcoffee on Tuesday November 08, 2016 @10:27AM (#12900957)
It is pointless to build something when there is no market for it. You can see this, as you call it, hectoring as a market generation. If the market is ready, a product will emerge for it.

This process is also made more difficult by arrogant people like you who out of their ignorance or self interest actively work against it.

Let me explain: saying put your money where your mouth is and build something that can win in the market is considerably arrogant position as it states that an argument is simply wrong just because current market will probably not sustain it. But it will not sustain it because the market is not informed enough and it is very difficult to campaign against actors with huge resources on the sea of ignorance.

Besides, I am simple observer, not a one I was describing. But I am becoming to believe more and more that the basic infrastructure were are using must be open to reclaim the lost trust within the society.

Re:A Formal Security Analysis of the Signal Messaging Protocol by throwanem on Tuesday November 08, 2016 @10:36AM (#12901027)
> You can see this, as you call it, hectoring as a market generation.

I've been seeing it for well over two decades now. That's more than enough time for a market to emerge, were it ever likely to produce one.

Re:A Formal Security Analysis of the Signal Messaging Protocol by VLM on Tuesday November 08, 2016 @08:32AM (#12900040)
False binary dilemma in that the insight is the statement is true. Both legal cases and excessive patting on the back are interesting to contemplate but irrelevant to the truth or falsehood of the statement.
Re:A Formal Security Analysis of the Signal Messaging Protocol by xorcist on Tuesday November 08, 2016 @11:31AM (#12901566)
Obvious arrogance aside, security is not a scalar value.

A centralized service is a convenient stop for the three letter agencies to do their work. Multiple independent implementations of the protocol and interoperability is a much stronger ecosystem. Even if the security of one individual user might not be better.

If you applied the argument to the web instead, it might be tempting to say the security of a single user would improve if Google just ran the whole web, instead of all of these small shops with shoddy security, but very few people would argue that it would improve the reliability and security of the system as a whole.

"Just centralize it" is not some great insight either.

Re:A Formal Security Analysis of the Signal Messaging Protocol by tptacek on Tuesday November 08, 2016 @11:36AM (#12901610)
No, I'm not going to let you pretend that we are on opposite sides of a "centralize" versus "decentralize" argument. Find someone else to take the "Google should control the web" side, and debate with them. What you're saying here has nothing to do with what I'm saying.
Re:A Formal Security Analysis of the Signal Messaging Protocol by xorcist on Tuesday November 08, 2016 @04:28PM (#12904098)
You replied to a fictitious argument. What I said is that security is not that simple, it matters on your threat model, and things like resilience and platform diversity matter too. Crypto is not the weak link for Signal (nor is it likely to be for comparable products).

What claudius said was that in essence was that a trusted application should not depend on giving remote root to Google, likely referring to not be able to compile and distribute the software in a useful way. That is worth a more meaningful answer. Distribution and the run time environment are central to any realistic threat model and reducing that to open source zealotry kind of misses the point.

Re:A Formal Security Analysis of the Signal Messaging Protocol by tptacek on Tuesday November 08, 2016 @05:28PM (#12904531)
Crypto has already been the weak link in other "secure" messaging applications.
Re:A Formal Security Analysis of the Signal Messaging Protocol by h4waii on Tuesday November 08, 2016 @10:06AM (#12900768)
You can use Signal with MicroG[0] and "checkin" to GCM in order for notifications for queue wakeup to reach your device. GCM is only used for notifying the device there is a message on Signal servers.

You can also disable permissions on the Google Service Framework and use something like XPrivacy for MUCH more explicit permission control (revocation, spoofing, etc...) if you still want GApps on your device.

[0] https://microg.org/

Re:A Formal Security Analysis of the Signal Messaging Protocol by bench_soup on Tuesday November 08, 2016 @08:41AM (#12900111)
The LibreSignal fork is available on sailfishOS.
Re:A Formal Security Analysis of the Signal Messaging Protocol by Strom on Tuesday November 08, 2016 @10:57AM (#12901222)
Do you personally review every bit of code that runs on your device? No? Then you're trusting someone else who claims it's secure. No different than trusting Apple/Google.
Re:A Formal Security Analysis of the Signal Messaging Protocol by lrk_sirius on Tuesday November 08, 2016 @11:50PM (#12906127)
> No different than trusting Apple/Google.

It is different. I expect Apple and Google to insert backdoors deliberately into their operating systems for three letter agencies (it's easy to do it when you've got either a proprietary OS like iOS or a "technically open but practically closed" OS like Android). They've probably done it before and are part of the PRISM program either way.

However, I don't expect the FSF or Linus Torvalds to do it. They haven't done it yet and they probably won't do it.

Re:A Formal Security Analysis of the Signal Messaging Protocol by Strom on Wednesday November 09, 2016 @03:42AM (#12907963)
It's subjective opinion to trust Linus/FSF more. On top of that Linus doesn't review every piece of code that you run. Some random people vet plenty of code that the distro contains. In addition, I would say it's easier for the NSA to make subtle changes to open source software to sneak in heartbleed-style vulnerabilities under the guise of new unrelated features/bugfixes.