Stories by galapago

AFL official repository on GitHub

Manticore: A Symbolic Execution Framework for Binaries and Smart Contracts

Trail of Bits at ICSE 2019 – Recap

Slither: The Leading Static Analyzer for Smart Contracts

Crytic: Continuous Assurance for Smart Contracts

User-Friendly Fuzzing with Sienna Locomotive

Security audit finds vulnerabilities across Bitcoin forks

“Save game editors and console modding now illegal in Japan”

Winklevoss Brothers Launch Ethereum Token Backed by U.S. Dollars

The (Not So) Smart Contracts Collection by Trail of Bits

Apple Is Testing a Feature That Could Kill Police iPhone Unlockers

Total Meltdown?

DeepState: Symbolic Unit Testing for C and C++

Using AI to uncover the mystery of Voynich manuscript

An update on Better Ads

Happiness Engineer

Code from the “Class-Splitting Generative Adversarial Networks” Paper

ThePirateBay.org is making users mine Bitcoins

Speeding up crypto on Wire desktop apps

Divide and Conquer: How Microsoft Researchers Used AI to Master Ms. Pac-Man

1
2
3
4
5
6
7
8
9
10