zlacker

>>zxombi+(OP)
Great to see further progress on CHERI!

See the following for theoretical foundations for the work:

Linux 60th Anniversary Keynote

>>ProfHe+xq2
Your research on actor-based programming models has nothing to do with C/C++ spatial and temporal memory safety.