Four Attacks and a Proof for Telegram.

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

Published in: IACR Cryptol. ePrint Arch. (2023)

Keyphrases

countermeasures
chosen plaintext
theorem proving
linear logic
malicious attacks
theorem prover
watermarking algorithm
attack detection
terrorist attacks
ddos attacks
security flaws
detect malicious
security vulnerabilities
data publishing
real time
security protocols
information security
case study
data mining