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
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
