Other Security People

A list of some of the people who are/were at CSL and are/were active in security related research (in alphabetical order, and at the risk of omitting names):

Current Staff with security interests:

• Peter G. Neumann
  
• John Rushby
  
• Patrick Lincoln
  

Some former CSL members with security involvements:

• Debra Anderson (Banctec-Plexus, Sunnyvale)
  
• Pete Boucher (Novell in Provo, Utah)
  
• Robert Boyer (University of Texas, Austin)
  
• Dorothy Denning (Naval Postgraduate School)
  
• Chris Dodd (Equator Technologies, Portland OR and Woodside CA)
  
• Richard Feiertag (TIS Labs at Network Associates, Santa Clara, CA)
  
• Joseph Goguen (University of California at San Diego)
  
• Li Gong (Sun Microsystems)
  
• Karl Levitt (University of California at Davis)
  
• Teresa Lunt (Xerox PARC)
  
• Michael Melliar-Smith (University of California at Santa Barbara)
  
• Jose Meseguer, of Goguen-Meseguer fame (University of Illinois)
  
• J Moore (Computational Logic, Inc.)
  
• Xiaolei Qian
  
• Livio Ricciuli
  
• Larry Robinson
  
• Ann Tamaru (Banctec-Plexus, Sunnyvale)