Tyler Nighswander

Publication Activity (10 Years)

Years Active: 2012-2018
Publications (10 Years): 1

Top Topics

Logical Reasoning

Navigation Systems

Reasoning Problems

Top Venues

IEEE Secur. Priv.

Publications

Thanassis Avgerinos, David Brumley, John Davis, Ryan Goulden, Tyler Nighswander, Alexandre Rebert, Ned Williamson
The Mayhem Cyber Reasoning System. IEEE Secur. Priv. 16 (2) (2018)
Tyler Nighswander, Brent M. Ledvina, Jonathan Diamond, Robert Brumley, David Brumley
GPS software attacks. CCS (2012)