Samuel Talmadge King

Publication Activity (10 Years)

Years Active: 2011-2013
Publications (10 Years): 0

Top Topics

Security Problems

Invariant Features

Computer Security

Top Venues

Publications

Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan
Verifying security invariants in ExpressOS. ASPLOS (2013)
Haohui Mai, Ahmed Khurshid, Rachit Agarwal, Matthew Caesar, Brighten Godfrey, Samuel Talmadge King
Debugging the data plane with anteater. SIGCOMM (2011)