Leading decompilation and security analysis service

65476 33492 37 19258 117 519487
120148 819966 8074
New

Latest blog post

23.11.2021

A Six-Year-Old Solc Riddle

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

Start Reading


05.11.2020

Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities

Technical paper on our analysis technology for tainted contract guards. Interesting observations on symbolic execution vs. static analysis approaches.

Start Reading


05.11.2020

Precise Static Modeling of Ethereum 'Memory'

Research article on our analysis technology, especially the modeling of "memory" in EVM smart contracts.

Start Reading


24.10.2019

Ethereum Foundation EIP-1884 bounty

Received bounty from the Ethereum Foundation for our analysis of the gas impact of EIP-1884.

Start Reading


25.05.2019

Gigahorse: Thorough, Declarative Decompilation of Smart Contracts

Research article, at ICSE'19 conference, describing our decompiler.

Start Reading


14.02.2019

Bad Randomness Is Even Dicier than You Think

Trivial Exploits of Bad Randomness In Ethereum, and How To Do On-Chain Randomness (Reasonably) Well.

Start Reading


17.11.2018

MadMax: Surviving Out-of-Gas Conditions in Ethereum Smart Contracts

Research Article, distinguished paper award at OOPSLA'18 conference, later appeared as "Research Highlight" in the Communications of the ACM.

Start Reading


2