Four Attacks and a Proof for Telegram.

Martin R. Albrecht Lenka Mareková Kenneth G. Paterson Igors Stepanovs

Published in: IEEE Symposium on Security and Privacy (2022)

Keyphrases

countermeasures
theorem proving
security mechanisms
malicious attacks
cryptographic protocols
attack detection
linear logic
traffic analysis
real time
watermarking scheme
java card
image watermarking
security protocols
denial of service attacks
natural deduction
computer security
chosen plaintext