1. Bitcoin: A peer-to-peer electronic cash system;nakamoto;Decentralized Bus Rev,2008
2. Design and implementation of a tcg-based integrity measurement architecture;sailer;USENIX Security Symposium,0
3. {APEX}: A verified architecture for proofs of execution on remote devices under full software compromise;nunes;29th USENIX Security Symposium (USENIX Security 20),0
4. Protocols for public key cryptosystems;merkle;Secure Communications and Asymmetric Cryptosystems,2019