|
[AlienCodex][Solidity 0.5][Bug] Issue with getting instance
|
|
0
|
162
|
March 29, 2020
|
|
Ethernaut Solidity 0.5 Version - November 2019 update
|
|
6
|
926
|
March 20, 2020
|
|
Designing and Educating for Congestion
|
|
3
|
268
|
March 17, 2020
|
|
Flash Loans and the Advent of Episodic Finance
|
|
0
|
254
|
March 12, 2020
|
|
Flash Loans: how DeFi Composability Turns Features into Exploits (video in Spanish)
|
|
0
|
477
|
March 2, 2020
|
|
Compound Alpha Governance System Audit
|
|
0
|
282
|
February 26, 2020
|
|
Symbolic execution
|
|
4
|
1786
|
February 11, 2020
|
|
PoolTogether Audit
|
|
0
|
336
|
January 29, 2020
|
|
Coinbase MKR Voting Proxy Audit
|
|
0
|
230
|
June 6, 2019
|
|
PROPS Token Contracts Audit
|
|
0
|
275
|
November 6, 2019
|
|
Compound Audit
|
|
0
|
521
|
August 28, 2019
|
|
Compound Finance Audit Summary
|
|
0
|
273
|
August 28, 2019
|
|
Compound Finance - Patch Audit
|
|
0
|
220
|
October 23, 2019
|
|
Aave Protocol Audit Summary
|
|
0
|
156
|
January 29, 2020
|
|
Protecting Against Front-Running and Transaction Reordering
|
|
2
|
2849
|
September 17, 2019
|
|
Using automatic analysis tools with MakerDAO contracts
|
|
5
|
3505
|
January 21, 2020
|
|
Bounties Network Review Summary
|
|
0
|
146
|
December 4, 2019
|
|
Reentrancy After Istanbul
|
|
2
|
1051
|
November 15, 2019
|
|
Formal Verification of ERC20 implementations with VeriSol
|
|
2
|
1884
|
November 25, 2019
|
|
Awesome Blockchain Security
|
|
0
|
542
|
November 14, 2019
|
|
Online ERC20 contract verifier
|
|
6
|
2473
|
November 5, 2019
|
|
OpenZeppelin's online ERC20 verifier: behind the scenes
|
|
0
|
1218
|
October 31, 2019
|
|
SCSVS - Smart Contract Security Verification Standard
|
|
2
|
211
|
October 10, 2019
|
|
An overview of the upcoming Istanbul hard fork
|
|
1
|
1315
|
October 7, 2019
|
|
VeriMan: A Prototype
|
|
0
|
1082
|
October 1, 2019
|
|
GSN attack vectors
|
|
5
|
245
|
September 25, 2019
|
|
Libra’s Move IR Compiler Vulnerability: Technical Description
|
|
0
|
206
|
September 10, 2019
|
|
OpenZeppelin Uncovers Vulnerability in Libra’s Move IR Compiler
|
|
0
|
167
|
September 10, 2019
|
|
Ethernaut mid August 2019 update
|
|
5
|
345
|
August 20, 2019
|
|
Compiled list of solidity vulnerabilities
|
|
7
|
1275
|
August 2, 2019
|
