Securing unsafe rust programs with XRust.

Peiming Liu Gang Zhao Jeff Huang

Published in: ICSE (2020)

Keyphrases

computer programs
control structures
special case
answer sets
fixpoint
identity management
real time
source code
access control
provably correct