Arash is a senior security researcher working mainly with isolation technologies and other security mechanisms in embedded systems.
Arash received his PhD degree in 2004 from Chalmers University of Technology. His main research area was efficient computation of large equations that often arise in formal verification and synthesis of complex embedded and industrial systems.
Before joining RISE he worked with design and implementation of security hardware such as network equipment and cryptographic modules.
Arash joined RISE (then SICS) and the security group in Lund in October 2011 and has since been involved in design and implementation of various low-level security software such as the formally verified HASPOC hypervisor.