- A Survey of Attacks on Ethereum Smart Contracts
- Decrypting Distributed Ledger Design - Taxonomy, Classification and Blockchain Community Evaluation ETH-Zurich
- Securify: Practical Security Analysis of Smart Contracts
- Blockchains as Kripke models: an Analysis of Atomic CrossChain Swap slides, draft
- SmartCheck: Static Analysis of Ethereum Smart Contracts
- DIZK: A Distributed Zero Knowledge Proof System
- zeppelin os: An open-source, decentralized platform of tools and services on top of the EVM to develop and manage smart contract applications securely
- Smart Contracts as a Form of Solely Automated Processing Under the GDPR
- BLOCKBENCH: A Framework for Analyzing Private Blockchains
- Deconstructing the Blockchain to Approach Physical Limits
- The Attack of the Clones against Proof-of-Authority