Before the RISKS mailing list, Neumann was known for the Provably Secure Operating System (PSOS).[7]
Neumann worked with Dorothy E. Denning in the 1980s to develop a computer intrusion detection system known as IDES that was a model for later computer security software.[8][9]
Memberships and awards
Neumann has long served as moderator of RISKS Digest and is a member of the ACCURATE project.[10]