I'm a Computer Scientist in the Computer Science Laboratory at SRI International. I hold a Ph.D. in computer science from the University of Joseph Fourier, Grenoble, France, a Master's degree in theoretical computer science from the University of Denis Diderot, Paris 7 , and a computer engineering degree from the University USTHB of Algiers, Algeria.

Research Interests
Computer-aided verification, logic, formal methods for the engineering of high-confidence systems, formal methods for computer security, intrusion detection, static analysis, mobile security, mobile forensics, mobile application security, malware analysis, and reverse engineering.

Current and past projects

I work on various projects related to system design, security, formal methods, and software/hardware architecture. This is a list of the current projects I am working on.

My papers are available here

Dr. Hassen Saïdi

Dr Hassen Saidi



+1 (650) 859 3810
+1 (650) 859 2844

Mailing address
Computer Science Laboratory
SRI International
333 Ravenswood Avenue
Menlo Park, CA, 94025, USA