|
Compound: Tether Integration Audit
|
|
0
|
200
|
April 27, 2020
|
|
dYdX Perpetual Audit
|
|
0
|
186
|
April 27, 2020
|
|
Compound Gas Optimizations Audit
|
|
0
|
205
|
April 29, 2020
|
|
PoolTogether - Pods Audit
|
|
0
|
199
|
April 27, 2020
|
|
Solidity bug slips through for Hegic - no automated tests
|
|
1
|
390
|
April 27, 2020
|
|
Ethernaut - My 3 biggest takeaways
|
|
1
|
236
|
April 14, 2020
|
|
[AlienCodex][Solidity 0.5][Bug] Issue with getting instance
|
|
0
|
196
|
March 29, 2020
|
|
Ethernaut Solidity 0.5 Version - November 2019 update
|
|
6
|
985
|
March 20, 2020
|
|
Designing and Educating for Congestion
|
|
3
|
308
|
March 17, 2020
|
|
Flash Loans and the Advent of Episodic Finance
|
|
0
|
308
|
March 12, 2020
|
|
Flash Loans: how DeFi Composability Turns Features into Exploits (video in Spanish)
|
|
0
|
519
|
March 2, 2020
|
|
Compound Alpha Governance System Audit
|
|
0
|
356
|
February 26, 2020
|
|
Symbolic execution
|
|
4
|
1993
|
February 11, 2020
|
|
PoolTogether Audit
|
|
0
|
406
|
January 29, 2020
|
|
Coinbase MKR Voting Proxy Audit
|
|
0
|
263
|
June 6, 2019
|
|
PROPS Token Contracts Audit
|
|
0
|
327
|
November 6, 2019
|
|
Compound Audit
|
|
0
|
686
|
August 28, 2019
|
|
Compound Finance Audit Summary
|
|
0
|
313
|
August 28, 2019
|
|
Compound Finance - Patch Audit
|
|
0
|
257
|
October 23, 2019
|
|
Aave Protocol Audit Summary
|
|
0
|
204
|
January 29, 2020
|
|
Protecting Against Front-Running and Transaction Reordering
|
|
2
|
3889
|
September 17, 2019
|
|
Using automatic analysis tools with MakerDAO contracts
|
|
5
|
3730
|
January 21, 2020
|
|
Bounties Network Review Summary
|
|
0
|
179
|
December 4, 2019
|
|
Reentrancy After Istanbul
|
|
2
|
1399
|
November 15, 2019
|
|
Formal Verification of ERC20 implementations with VeriSol
|
|
2
|
2053
|
November 25, 2019
|
|
Awesome Blockchain Security
|
|
0
|
619
|
November 14, 2019
|
|
Online ERC20 contract verifier
|
|
6
|
3043
|
November 5, 2019
|
|
OpenZeppelin's online ERC20 verifier: behind the scenes
|
|
0
|
1438
|
October 31, 2019
|
|
SCSVS - Smart Contract Security Verification Standard
|
|
2
|
260
|
October 10, 2019
|
|
An overview of the upcoming Istanbul hard fork
|
|
1
|
1409
|
October 7, 2019
|
