|
Compound Alpha Governance System Audit
|
|
1
|
166
|
February 26, 2020
|
|
Symbolic execution
|
|
5
|
1502
|
February 11, 2020
|
|
PoolTogether Audit
|
|
1
|
252
|
January 29, 2020
|
|
Coinbase MKR Voting Proxy Audit
|
|
1
|
190
|
June 6, 2019
|
|
PROPS Token Contracts Audit
|
|
1
|
190
|
November 6, 2019
|
|
Compound Audit
|
|
1
|
387
|
August 28, 2019
|
|
Compound Finance Audit Summary
|
|
1
|
226
|
August 28, 2019
|
|
Compound Finance - Patch Audit
|
|
1
|
169
|
October 23, 2019
|
|
Aave Protocol Audit Summary
|
|
1
|
111
|
January 29, 2020
|
|
Protecting Against Front-Running and Transaction Reordering
|
|
3
|
2074
|
September 17, 2019
|
|
Using automatic analysis tools with MakerDAO contracts
|
|
6
|
3223
|
January 21, 2020
|
|
Bounties Network Review Summary
|
|
1
|
110
|
December 4, 2019
|
|
Reentrancy After Istanbul
|
|
3
|
768
|
November 15, 2019
|
|
Formal Verification of ERC20 implementations with VeriSol
|
|
3
|
1655
|
November 25, 2019
|
|
Awesome Blockchain Security
|
|
1
|
430
|
November 14, 2019
|
|
Online ERC20 contract verifier
|
|
7
|
1971
|
November 5, 2019
|
|
OpenZeppelin's online ERC20 verifier: behind the scenes
|
|
1
|
1015
|
October 31, 2019
|
|
Beware of the proxy: learn how to exploit function clashing
|
|
14
|
1494
|
October 17, 2019
|
|
SCSVS - Smart Contract Security Verification Standard
|
|
3
|
154
|
October 10, 2019
|
|
An overview of the upcoming Istanbul hard fork
|
|
2
|
1211
|
October 7, 2019
|
|
VeriMan: A Prototype
|
|
1
|
988
|
October 1, 2019
|
|
GSN attack vectors
|
|
6
|
188
|
September 25, 2019
|
|
Libra’s Move IR Compiler Vulnerability: Technical Description
|
|
1
|
170
|
September 10, 2019
|
|
OpenZeppelin Uncovers Vulnerability in Libra’s Move IR Compiler
|
|
1
|
129
|
September 10, 2019
|
|
Ethernaut mid August 2019 update
|
|
6
|
278
|
August 20, 2019
|
|
Compiled list of solidity vulnerabilities
|
|
8
|
931
|
August 2, 2019
|
|
Ethernaut AlienCodex with Solidity 0.5
|
|
3
|
178
|
August 1, 2019
|
|
Ethernaut Fallout with Solidity 0.5
|
|
7
|
490
|
July 31, 2019
|
|
Exploiting Uniswap: from reentrancy to actual profit
|
|
1
|
1343
|
July 29, 2019
|
|
Ethernaut Locked with Solidity 0.5
|
|
3
|
264
|
July 29, 2019
|
