https://9dok.org/document/yj78ll22-examples-for-attacks-on-protocols.html