BINSEC is atS & P ‘17 where Sébastien Bardin will presentthe paper Backward-bounded DSE: Targeting Infeasibility Questions on ObfuscatedCodes today. We are happy to be organizing the Internal Summer School on Information Securityand Software Protection (ISSISP). This year, the school is located near Paris, atGif-sur-Yvette, France and will take place July 17-21. Checkthe website for more and to register. We are happy to announce the first non-beta release of our tool platform. BINSEC will be atFormal Methods 2016 where Adel Djoudi will presentthe paper Recovering high-level conditions from binary programs. We are proud to announce the second beta release of our tool platform. BINSEC will be present at ISSTA 2016 with a paperby Robin David & al. We are proud to announce the first release of our tool platform.