~/talk

A file system for safely interacting with untrusted USB flash drives

name:Ke Zhong
links:none on file
links:none on file
name:Ke Ma
links:none on file
links:none on file
slides:none on file

RBFuse isolates USB handling by remap host controller into VM and exports the drive as a mountable VFS via a FUSE VFS client-server, eliminating host USB driver exposure. It uses formally generated parsers/serializers, an optional hardware adapter that encrypts read/write traffic, and batching + prefetch to cut round trips. Measured overhead is small for large files (+2% writes, +70% reads without adapter); adapter adds 3–10× for large transfers and ~8.8× for small-file reads. Crash tests pass on ext4 and f2fs; vfat exposes a consistency bug.

AI-written summary · about

  1. 0:00Intro
  2. 0:41USB flash drives remain popular
  3. 1:09USB stack has several issues
  4. 1:48Previous work
  5. 2:14Limitation
  6. 2:53Key idea
  7. 3:03System overview
  8. 4:23Performance issues
  9. 5:05Compromised virtual machine
  10. 5:49Parsing errors
  11. 6:33Caching metadata
  12. 7:11Prefetching
  13. 8:26Batching operations
  14. 9:42Encrypted communication
  15. 10:47Experiment setup
  16. 11:11One large file (500MB)
  17. 11:481,000 small files (16KB each)
  18. 12:46Crash consistency test
  19. 14:00Previous file system fuzzing
  20. 14:26Server side fuzzing
  21. 14:59Formal verification
  22. 15:17Conclusion
~/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.