Re:Automated Symbolic Verification of Telegram's MTProto 2.0
by RaitoBezarius on Monday January 11, 2021 @02:24AM
(#25725783)
It is such a shame that we have, in 2021, no way to perform secure computations in untrusted environment. Signal at least had the decency to try for Secure Value Recovery even if Intel SGX as a technology is not really mature.
So, what is the Telegram excuse for not being able to put the same amount of effort? That sounds dubious to say it is reasonable when in fact it is only the very bare minimum that everyone does.
As a matter of fact, trusted computing is a very active and practical field as far as I know.
So, what is the Telegram excuse for not being able to put the same amount of effort? That sounds dubious to say it is reasonable when in fact it is only the very bare minimum that everyone does.
As a matter of fact, trusted computing is a very active and practical field as far as I know.