Ryan Wails

Picture of Ryan
ryan [dot] wails [@] nrl [dot] navy [dot] mil
rsw66 [@] georgetown [dot] edu

About Me

I'm a computer scientist in the Formal Methods Section of the Center for High Assurance Computer Systems at the U.S. Naval Research Laboratory . Our research group consists of Aaron Johnson , Rob Jansen , Paul Syverson , and me.

I'm also a Ph.D. student advised by Micah Sherr at Georgetown University . Check out the Georgetown SecLab!

My research centers around computer network privacy and security. Recently, my focus has been on developing tools and protocols for covert network communication. I've worked on some other topics, too, including: high-performance network simulation; secure protocols for computing statistics in distributed systems; and improvements to the security and performance of path selection in low-latency anonymity systems.

Download CV
Google Scholar