BINSEC will be present at RMLL 2016: The Security Track with a talk by S├ębastien Bardin.

The talk is titled BINSEC: Binary-level Semantic Analysis to the Rescue.

More details here. The video is available here.