https://9pdf.net/document/y4wxeng5-pki-and-high-level-security-programming-abstractions-snoop.html