Petr Marchenko, Brad Karp: Structuring Protocol Implementations to Protect Sensitive Data. USENIX Security Symposium 2010: 47-62