Biography
I'm a Computer Scientist in the Computer Science Laboratory at SRI International. I hold a 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, and static analysis.
New
Check out our new Malware Threat Center
Check out our indepth analysis of Storm Worm
Check out our daily malware analysis page
Check out our indepth analysis of Storm Worm
Check out our daily malware analysis page
Current and past projects
I work on various projects related to system design, formal methods, and software architecture. This is a list of the current and past projects where I have been involved.
- Virtualized Execution Realizing Network Infrastructures Enhancing Reliability (VERNIER)
- The Cyber-Threat Analytics (Cyber-TA) research project
- Trustworthiness in Embedded Systems (ended 2006)
- Ultra*log: Analysis and assessment of Cougaar Agent Architecture (ended 2005)
- Intrusion Tolerance for NEST (ended 2005)
- Dependable Intrusion Tolerance (ended 2004)
- Automated Dynamic Assembly of Dependable System Architectures (ended 2004)
- Genesis of Cyberscience (ended 2004)
- Autonomous Negotiating Teams (ended 2002)
- Intrusion Tolerant Systems (ended 2002)
Publications
My papers are available here
Software
Some code that I more or less maintain (time permitting) here
