Hui Xue

Publication Activity (10 Years)

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

Top Topics

Method Invocation

Invariant Features

Security Analysis

Top Venues

Publications

Haohui Mai, Edgar Pek, Hui Xue, Samuel Talmadge King, Parthasarathy Madhusudan
Verifying security invariants in ExpressOS. ASPLOS (2013)
Hui Xue, Nathan Dautenhahn, Samuel T. King
Using replicated execution for a more secure and reliable web browser. NDSS (2012)
Anthony Cozzie, Frank Stratton, Hui Xue, Samuel T. King
Digging for Data Structures. OSDI (2008)