Securing unsafe rust programs with XRust.

Peiming Liu, Gang Zhao, Jeff Huang

Browse the full ICSE paper archive.