top | item 43617134

(no title)

mlinksva | 10 months ago

I don't really know because I haven't put work in to investigate, but some things in that direction seem to be, possibly in order of some combination of maturity and comprehensiveness.

  - CHERI compartmentalisation
  - LavaMoat (js)
  - Scala "capture checking"
  - Java "integrity by default"

discuss

order

LtWorf|10 months ago

I haven't really understood how lavamoat works (if it works).