|
Formal Verification of Open Zeppelin Contracts
|
|
1
|
26
|
September 18, 2020
|
|
InstaDApp Audit
|
|
1
|
283
|
September 17, 2019
|
|
InstaDApp Audit Summary
|
|
1
|
180
|
September 17, 2019
|
|
Twitter bot for bad ERC-20 transfers
|
|
4
|
60
|
August 20, 2020
|
|
Best practice for fix point math and decimal conversion
|
|
3
|
106
|
July 27, 2020
|
|
Ethernaut - problem with player and ethernaut are not defined
|
|
2
|
73
|
July 21, 2020
|
|
Question on smart contract inheriting from OpenZeppelin ERC777 implementation
|
|
5
|
107
|
July 17, 2020
|
|
MCDEX Mai Protocol Audit
|
|
1
|
75
|
June 22, 2020
|
|
List of Ethereum Smart Contracts Post-Mortems
|
|
1
|
869
|
August 15, 2019
|
|
ERC20Snapshot and flash loans/swaps/mints
|
|
13
|
289
|
June 25, 2020
|
|
Argent Vulnerability - Technical Report
|
|
1
|
74
|
June 19, 2020
|
|
Automated analysis of Ethereum smart contracts
|
|
4
|
316
|
June 17, 2020
|
|
Bypassing Smart Contract Timelocks
|
|
9
|
280
|
June 17, 2020
|
|
Proposal for a new Ethernaut Level
|
|
6
|
147
|
June 4, 2020
|
|
Compound COMP Distribution System Audit
|
|
1
|
80
|
May 29, 2020
|
|
Augur Core v2 Audit
|
|
1
|
124
|
March 12, 2020
|
|
Augur Core v2 Audit: Components
|
|
1
|
80
|
March 12, 2020
|
|
Compound Open Oracle Audit
|
|
1
|
69
|
March 12, 2020
|
|
Compound Finance - MCD & DSR Integration
|
|
1
|
86
|
March 12, 2020
|
|
Compound: Tether Integration Audit
|
|
1
|
70
|
April 27, 2020
|
|
dYdX Perpetual Audit
|
|
1
|
74
|
April 27, 2020
|
|
Compound Gas Optimizations Audit
|
|
1
|
90
|
April 29, 2020
|
|
PoolTogether - Pods Audit
|
|
1
|
87
|
April 27, 2020
|
|
Solidity bug slips through for Hegic - no automated tests
|
|
2
|
165
|
April 27, 2020
|
|
Ethernaut - My 3 biggest takeaways
|
|
2
|
124
|
April 14, 2020
|
|
[AlienCodex][Solidity 0.5][Bug] Issue with getting instance
|
|
1
|
113
|
March 29, 2020
|
|
Ethernaut Solidity 0.5 Version - November 2019 update
|
|
7
|
822
|
March 20, 2020
|
|
Designing and Educating for Congestion
|
|
4
|
199
|
March 17, 2020
|
|
Flash Loans and the Advent of Episodic Finance
|
|
1
|
174
|
March 12, 2020
|
|
Flash Loans: how DeFi Composability Turns Features into Exploits (video in Spanish)
|
|
1
|
403
|
March 2, 2020
|
