News for hackers. Stuff that matters.
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.