ERSTAHILL.COM

Formal Verification of the Security for Dual Connectivity in LTE Ben Henda, Norrman and Pfeffer (FormaliSE at ICSE 2015)... I am a security researcher at Ericsson and an industrial PhD student in the Theoretical Computer Science group (TCS) at KTH Royal Institute of Technology. My research topic is modelling, verification and proof techniques for cryptographic protocols. In particular, I am interested in mechanization of these techniques, since that enables us to build tools, which increase the chances for industrial uptake of the technology. My supervisor is Mads Dam. I spend 20% of my time working for Ericsson Research, mainly with security protocol design and analysis, as well as software security.