161382 68433 24 24585 213 520532
268963 529577 5893
Circle
New

Latest blog post

Doppler Doppler
10.02.2023

I See Dead Code

Over one-third of even the latest Ethereum smart contracts consist mostly of junk!

Start Reading
Circles


Down
16.12.2022

Uniswap Bug Bounty

Received a bug bounty in Uniswap Labs' recent highly-promoted bounty program

Start Reading


19.04.2022

Latent Bugs in Billion-Plus Dollar Code

Attack vectors (and their combinations) over xSushi-like staking, ERC777 tokens

Start Reading


15.04.2022

Mass Disclosure of Griefing Vulnerabilities

Issuing warnings to 100 vulnerable accounts via Etherscan chat

Start Reading


02.04.2022

Rari Capital Vulnerability

Multi-hundred million attack prevented

Start Reading


21.03.2022

Elipmoc: Advanced Decompilation of Ethereum Smart Contracts

Technical paper on the algorithms and techniques employed in the most recent version of our EVM bytecode decompiler/lifter.

Start Reading


20.01.2022

Phantom Functions and the Billion-Dollar No-Op

Largest crypto hack prevented?

Start Reading


05.12.2021

A Six-Year-Old Solc Riddle

In mid-October, we received a request to work on a project unlike any we've had before.

Start Reading


12.11.2021

Harvest Finance Vulnerability, $200K Bounty

We disclosed a critical vulnerability to Harvest Finance, through Immunefi. The vulnerability concerns a proxy pattern and was discovered via an interesting automated analysis.

Start Reading


28.10.2021

Symbolic Value-Flow Static Analysis of Ethereum Smart Contracts

A technical paper describing our most recent analysis technology, responsible for 7 major vulnerabilities detected in-the-wild.

Start Reading


Left
1
Right