Computer scientist and mathematician at the US Naval Research Laboratory, inventor of onion routing