3 ms·

GhostCell: Separating Permissions from Data in Rust

• erichocean 5y ago
  Paper: http://plv.mpi-sws.org/rustbelt/ghostcell/paper.pdf http://plv.mpi-sws.org/rustbelt/ghostcell/paper.pdf Code: https://gitlab.mpi-sws.org/FP/ghostcell https://gitlab.mpi-sws.org/FP/ghostcell