Securing unsafe rust programs with XRust

Abstract

Rust is a promising systems programming language that embraces both high-level memory safety and low-level resource manipulation. However, the dark side of Rust, unsafe Rust, leaves a large security hole as it bypasses the Rust type system in order to support low-level operations. Recently, several real-world memory corruption vulnerabilities have been discovered in Rust's standard libraries.

BibTeX

@inproceedings{Liu-al:ICSE20,
  author    = {Peiming Liu and
               Gang Zhao and
               Jeff Huang},
  title     = {Securing unsafe rust programs with {XRust}},
  booktitle = {ICSE},
  pages     = {234--245},
  publisher = {{ACM}},
  year      = {2020},
}

Securing unsafe rust programs with XRust

Abstract

Related papers