bart and lisa, hacker edition
storage primitives for the distributed web
on "binary security of webassembly"