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.
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
+1 (650) 859 3810
+1 (650) 859 2844
Computer Science Laboratory
333 Ravenswood Avenue
Menlo Park, CA, 94025, USA