Paul Syverson, Naval Research Lab