Noamen Ben Henda
His main interests have been software security and formal verification of security protocols. Currently, he is Ericsson’s technical coordinator in the security working group of 3GPP, where he is heavily involved in the development of the 5G security standards. Noamen received his Ph.D. in theoretical computer science from Uppsala University, Sweden, in 2008. Before joining Ericsson in 2013, he worked as an application engineer for safety critical systems.