Hacker News new | past | comments | ask | show | jobs | submit
It’s nothing short of amazing that a huge codebase like Signal’s is apparently not only secure in a practical sense, but secure even in a strict formal sense. The people who wrote the Signal code must be engineers of the highest caliber.
This didn't verify the Signal app, only the signal encryption protocol
loading story #50439974
Yeah quite impressive.
the crypto might be secure; i wouldn't be so sure about the rest of the code.
loading story #50439866
Well the NSA is probably decent at building software. But none of this really matters if the OS isnt secure and the OS is much more complex and less verifiable. Also, why does the government use their own versions of Signal that are more secure, makes you wonder.

Im sure they allow bugs that benefit the NSA.

https://www.malwarebytes.com/blog/bugs/2026/10/signal-bug-co...

Downvote me, but yes I believe that Signal and the EFF are US military programs larping as civilian institutions.

loading story #50439554
loading story #50439736