Manticore discovers the ENS bug
The Ethereum Name Service contract carried a critical bug, tracked as CVE-2020-5232, that let a person who transferred a name in a specific way later claim it back from the new owner; normal transfers were not affected. Trail of Bits ran its Manticore...