Browsing All Posts published on »June, 2011«

SMT Solvers Summerschool at MIT

June 20, 2011 by


Earlier this summer Beans attended the weeklong SMT Solver Summer school held at MIT campus in Boston, Mass. Over the last few years having seen some of the presentations by Pablo Sole on DEPLIB, blogposts by Sean Heelan, and having messed around a little bit with the REIL in BinNavi we were really curious to get a […]

SummerC0n 2011 retrospektiv

June 11, 2011 by


This summer Beans had the honor of speaking at SummerC0n in NYC. At SummerCon 2011 we debut’d a talk on Hardware Reverse Engineering with the help of Rajendra Umadras of Intrepidus Group. (This talk was given later in the summer at Recon 2011). SummerC0n is one of the older (maybe one of the oldest) “grassroots” infosec conferences with […]