~/talk

How can we make procfs safe?

slides:none on file

Claim: use the new mount API to make procfs-safe resolution for container setup by combining open_tree clone to create a detached anonymous mount, verification (fstat for proc fs type and inode, check mount root) and openat2 for non-magic paths; this avoids races and overmount attacks on magic links. Implementation prototypes include a Rust library lippathos and a test tool (emoji); it works today but depends on kernel guarantees (CAP_SYS_ADMIN, mount propagation and anonymous-namespace behavior).

AI-written summary · about

  1. 0:00Introduction and threat model
  2. 1:23Container breakout attacks via procfs
  3. 3:30Magic links and openat2 limitations
  4. 5:34Open tree and safe procfs access
  5. 12:15Recap of openat2 and libpathrs
  6. 16:26Libpathrs design and safety goals
  7. 20:40Implementation challenges and future plans
  8. 28:09Procfs in container runtimes
  9. 34:07Q&A and discussion
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.