Formal Methods (11 Jun-12 Jun 2015)
I have recently spoken at FMATS4, the 4th annual Formal Methods and Tools for Security conference, which took place at Microsoft Research in Cambridge, UK. It was organized by Imperial College who run the Research Institute for Automated Program Analysis and Verification.
Blackhat London (16 Jun-18 Jun 2015)
I have also attended the Blackhat Mobile Security Summit. On the second day, Lorenzo Cavallaro, who partly supervises my research on exploitation, gave a talk on the CopperDroid project being developed at S2Lab.
Suits and Spooks (6 May-7 May 2015)
I attended the Suits and Spooks conference in London, that debated the changing cyber threat landscape, funding for research and social motivations for nations' cyber strategies.
Next page >>>