|
[AlienCodex][Solidity 0.5][Bug] Issue with getting instance
|
1
|
March 29, 2020
|
|
List of Ethereum Smart Contracts Post-Mortems
|
1
|
August 15, 2019
|
|
Ethernaut Solidity 0.5 Version - November 2019 update
|
7
|
March 20, 2020
|
|
Designing and Educating for Congestion
|
4
|
March 17, 2020
|
|
Flash Loans and the Advent of Episodic Finance
|
1
|
March 12, 2020
|
|
Flash Loans: how DeFi Composability Turns Features into Exploits (video in Spanish)
|
1
|
March 2, 2020
|
|
Automated analysis of Ethereum smart contracts
|
3
|
March 2, 2020
|
|
Compound Alpha Governance System Audit
|
1
|
February 26, 2020
|
|
Symbolic execution
|
5
|
February 11, 2020
|
|
PoolTogether Audit
|
1
|
January 29, 2020
|
|
Coinbase MKR Voting Proxy Audit
|
1
|
June 6, 2019
|
|
PROPS Token Contracts Audit
|
1
|
November 6, 2019
|
|
Compound Audit
|
1
|
August 28, 2019
|
|
Compound Finance Audit Summary
|
1
|
August 28, 2019
|
|
InstaDApp Audit Summary
|
1
|
September 17, 2019
|
|
Compound Finance - Patch Audit
|
1
|
October 23, 2019
|
|
Aave Protocol Audit Summary
|
1
|
January 29, 2020
|
|
Protecting Against Front-Running and Transaction Reordering
|
3
|
September 17, 2019
|
|
Using automatic analysis tools with MakerDAO contracts
|
6
|
January 21, 2020
|
|
Bounties Network Review Summary
|
1
|
December 4, 2019
|
|
Reentrancy After Istanbul
|
3
|
November 15, 2019
|
|
Formal Verification of ERC20 implementations with VeriSol
|
3
|
November 25, 2019
|
|
Awesome Blockchain Security
|
1
|
November 14, 2019
|
|
Online ERC20 contract verifier
|
7
|
November 5, 2019
|
|
OpenZeppelin's online ERC20 verifier: behind the scenes
|
1
|
October 31, 2019
|
|
Beware of the proxy: learn how to exploit function clashing
|
14
|
October 17, 2019
|
|
SCSVS - Smart Contract Security Verification Standard
|
3
|
October 10, 2019
|
|
An overview of the upcoming Istanbul hard fork
|
2
|
October 7, 2019
|
|
VeriMan: A Prototype
|
1
|
October 1, 2019
|
|
GSN attack vectors
|
6
|
September 25, 2019
|
