"Peter Neumann"@cs .