Automated Symbolic Verification of Telegram's MTProto 2.0

Article URL: https://arxiv.org/abs/2012.03141

Comments URL: https://news.ycombinator.com/item?id=25722076

Points: 10

# Comments: 0

from Hacker News: Front Page https://ift.tt/3nOeN0p
via