Here's a talk about this research that Philip Daian gave at Devcon 4:

https://slideslive.com/38911605/smart-contract-security-ince...

Probably my favourite talk from that conference.